ChainComplexMap ** ChainComplex -- tensor product

ChainComplexMap ** ChainComplex -- tensor product

Synopsis:

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

Input:

an instance of class ChainComplexMap.

an instance of class ChainComplex.

Output:

an instance of class ChainComplexMap.

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

See also:

ChainComplexMap -- the class of all maps between chain complexes

Code:

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