ChainComplex ** GradedModule -- tensor product

ChainComplex ** GradedModule -- tensor product

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

The result is a chain complex.

Synopsis of use:

Operator: **

Class of argument 1: ChainComplex

Class of argument 2: GradedModule

Class of typical returned value: ChainComplex

Next more general method: GradedModule ** GradedModule -- a binary operator, usually used for tensor product

Code:

     -- ../m2/chaincomplexes.m2:739-746
     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
               )
          )