Ralf Hemmecke <[EMAIL PROTECTED]> writes: | On 03/16/2006 07:23 PM, Gabriel Dos Reis wrote: | > "Bill Page" <[EMAIL PROTECTED]> writes: | > | > In their approach to mimic Axiom, they avoid been careful in | > | > making AbelianMonoid "derive" from Monoid. | | Yes, that is | > interesting - nice diagram. I wonder how much | > | of that was actually implemented? | > Good question. | | No it is so simple. They actually suffer from the same problem that we | have with Axiom/Aldor. However, if you look at the code you find the | stuff below. It is simply that: Gauss-Monoid is written additively, | and Gauss-AbelianMonoid, too. We could do that in Axiom, too. So, no | surprise. | | BTW, if you look at Gauss-Ring, you find that the multiplicative | structure is not a derived from Gauss-Monoid.
Interesting, so "to see is to believe" is not true :-) Thanks! -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
