[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
code...
Martin
- Re: [Axiom-developer] Axiom domains and Aldor return types, (continued)
- Re: [Axiom-developer] Axiom domains and Aldor return types, Stephen Wilson, 2005/01/14
- Re: [Axiom-developer] Axiom domains and Aldor return types, William Sit, 2005/01/15
- Re: [Axiom-developer] Axiom domains and Aldor return types, William Sit, 2005/01/15
- Re: [Axiom-developer] Axiom domains and Aldor return types, William Sit, 2005/01/15
- Re: [Axiom-developer] Axiom domains and Aldor return types, Stephen Wilson, 2005/01/16
- Re: [Axiom-developer] Axiom domains and Aldor return types, William Sit, 2005/01/17
- RE: [Axiom-developer] Axiom domains and Aldor return types, Bill Page, 2005/01/14
- Re: [Axiom-developer] Axiom domains and Aldor return types, William Sit, 2005/01/14
- RE: [Axiom-developer] Axiom domains and Aldor return types, Bill Page, 2005/01/16
- Re: [Axiom-developer] Axiom domains and Aldor return types, William Sit, 2005/01/14
[Axiom-developer] RE: Axiom domains and Aldor return types,
Martin Rubey <=