[Aldor-l] RE: Axiom domains and Aldor return types

[Martin Rubey]

Dear Bill,

Page, Bill writes:
 
 > > > Can you explain again why you don't find the usual Axiom solution to
 > > > this situation acceptible? I.e. the use of the `Any' domain:
 > > > 
 > > >  f:PositiveInteger->Any
 > > >  f(n) == n::PrimeField(n)
 > > 
 > > Because you cannot use it in compiled code and because you are using all
 > > of the type information, which is the main point of Axiom.
 > 
 > But as you said, `Any' is used extensively in expr2ups.spad.

Yes. And it is rather tricky to use the functions defined there in compiled
code...

Martin