mprimdec.lib
constant separator
typelistreturntype
constant PrimdecA
typelist(modulereturntype)
constant PrimdecB
typeideal(modulereturntype)
constant modDec
typelist(modulereturntype)
constant zeroMod
typelist(modulereturntype)
constant GTZmod
typelist(modulereturntype)
constant prepareSat
typelist(modulereturntype)
constant lcm_chr
typepoly(polyreturntype)
constant testit
typelist(modulereturntype)
constant annil
typemodulereturntype
constant splitting
typelist(modulereturntype)
constant sp1
typelist(list(modulereturntype))
constant sp2
typelist(poly(modulereturntype))
constant primTest
typelist(idealreturntype)
constant preComp
typelist(modulereturntype)
constant indSet
typeidealreturntype
constant GTZopt
typelist(modulereturntype)
constant dec1var
typelist(modulereturntype)
constant zeroOpt
typelist(modulereturntype)
constant clrSBmod
typemodulereturntype
constant minSatMod
typeideal(modulereturntype)
constant quotMinMod
typelistreturntype
constant specialModulesEqual
typemodule(modulereturntype)
constant sat2mod
typeideal(modulereturntype)
constant stdModulesEqual
typemodule(modulereturntype)
constant modulesEqual
typemodule(modulereturntype)
constant getData
typelist(list(modulereturntype))