next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
ChainComplexOperations :: sym2

sym2 -- symmetric square of a chain complex

Synopsis

Description

If tau: F**F →F**F is the chain map reversing the factors, with appropriate signs, then sym2 F = image(1+tau) = ker(1-tau) = coker(1-tau)

Ways to use sym2 :