sheaf R
R~
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