primdecint.lib
constant
primdecZ
type
type
list
→
(
ideal
→
returntype
)
constant
minAssZ
type
type
ideal
→
returntype
constant
heightZ
type
type
ideal
→
returntype
constant
radicalZ
type
type
ideal
→
returntype
constant
equidimZ
type
type
ideal
→
returntype
constant
intersectZ
type
type
ideal
→
(
ideal
→
returntype
)
constant
modp
type
type
int
→
(
int
→
(
ideal
→
returntype
)
)
constant
coefPrimeZ
type
type
ideal
→
returntype
constant
coefZ
type
type
ideal
→
returntype
constant
specialPowerZ
type
type
int
→
(
ideal
→
returntype
)
constant
separatorsZ
type
type
list
→
(
int
→
returntype
)
constant
extractZ
type
type
list
→
(
list
→
(
int
→
(
ideal
→
returntype
)
)
)
constant
normalizeZ
type
type
ideal
→
returntype
constant
satZ
type
type
poly
→
(
ideal
→
returntype
)
constant
quotientOneZ
type
type
poly
→
(
ideal
→
returntype
)
constant
quotientZ
type
type
ideal
→
(
ideal
→
returntype
)
constant
reduceZ
type
type
ideal
→
(
poly
→
returntype
)
constant
stdZ
type
type
ideal
→
returntype
constant
testPrimaryZ
type
type
list
→
(
ideal
→
returntype
)
constant
pseudo_primdecZM
type
type
module
→
returntype
constant
prepare_extractZM
type
type
list
→
returntype
constant
extractZM
type
type
list
→
(
list
→
returntype
)
constant
primdecZM
type
type
module
→
returntype