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