i1 : R = QQ[x,y,z] o1 = R o1 : PolynomialRing
i2 : X = Proj R o2 = X o2 : ProjectiveVariety
i3 : Y = Spec R o3 = Y o3 : AffineVariety
i4 : sheaf(X,R) o4 = OO X o4 : SheafOfRings
i5 : sheaf(Y,R) o5 = OO Y o5 : SheafOfRings