homomorphism f -- finds the matrix M <-- N corresponding to the element f.
This element should be a matrix f : Hom(M,N) <--- R^1, where Hom(M,N) has been previously computed, and R is the ring of M and N.
When A := Hom(M,N) is computed, enough information is stored in A.Hom to compute this correspondence.
See also:
Ways to use homomorphism :