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
|