N = pushFwd(f, M)
N = pushFwd M
Given a (not necessarily finite) ring map $f : A \to B$, the $B$-module $M$ can be considered as a module over $A$. If $M$ is finite, this method returns the corresponding $A$-module.
|
|
|
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/PushForward.m2:381:0.