next | previous | forward | backward | up | top | index | toc | Macaulay2 website
ChainComplexOperations :: testWalker

testWalker -- tests Walker's formula



Verifies Walker's Theorem for a finite length graded module over a polynomial ring of char not 2: (2^(codim M)*length M + sum toList (excess M)) == (sum of the betti numbers of M)*(length M)


Returns an error if any homology has infinite length

For the programmer

The object testWalker is a function closure.