


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



![[top]](top.gif)