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 |