top
|
index
|
Macaulay2 web site
PushForward : Table of Contents
PushForward
-- pushforward functor for finite ring maps
pushFwd
-- push forward
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