- ChainComplexOperations -- Symmetric and exterior squares of a complex and the 2nd Adams operation
- chi2 -- Euler characteristic of the 2nd Adams operation applied to a complex
- eulerCharacteristic -- sum of the lengths of the even degree homology minus the odd degree homology groups
- evenHomologyLength -- sum of the lengths of the even degree homology groups
- excess -- Difference between the sum of the lengths of Tor_i(M,M) and the Walker bound 2^d*length(M)
- oddHomologyLength -- sum of the lengths of the odd degree homology groups
- reverseFactors -- The isomorphism from F**G to G**F when F,G are complexes
- sym2 -- symmetric square of a chain complex
- testWalker -- tests Walker's formula
- wedge2 -- exterior square of a chain complex