|
| From: | Ralf Hemmecke |
| Subject: | Re: [Axiom-developer] Axisp news |
| Date: | Tue, 26 Jun 2007 13:36:33 +0200 |
| User-agent: | Thunderbird 2.0.0.4 (X11/20070604) |
* 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
| [Prev in Thread] | Current Thread | [Next in Thread] |