homology(f,g)
-- computes the homology module (kernel f)/(image g).
homology
-- a method name available for computing expressions
of the forms HH_i(X) and HH_i(M,N).
If it is intended that i be of class ZZ, M be of class A, and N be of
class B, then the method can be installed with