(dual,ChainComplex)
dual C
-- the dual of a chain complex.
