On Wed, 9 Jan 2008, Ralf Hemmecke wrote: | AbelianSemiGroup(): Category == SetCategory with | --operations | "+": (%,%) -> % ++ x+y computes the sum of x and y. | "*": (PositiveInteger,%) -> %
It is a parsing problem. Somehow, the operator needs to be quoted so that it can be interpreted as a name, instead of a keyword. -- Gaby ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
