


![[top]](top.gif)
ChainComplexMap ** ChainComplex -- tensor product
Synopsis:
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:
-- ../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
)
)



![[top]](top.gif)