mregular.lib
constant regIdeal
constant depthIdeal
constant satiety
constant regMonCurve
constant NoetherPosition
constant is_NP
constant is_nested