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 <[EMAIL PROTECTED]> 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 > [email protected] > http://lists.nongnu.org/mailman/listinfo/axiom-developer > _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
