-- -*- M2-comint -*- {* hash: 106309384 *} i1 : R = QQ[x..z] o1 = R o1 : PolynomialRing i2 : X = Proj R o2 = X o2 : ProjectiveVariety i3 : OO_X^6 6 o3 = OO X o3 : coherent sheaf on X, free i4 : module oo 6 o4 = R o4 : R-module, free i5 :
-- -*- M2-comint -*- {* hash: 106309384 *} i1 : R = QQ[x..z] o1 = R o1 : PolynomialRing i2 : X = Proj R o2 = X o2 : ProjectiveVariety i3 : OO_X^6 6 o3 = OO X o3 : coherent sheaf on X, free i4 : module oo 6 o4 = R o4 : R-module, free i5 :