ChainComplexMap ** ChainComplex -- tensor product

ChainComplexMap ** ChainComplex -- tensor product

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

Synopsis of use:

Operator: **

Class of argument 1: ChainComplexMap

Class of argument 2: ChainComplex

Class of typical returned value: ChainComplexMap

Code:

     -- ../m2/chaincomplexes.m2:779-786
     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
               )
          )