Re: [Axiom-developer] Domains and expressions

[Gabriel Dos Reis]

Ralf Hemmecke <address@hidden> writes:

| On 03/16/2006 07:23 PM, Gabriel Dos Reis wrote:
| > "Bill Page" <address@hidden> 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