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

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

pushForward(f,M,Strategy => v) -- an option for pushForward which can be used to specify the strategy to be used in the computation.

The strategy option value v should be one of the following.

NonLinear -- use the algorithm which doesn't assume that the ring map is linear

Linear -- use the reverse lex order

See also:

Default value: NonLinear -- use the algorithm which doesn't assume that the ring map is linear

Option name: Strategy -- specify a computational strategy