And I cant compile Martin one, maybe I should not assume that
a Field is an INTDOM ...
No it not necessary to assume that a Field is an INTDOM.
But it is true.
Field(): Category == Join(EuclideanDomain,UniqueFactorizationDomain,
DivisionRing) with ...
EuclideanDomain(): Category == PrincipalIdealDomain with ...
PrincipalIdealDomain(): Category == GcdDomain with ...
GcdDomain(): Category == IntegralDomain with ...
I also don't understand Martin's workaround since Fraction does
not export elt with this signature.
But ...
UnivariatePolynomial(x:Symbol, R:Ring):
UnivariatePolynomialCategory(R) with ...
UnivariatePolynomialCategory(R:Ring): Category ==
...
if R has IntegralDomain then
Eltable(Fraction %, Fraction %)
elt : (Fraction %, Fraction %) -> Fraction %
++ elt(a,b) evaluates the fraction of univariate
polynomials \spad{a}
++ with the distinguished variable replaced by b.
So Martin's suggestion does not sound so wrong to me.
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
