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