-- -*- M2-comint -*- {* hash: 610664038 *}

i1 : A = QQ[x,y,z];

i2 : f = matrix{{x*y-1,y^4},{z^2+3,x^3},{x*y*z,z^2}}

o2 = | xy-1 y4 |
     | z2+3 x3 |
     | xyz  z2 |

             3       2
o2 : Matrix A  <--- A

i3 : M = image f

o3 = image | xy-1 y4 |
           | z2+3 x3 |
           | xyz  z2 |

                             3
o3 : A-module, submodule of A

i4 : numgens M

o4 = 2

i5 : ambient M

      3
o5 = A

o5 : A-module, free

i6 : Q = A/(x^2+y^2+z^2);

i7 : substitute(M,Q)

o7 = image | xy-1 y4       |
           | z2+3 -xy2-xz2 |
           | xyz  z2       |

                             3
o7 : Q-module, submodule of Q

i8 :