mprimdec.lib
constant
separator
type
type
list
→
returntype
constant
PrimdecA
type
type
list
→
(
module
→
returntype
)
constant
PrimdecB
type
type
ideal
→
(
module
→
returntype
)
constant
modDec
type
type
list
→
(
module
→
returntype
)
constant
zeroMod
type
type
list
→
(
module
→
returntype
)
constant
GTZmod
type
type
list
→
(
module
→
returntype
)
constant
prepareSat
type
type
list
→
(
module
→
returntype
)
constant
lcm_chr
type
type
poly
→
(
poly
→
returntype
)
constant
testit
type
type
list
→
(
module
→
returntype
)
constant
annil
type
type
module
→
returntype
constant
splitting
type
type
list
→
(
module
→
returntype
)
constant
sp1
type
type
list
→
(
list
→
(
module
→
returntype
)
)
constant
sp2
type
type
list
→
(
poly
→
(
module
→
returntype
)
)
constant
primTest
type
type
list
→
(
ideal
→
returntype
)
constant
preComp
type
type
list
→
(
module
→
returntype
)
constant
indSet
type
type
ideal
→
returntype
constant
GTZopt
type
type
list
→
(
module
→
returntype
)
constant
dec1var
type
type
list
→
(
module
→
returntype
)
constant
zeroOpt
type
type
list
→
(
module
→
returntype
)
constant
clrSBmod
type
type
module
→
returntype
constant
minSatMod
type
type
ideal
→
(
module
→
returntype
)
constant
quotMinMod
type
type
list
→
returntype
constant
specialModulesEqual
type
type
module
→
(
module
→
returntype
)
constant
sat2mod
type
type
ideal
→
(
module
→
returntype
)
constant
stdModulesEqual
type
type
module
→
(
module
→
returntype
)
constant
modulesEqual
type
type
module
→
(
module
→
returntype
)
constant
getData
type
type
list
→
(
list
→
(
module
→
returntype
)
)