-- -*- M2-comint -*- {* hash: 512967187 *} i1 : X = Proj(QQ[x..z]) o1 = X o1 : ProjectiveVariety i2 : OO_X o2 = OO X o2 : SheafOfRings i3 : OO_X^6 6 o3 = OO X o3 : coherent sheaf on X, free i4 :
-- -*- M2-comint -*- {* hash: 512967187 *} i1 : X = Proj(QQ[x..z]) o1 = X o1 : ProjectiveVariety i2 : OO_X o2 = OO X o2 : SheafOfRings i3 : OO_X^6 6 o3 = OO X o3 : coherent sheaf on X, free i4 :