next | previous | forward | backward | up | top | index | toc | home

ChainComplex ** ChainComplexMap -- tensor product

Synopsis

Operator: **

Description

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