HardDegreeLimit -- keyword for an optional argument used with resolution.
The default value is {}.
Information above the specified degree is discarded.
Functions with optional argument named HardDegreeLimit:
gb(...,HardDegreeLimit=>...) -- see gb -- compute a Gröbner basis