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