(max,ChainComplex)
max C
-- the minimum index occuring in a chain complex.
