(chainComplex,GradedModule)

chainComplex M -- convert a graded module to a chain complex by installing the zero map as differential.

See also GradedModule and ChainComplex.

topindexpreviousupnext