ModularAlgebraicGcdTools4ΒΆ

amodgcd.spad line 893

undocumented

canonicalIfCan: (SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer)) -> Union(SparseUnivariatePolynomial Polynomial Integer, failed)
from ModularAlgebraicGcdOperations(FakePolynomial, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
degree: SparseUnivariatePolynomial Polynomial Integer -> Integer
from ModularAlgebraicGcdOperations(FakePolynomial, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
MPtoMPT: (FakePolynomial, Symbol, List Symbol, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer)) -> Union(SparseUnivariatePolynomial Polynomial Integer, failed)
from ModularAlgebraicGcdOperations(FakePolynomial, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
pack_exps: (Integer, Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer)) -> SortedExponentVector
from ModularAlgebraicGcdOperations(FakePolynomial, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
pack_modulus: (List FakePolynomial, List Symbol, Integer) -> Union(Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer), failed)
from ModularAlgebraicGcdOperations(FakePolynomial, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
pseudoRem: (SparseUnivariatePolynomial Polynomial Integer, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer)) -> SparseUnivariatePolynomial Polynomial Integer
from ModularAlgebraicGcdOperations(FakePolynomial, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
repack1: (SparseUnivariatePolynomial Polynomial Integer, U32Vector, Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer)) -> Void
from ModularAlgebraicGcdOperations(FakePolynomial, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
zero?: SparseUnivariatePolynomial Polynomial Integer -> Boolean
from ModularAlgebraicGcdOperations(FakePolynomial, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))

ModularAlgebraicGcdOperations(FakePolynomial, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))