modulo(f,g) - given homomorphisms
f and
g of free modules with the same target, produces a homomorphism of free modules whose target is the source of
f, and whose image is the pre-image (under
f) of the image of
g.
If
f is null, then it's taken to be the identity. If
g is null, it's taken to be zero.