StopWithMinimalGenerators -- stop when minimal generators have been determined
StopWithMinimalGenerators -- an option used with certain
functions to specify that the computation should stop as soon as a
complete list of minimal generators for the submodule or ideal has been
determined.
Functions with optional argument named StopWithMinimalGenerators :