ModularEvaluation2ΒΆ

evalut.spad line 350

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)) -> FakePolynomial
from ModularEvaluationCategory(Record(var: Symbol, coef: SparseUnivariatePolynomial Fraction Polynomial Integer), FakePolynomial)
eval1a: (FakePolynomial, Integer, Record(prime: Integer, eval1coeffbuf: U32Vector, eval1expbuf: SortedExponentVector)) -> Integer
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) -> FakePolynomial
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)