On 05/28/2008 03:43 AM, Gabriel Dos Reis wrote: > Openaxiom-1.2.0 now has OrderedSemiGroup -- which had been missing > from all flavours of AXIOM, I think.
And it still has OrderedMonoid(): Category == Join(OrderedSet, Monoid) i.e., an OrderedMonoid is not (yet) a OrderedSemiGroup. I guess, OrderedMonoid(): Category == Join(OrderedSemiGroup, Monoid) would make more sense. Ralf ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
