ModularAlgebraicGcdTools4

amodgcd.spad line 913 [edit on github]

undocumented

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

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

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