[Top][All Lists]
[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.
[Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Marcus Better, 2005/01/10
- Message not available
- Message not available
- Message not available
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Martin Rubey, 2005/01/10
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Marcus Better, 2005/01/10
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Martin Rubey, 2005/01/12
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Marcus Better, 2005/01/12
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Martin Rubey, 2005/01/13