sheaf X
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 o4 = OO X o4 : SheafOfRings
i5 : sheaf Y o5 = OO Y o5 : SheafOfRings