StopWithMinimalGenerators => true -- an optional argument used with syz that specifies that the computation should stop as soon as a complete list of minimal generators for the submodule or ideal has been determined.
The value provided is simply passed on to gb: see gb(..., StopWithMinimalGenerators => ...) for details.
See also: