What software would you recommend for working with chain complexes? In particular I'd like to be able to compute cohomology of a finite complex of free modules over polynomial ring. Is it possible in principle? (I hope so.) Here by "compute" I mean get a presentation as a cokernel of a map of free modules.
I've never used seriously any of the mathematical software yet, but I've checked manuals for Macaulay, Singular, Gap and Sage and I can't seem to find what I want. Maybe I wasn't looking very well?
Thanks.