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.

Go to main index.

Go to concepts index.