getDegNModule -- Compute a presentation of M_i as an R-module

Synopsis

• Usage:

  M' = getDegNModule(N,R,M)

  M' = getDegNModule(N,R,A)

• Inputs:
  • N, an integer,
  • R, a ring,
  • M, a module, M is a Module over a ring A, and A must be a graded R-algebra with A_0 = R
  • A, a ring, A must be a graded R-algebra, and A_0 = R
• Outputs:
  • M', a module, M_N as an R = A_0-module