gb(..., StopWithMinimalGenerators => ...) -- stop when minimal generators have been determined

gb(..., StopWithMinimalGenerators => ...) -- stop when minimal generators have been determined

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 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.

See also:

Default value: false -- Boolean value false

Function: gb -- compute a Groebner basis

Option name: StopWithMinimalGenerators -- stop when minimal generators have been determined