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)