StopWithMinimalGenerators -- name for an optional argument
Description
A symbol used as the name of an optional argument, for some function(s).
Functions with optional argument named StopWithMinimalGenerators :
-
gb(..., StopWithMinimalGenerators => ...), see gb -- compute a Gröbner basis