next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Macaulay2Doc :: sheaf(Variety,Ring)

sheaf(Variety,Ring) -- make a coherent sheaf of rings

Synopsis

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