axiom-math
[Top][All Lists]
Advanced

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

Re: [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types


From: Martin Rubey
Subject: Re: [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types
Date: Sat, 8 Jan 2005 11:11:09 +0100

Dear Marcus, Stephen, *

one workaround might be to define your function as a domain or package. For
example:

)abbrev domain BAR Bar
Bar(p:Integer): Exports == Implementation where
  Exports == Join(FiniteFieldCategory,FiniteAlgebraicExtensionField($),_
    ConvertibleTo(Integer))

  Implementation == InnerPrimeField(nextPrime(p)$IntegerPrimesPackage(Integer)_ 
                                    pretend PositiveInteger)


Concerning Aldor, the appropriate section to read seems to be 7.4 of
aldorug.pdf, pgs 77ff. I don't have the time right now to try it out, but it
might work.





reply via email to

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