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

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

StopWithMinimalGenerators => true -- an option for pushForward1 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:

Default value: false -- Boolean value false

Function: pushForward1 -- the main computational component of pushForward

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