ideal(Module) -- converts a module to an ideal

i1 : R = QQ[w,x,y,z];

i2 : f = map(R^1,R^3, matrix{{x^2-w*y, x*y-w*z, x*z-y^2}})

o2 = | x2-wy xy-wz -y2+xz |

             1       3
o2 : Matrix R  <--- R

i3 : image f

o3 = image | x2-wy xy-wz -y2+xz |

                             1
o3 : R-module, submodule of R

i4 : ideal image f

             2                      2
o4 = ideal (x  - w*y, x*y - w*z, - y  + x*z)

o4 : Ideal of R