ideal M
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