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

wedge2 -- exterior square of a chain complex

Synopsis

Description

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

Ways to use wedge2 :