Synopsis:
homology(g,f) -- computes the homology module ker g/im f.
Here g and f should be composable maps with g*f equal to zero.
See also: