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