pushFwd -- push forward

Ways to use pushFwd :

• 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

For the programmer

The object pushFwd is a method function with options.