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

Synopsis

• 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

Description

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