gb => StopWithMinimalGenerators
StopWithMinimalGenerators -- keyword for an optional argument used
with gb, which, if the value provided is true
indicates that the computation should stop as
soon as a complete list of minimal generators for the submodule
or ideal has been determined, even if the entire Groebner basis
has not yet been determined.
Currently this option is implemented by stopping the computation
as soon as the those S-polynomials and generators, of the same
degree as the generator of highest degree, have been processed.
This option is for internal use only. Use mingens
instead.
