The stable Hom is Hom(M,N)/T where T is the submodule of homomorphisms that factor through a free cover of N (or, equivalently, through any projective)

- isStablyTrivial -- returns true if the map goes to 0 under stableHom

- stableHom(Module,Module)

The object stableHom is a method function.