next | previous | forward | backward | up | top | index | toc | home

pushForward(..., Strategy => ...)

Description

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 -- a Strategy option value for saturate

Further information