Ring ~ -- make the structure sheaf

Ring ~ -- make the structure sheaf

Synopsis:

Operator: ~ -- a unary postfix operator

Input:

an instance of class Ring.

Output:

an instance of class SheafOfRings.

R~ -- produce the structure sheaf on the projective variety Proj R.

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

i2 : R~



o2 = OO

       Proj R



o2 : SheafOfRings

i3 : variety oo



o3 = Proj R



o3 : ProjectiveVariety

Code:

     -- ../../../Macaulay2/m2/varieties.m2:48
     Ring ~ := sheaf Ring := SheafOfRings => R -> new SheafOfRings from { symbol variety => Proj R, symbol ring => R }