FakePolynomial

evalut.spad line 234 [edit on github]

FakePolynomial is a domain of univariate polynomials with coefficients being fractions of multivariate integer polynomials.Coefficients are kept in unsimplified form. This domain exists to avoid cost of recursive GCD calls during polynomial evaluation.

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

degree : (%, Symbol) -> NonNegativeInteger

ground : % -> Record(numer : Polynomial(Integer), denom : Polynomial(Integer))

map : (Mapping(Polynomial(Integer), Polynomial(Integer)), Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer))))) -> %

map : (Mapping(Polynomial(Integer), Polynomial(Integer)), %) -> Union(%, "failed")

map : (Mapping(Union(Polynomial(Integer), "failed"), Record(numer : Polynomial(Integer), denom : Polynomial(Integer))), %) -> Union(SparseUnivariatePolynomial(Polynomial(Integer)), "failed")

subst_var : (%, List(Symbol), List(Symbol)) -> %

to_UP : % -> SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))

CoercibleTo(OutputForm)