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

[Bill Page]

William,

I think these are great examples with which to examine
some fundamental ideas in Axiom!

On Thursday, January 13, 2005 2:56 AM you wrote:
>...

> --%PointedPrimeField
> )abbrev domain PPF PointedPrimeField
> PointedPrimeField(n:PositiveInteger):Cat==Dog where
>   Cat == FiniteFieldCategory with
>     foo:PositiveInteger->PrimeField(n)
>   Dog == PrimeField(n) add
>     foo(k)==k::Integer::PrimeField(n)
>
> After compiling, define in the interpreter
>
> g(n,k)==foo(k)$PPF(n)
>
> Compiling g is still a problem in Axiom due to signature
> limitation. At least this way, inlininga complicated
> function is almost like a function call.
>