-- -*- M2-comint -*- {* hash: 1398007948 *} i1 : R = QQ[x,y,z]; i2 : X = Proj R o2 = X o2 : ProjectiveVariety i3 : sheaf R o3 = OO X o3 : SheafOfRings i4 : R~ o4 = OO X o4 : SheafOfRings i5 :
-- -*- M2-comint -*- {* hash: 1398007948 *} i1 : R = QQ[x,y,z]; i2 : X = Proj R o2 = X o2 : ProjectiveVariety i3 : sheaf R o3 = OO X o3 : SheafOfRings i4 : R~ o4 = OO X o4 : SheafOfRings i5 :