Hom(Module,Matrix) -- induced map on Hom

i1 : R = QQ[x]

o1 = R

o1 : PolynomialRing

i2 : f = vars R

o2 = | x |

             1       1
o2 : Matrix R  <--- R

i3 : M = coker presentation image f

      1
o3 = R

o3 : R-module, free, degrees {1}

i4 : g = Hom(M,f)

o4 = {-1} | x |

             1       1
o4 : Matrix R  <--- R

i5 : target g

      1
o5 = R

o5 : R-module, free, degrees {-1}

i6 : source g

      1
o6 = R

o6 : R-module, free