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

• Function: sheaf

• Usage:

  sheaf R

  R^~

• Inputs:
  • R, a ring
• Outputs:
  • a sheaf of rings, the coherent sheaf on a projective variety X corresponding to M

i1 : R = QQ[x,y,z];

i2 : X = Proj R

o2 = X

o2 : ProjectiveVariety

i3 : sheaf R

o3 = OO
       X

o3 : SheafOfRings

i4 : R^~

o4 = OO
       X

o4 : SheafOfRings