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)