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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer