ChainComplex ** ChainComplexMap -- tensor product

ChainComplex ** ChainComplexMap -- tensor product

Synopsis:

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

Input:

an instance of class ChainComplex.

an instance of class ChainComplexMap.

Output:

an instance of class ChainComplexMap.

C ** f -- tensor product of a chain complex with a map of chain complexes.

See also:

ChainComplexMap -- the class of all maps between chain complexes

Code:

     -- ../../../Macaulay2/m2/chaincomplexes.m2:764-771
     ChainComplex ** ChainComplexMap := ChainComplexMap => (C,f) -> (
          P := youngest(C,f);
          key := (C,f,symbol **);
          if P#?key then P#key
          else C**f = (
               id_C ** f
               )
          )