gb(..., CodimensionLimit => ...) -- stop when this codimension is reached

gb(..., CodimensionLimit => ...) -- stop when this codimension is reached

CodimensionLimit => n -- keyword for an optional argument used with gb 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.

See also:

Default value: infinity -- infinity

Function: gb -- compute a Groebner basis

Option name: CodimensionLimit -- stop when this codimension is reached