pushFwd -- push forward

Synopsis

Optional inputs:
- NoPrune => ..., default value false, NoPrune option for pushFwd

The push forward functor

"pushFwd(Ring)" -- see pushFwd(RingMap) -- push forward of a finite ring map
pushFwd(RingMap) -- push forward of a finite ring map
"pushFwd(Matrix)" -- see pushFwd(RingMap,Matrix) -- push forward of a module map via a finite ring map
pushFwd(RingMap,Matrix) -- push forward of a module map via a finite ring map
"pushFwd(Module)" -- see pushFwd(RingMap,Module) -- push forward of a module via a finite ring map
pushFwd(RingMap,Module) -- push forward of a module via a finite ring map