CodimensionLimit -- stop when this codimension is reached

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.

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