[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Martin Rubey
Subject: [Axiom-developer] RE: Axiom domains and Aldor return types
Date: Thu, 13 Jan 2005 16:50:18 +0100

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]