|
| From: | Ralf Hemmecke |
| Subject: | Re: [Axiom-developer] "has" and "with" (was curious algebra failure) |
| Date: | Mon, 13 Aug 2007 13:59:20 +0200 |
| User-agent: | Thunderbird 2.0.0.6 (X11/20070728) |
In Spad there is also the subdomain construction that is used to define PositiveInteger and NonNegativeInteger from Integer. Subdomain automatically provides "coercible to" the parent domain. This is something that Spad has that was never implemented in Aldor.
Bill, that should be on our list for the Aldor-Meeting. Ralf
| [Prev in Thread] | Current Thread | [Next in Thread] |