[Top][All Lists]

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

Re: [Axiom-developer] Curiosities with Axiom mathematical structures

From: Martin Rubey
Subject: Re: [Axiom-developer] Curiosities with Axiom mathematical structures
Date: 28 Feb 2006 12:41:47 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Here you go:

or page 124 of

Gabriel Dos Reis <address@hidden> writes:

> | In fact it seems that this problem cannot be properly solved
> | with Aldor. There was some discussion on this list, too.
> | 
> | The reason is 
> | 
> | Rng(): Category == Join(AbelianGroup,SemiGroup)
> | 
> | would give a problem...
> What problems?

Well, if you inherit an operation, you cannot alter the name of the
operation. Rng inherits really two different monoids, one for addition and one
for multiplication. Thus there would be a name conflict...


reply via email to

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