[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Domains and expressions

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Domains and expressions
Date: 17 Mar 2006 19:11:21 +0100

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 :-)

-- Gaby

reply via email to

[Prev in Thread] Current Thread [Next in Thread]