> Does somebody know what happens here?
>
> Ralf
>
> )expose PrimitiveElement
> primitiveElement([x^2-2,x^2-3]$List(Polynomial Fraction Integer),[z2,z3])
>
> >> Error detected within library code:
> (1 . failed) cannot be coerced to mode (OrderedVariableList (z2 z3 %A))
>
>
AFAICS x^2-2 and x^2-3 have no common 0, so ideal generated by
the two polynomials is generated by constant 1. The constant does
not depend on z2 and z3, and Axiom chokes (Axiom definitely needs
better error checking).
BTW. You probably wanted:
primitiveElement([z2^2-2, z3^2-3], [z2,z3])
which gives me:
1 3 19 1 3 9 4 2
[coef= [- 3,1],poly= [-- ? - -- ?,-- ? - -- ?],prim= ? - 42? + 225]
90 30 30 10
Type: Record(coef: List Integer,poly: List SparseUnivariatePolynomial Fraction
Integer,prim: SparseUnivariatePolynomial Fraction Integer)
(I did not check if this is correct, but looks sensible).
--
Waldek Hebisch
[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
