CodimensionLimit
CodimensionLimit => n -- keyword for an optional argument used with
certain functions which specifies that the computation should stop when
the codimension of the zero set of the ideal (or submodule) generated
by the leading terms of the Groebner basis elements found so far reaches
a certain limit.
This option has not been implemented yet.
Eventually the codimension of the ideal of leading terms is the
codimension of the original ideal.
