gA = pushFwd(f, g)
gA = pushFwd g
If $M_1$ and $M_2$ are both finite generated as $A$-modules, via $f$, this returns the induced map on $A$-modules.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Pushforward is linear and respects composition:
|
|
|
|
|
|
|
|
The source of this document is in PushForward.m2:443:0.