Thanks for the pointer. Chasing links led me to this
http://portal.acm.org/citation.cfm?id=190695&dl=GUIDE&coll=GUIDE&CFID=67330748&CFTOKEN=77193109
Do people know what happens to "Gauss"?
In their approach to mimic Axiom, they avoid been careful in making
AbelianMonoid "derive" from Monoid.
-- Gaby
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
