ModularEvaluation2

evalut.spad line 367 [edit on github]

undocumented

degree : (FakePolynomial, Symbol) -> NonNegativeInteger

from ModularEvaluationCategory(Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))), FakePolynomial)

eval1 : (FakePolynomial, Symbol, Integer, Record(prime : Integer, eval1coeffbuf : U32Vector, eval1expbuf : SortedExponentVector)) -> Union(FakePolynomial, "failed")

from ModularEvaluationCategory(Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))), FakePolynomial)

ldegree : (Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))), Symbol) -> NonNegativeInteger

from ModularEvaluationCategory(Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))), FakePolynomial)

modpreduction : (FakePolynomial, Integer) -> Union(FakePolynomial, "failed")

from ModularEvaluationCategory(Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))), FakePolynomial)

subst_vars : (Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))), List(Symbol), List(Symbol)) -> FakePolynomial

from ModularEvaluationCategory(Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))), FakePolynomial)

trial_division : (FakePolynomial, Polynomial(Integer), List(FakePolynomial), Symbol, List(Symbol)) -> Boolean

from ModularEvaluationCategory(Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))), FakePolynomial)

ModularEvaluationCategory(Record(var : Symbol, coef : SparseUnivariatePolynomial(Fraction(Polynomial(Integer)))), FakePolynomial)