mregular.lib
constant regIdeal
typelist(idealreturntype)
constant depthIdeal
typelist(idealreturntype)
constant satiety
typelist(idealreturntype)
constant regMonCurve
typelistreturntype
constant NoetherPosition
typeidealreturntype
constant is_NP
typeidealreturntype
constant is_nested
typeidealreturntype