PushForward : Table of Contents

• PushForward -- methods to compute the pushforward of a module along a ring map

  • pushFwd(RingMap) -- push forward of a finite ring map
  • pushFwd(RingMap,Module) -- push forward of a module via a finite ring map
  • pushFwd(RingMap,Matrix) -- push forward of a module map via a finite ring map
• isModuleFinite(RingMap) -- whether the target of a ring map is finitely generated over source
• NoPrune -- NoPrune option for pushFwd
• pushFwd -- push forward