ModularAlgebraicGcdTools3ΒΆ

amodgcd.spad line 668

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(Polynomial Integer, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
degree: SparseUnivariatePolynomial Polynomial Integer -> Integer
from ModularAlgebraicGcdOperations(Polynomial Integer, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
m_inverse: (Polynomial Integer, List Polynomial Integer, List Symbol, Integer) -> Union(Polynomial Integer, failed)
m_inverse(x, lm, lv, p) computes inverse of x in algeraic extension defined by lm.
MPtoMPT: (Polynomial Integer, Symbol, List Symbol, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer)) -> Union(SparseUnivariatePolynomial Polynomial Integer, failed)
from ModularAlgebraicGcdOperations(Polynomial Integer, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
pack_exps0: (SortedExponentVector, List Integer, Integer, Integer) -> Void
pack_exps0(exps, sizes, ns, start) is used by pack_exps.
pack_exps: (Integer, Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer)) -> SortedExponentVector
from ModularAlgebraicGcdOperations(Polynomial Integer, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
pack_modulus: (List Polynomial Integer, List Symbol, Integer) -> Union(Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer), failed)
from ModularAlgebraicGcdOperations(Polynomial Integer, 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(Polynomial Integer, 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(Polynomial Integer, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))
zero?: SparseUnivariatePolynomial Polynomial Integer -> Boolean
from ModularAlgebraicGcdOperations(Polynomial Integer, SparseUnivariatePolynomial Polynomial Integer, Record(svz: List Symbol, sm: List Polynomial Integer, msizes: List Integer, sp: Integer))

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