Synopsis:
C**D -- the tensor product of a graded module with a chain complex.
The result is a chain complex.
Code:
-- ../../../Macaulay2-0.9.2/Macaulay2/m2/chaincomplexes.m2:725-732 GradedModule ** ChainComplex := ChainComplex => (C,D) -> ( P := youngest(C,D); key := (C,D,symbol **); if P#?key then P#key else C**D = ( chainComplex C ** D ) )