ChainComplex ** GradedModule -- tensor product

ChainComplex ** GradedModule -- tensor product

Synopsis:

Operator: ** -- a binary operator, usually used for tensor product

Input:

an instance of class ChainComplex.

an instance of class GradedModule.

Output:

an instance of class ChainComplex.

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

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

The result is a chain complex.

Code:

     -- ../../../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
               )
          )