Description
sheaf(X,R) -- produce the coherent sheaf on the variety
X corresponding to the ring
R. The variety
X must be
Spec R or
Proj R.
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
|