A new graded module can be made with 'M = new GradedModule'. The i-th module can be installed with a statement like M#i=N, and can be retrieved with an expression like M_i. The ground ring should be installed with a statement like M.ring = R.
Operations on graded modules:
Producing graded modules:
See also GradedModuleMap.