pushForward

pushForward

pushForward(f,M) -- yields an R-presentation of the S-module M, where f:R --> S is a ring map, and M is considered as an R-module via f.

If M is not finitely generated over R, then an error is raised.

Currently, R and S must both be polynomial rings over the same base field.

Ways to use pushForward :

Optional arguments :

pushForward(..., BasisElementLimit) -- stop when this number of basis elements is obtained

pushForward(..., DegreeLimit) -- compute up to a certain degree

pushForward(..., MonomialOrder) -- monomial ordering

pushForward(..., PairLimit) -- stop when this number of pairs is handled

pushForward(..., StopBeforeComputation => ...) -- initialize but do not begin the computation

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

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

pushForward(..., UseHilbertFunction)