next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
PushForward
::
pushFwd
pushFwd -- push forward
Description
The push forward functor
pushFwd(RingMap)
- for a finite ring map
pushFwd(Module,RingMap)
- for a module
pushFwd(ModuleMap,RingMap)
- for a map of modules
Ways to use
pushFwd
:
pushFwd(Module,RingMap)
-- push forward of a module
pushFwd(ModuleMap,RingMap)
-- push forward of a map of modules
pushFwd(RingMap)
-- push forward of a finite ring map