ModularEvaluation1

evalut.spad line 209 [edit on github]

undocumented

degree : (Polynomial(Integer), Symbol) -> NonNegativeInteger

from ModularEvaluationCategory(Polynomial(Integer), Polynomial(Integer))

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

from ModularEvaluationCategory(Polynomial(Integer), Polynomial(Integer))

ldegree : (Polynomial(Integer), Symbol) -> NonNegativeInteger

from ModularEvaluationCategory(Polynomial(Integer), Polynomial(Integer))

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

from ModularEvaluationCategory(Polynomial(Integer), Polynomial(Integer))

subst_vars : (Polynomial(Integer), List(Symbol), List(Symbol)) -> Polynomial(Integer)

from ModularEvaluationCategory(Polynomial(Integer), Polynomial(Integer))

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

from ModularEvaluationCategory(Polynomial(Integer), Polynomial(Integer))

ModularEvaluationCategory(Polynomial(Integer), Polynomial(Integer))