TorDegreeLimit(ZZ,Module,Matrix,ZZ) -- Computes the map Tor^i(M, source f)_{<=d} -> Tor^i(M, target f)_{<=d} induced by f.

Synopsis

• Usage:

  g=TorDegreeLimit(i,M,f,d)

• Function: TorDegreeLimit
• Inputs:

  • i, an integer
  • M, a module
  • f, a matrix
  • d, an integer
• Optional inputs:

  • printTimings => ..., -- a Boolean value, default value false, whether to print timings of the key steps of the function.
• Outputs:

  • g, a matrix