modulo -- find the pre-image of a map (low level version)

modulo -- find the pre-image of a map (low level version)

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.

Ways to use modulo :

modulo(Matrix,Matrix)

modulo(Matrix,Nothing)

modulo(Nothing,Matrix)

Optional arguments :