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