ModularAlgebraicGcdTools4ΒΆ

amodgcd.spad line 913 [edit on github]

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))