* the problem of needing both AbelianMonoid as well as Monoid.Its been mentioned before that OBJ has a facility for defining these kinds of relationships. A solution is likely to derive from there.
Could you give a short account on how this code looks in OBJ? Thanks Ralf _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
