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

testWalker -- tests Walker's formula

Synopsis

Description

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)

Caveat

Returns an error if any homology has infinite length