m, a chain complex map, surjective quasi-isomorphism from a free ChainComplex
Description
Uses a different algorithm than resolutionOfChainComplex, often slower and less nearly minimal, to compute a free resolution of a chain complex. See resolutionOfChainComplex for an example.