PolynomialAN2Expression

expr.spad line 880 [edit on github]

This package provides a coerce from polynomials over algebraic numbers to Expression Integer.

coerce : Fraction(Polynomial(AlgebraicNumber)) -> Expression(Integer)

coerce(rf) converts rf, a fraction of polynomial p with algebraic number coefficients to Expression Integer.

coerce : Polynomial(AlgebraicNumber) -> Expression(Integer)

coerce(p) converts the polynomial p with algebraic number coefficients to Expression Integer.