PolynomialAN2Expression

expr.spad line 871 [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.