Definitely avoid subdomains. They require support from the interpreter.
There are only 2 subdomains that have been properly implemented in Axiom,
PositiveInteger and NonNegativeInteger and both required a lot of effort.
Even if what I really want is just check the predicate ?
From what I've
Konstantin L. Metlov wrote:
Definitely avoid subdomains. They require support from the interpreter.
There are only 2 subdomains that have been properly implemented in Axiom,
PositiveInteger and NonNegativeInteger and both required a lot of effort.
Even if what I really want is just check
