ModularAlgebraicGcdTools2

amodgcd.spad line 550 [edit on github]

undocumented

MPtoMPT : (Polynomial(Integer), Symbol, List(Symbol), Record(svz : Symbol, sm : U32Vector, sp : Integer)) -> Union(PrimitiveArray(U32Vector), "failed")

from ModularAlgebraicGcdOperations(Polynomial(Integer), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer))

canonicalIfCan : (PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer)) -> Union(PrimitiveArray(U32Vector), "failed")

from ModularAlgebraicGcdOperations(Polynomial(Integer), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer))

degree : PrimitiveArray(U32Vector) -> Integer

from ModularAlgebraicGcdOperations(Polynomial(Integer), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer))

pack_exps : (Integer, Integer, Record(svz : Symbol, sm : U32Vector, sp : Integer)) -> SortedExponentVector

from ModularAlgebraicGcdOperations(Polynomial(Integer), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer))

pack_modulus : (List(Polynomial(Integer)), List(Symbol), Integer) -> Union(Record(svz : Symbol, sm : U32Vector, sp : Integer), "failed")

from ModularAlgebraicGcdOperations(Polynomial(Integer), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer))

pseudoRem : (PrimitiveArray(U32Vector), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer)) -> PrimitiveArray(U32Vector)

from ModularAlgebraicGcdOperations(Polynomial(Integer), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer))

repack1 : (PrimitiveArray(U32Vector), U32Vector, Integer, Record(svz : Symbol, sm : U32Vector, sp : Integer)) -> Void

from ModularAlgebraicGcdOperations(Polynomial(Integer), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer))

zero? : PrimitiveArray(U32Vector) -> Boolean

from ModularAlgebraicGcdOperations(Polynomial(Integer), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer))

ModularAlgebraicGcdOperations(Polynomial(Integer), PrimitiveArray(U32Vector), Record(svz : Symbol, sm : U32Vector, sp : Integer))