Re: [Axiom-developer] Bug?

[Waldek Hebisch]

> 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
address@hidden