[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* **<=**