ChainComplex ** ChainComplexMap -- tensor product

ChainComplex ** ChainComplexMap -- tensor product

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

Synopsis of use:

Operator: **

Class of argument 1: ChainComplex

Class of argument 2: ChainComplexMap

Class of typical returned value: ChainComplexMap

Code:

     -- ../m2/chaincomplexes.m2:787-794
     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
               )
          )