(chainComplex,Matrix)
chainComplex f
-- create a chain complex
C
with the map
f
serving as the differential
C.dd_1
.
