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

[Vanuxem Grégory]

Hi,

Le mardi 28 février 2006 à 12:41 +0100, Martin Rubey a écrit :
> Here you go:
> 
> http://lists.nongnu.org/archive/html/axiom-developer/2005-09/msg00130.html
> 
> or page 124 of 
> 
> http://worldofnic.org/research/phd.ps
> 
> 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...

Does someone know the compiler and/or the interpreter behavior (from
which category the operation is selected if the categories define this
function ?) in this case ?

Cheers,

Greg

> Martin
> 
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>