Ring ~ -- make the structure sheaf

Synopsis

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