mregular.lib
constant
regIdeal
type
type
list
→
(
ideal
→
returntype
)
constant
depthIdeal
type
type
list
→
(
ideal
→
returntype
)
constant
satiety
type
type
list
→
(
ideal
→
returntype
)
constant
regMonCurve
type
type
list
→
returntype
constant
NoetherPosition
type
type
ideal
→
returntype
constant
is_NP
type
type
ideal
→
returntype
constant
is_nested
type
type
ideal
→
returntype