-- -*- M2-comint -*- {* hash: -808157910 *} i1 : X = Proj(QQ[x,y]) o1 = X o1 : ProjectiveVariety i2 : sheafHom(OO_X^1(2),OO_X(11)^1) o2 = image {-9} | 1 | 1 o2 : coherent sheaf on X, subsheaf of OO (9) X i3 :
-- -*- M2-comint -*- {* hash: -808157910 *} i1 : X = Proj(QQ[x,y]) o1 = X o1 : ProjectiveVariety i2 : sheafHom(OO_X^1(2),OO_X(11)^1) o2 = image {-9} | 1 | 1 o2 : coherent sheaf on X, subsheaf of OO (9) X i3 :