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.
