next | previous | forward | backward | up | top | index | toc | home

GradedModule ** ChainComplex -- tensor product

Synopsis

Description

C**D -- the tensor product of a graded module with a chain complex.

The result is a chain complex.