ncdecomp.lib
constant
testncdecomplib
type
type
returntype
constant
CharKernel
type
type
int
→
(
list
→
returntype
)
constant
CentralQuotPoly
type
type
poly
→
(
module
→
returntype
)
constant
MyIsEqual
type
type
module
→
(
module
→
returntype
)
constant
CentralQuot
type
type
ideal
→
(
module
→
returntype
)
constant
CentralSaturation
type
type
ideal
→
(
module
→
returntype
)
constant
CenCharDec
type
type
def
→
(
module
→
returntype
)
constant
IntersectWithSub
type
type
def
→
(
ideal
→
returntype
)