saturate(..., Strategy => ...) -- specify a computational strategy

saturate(..., Strategy => ...) -- specify a computational strategy

The strategy option value should be one of the following:

Linear -- use the reverse lex order

Iterate -- use successive ideal quotients (the default)

Bayer -- use the method in Bayer's thesis

Elimination -- compute the saturation by elimination

See also:

Default value: null -- nothingness

Function: saturate -- saturation of ideal or submodule

Option name: Strategy -- specify a computational strategy