Proj -- make a projective variety

• Usage:

  Proj R

• Inputs:
  • R
• Outputs:
  • the projective variety (or scheme) formed from the graded ring R

i1 : R = QQ[x,y];

i2 : Proj R

o2 = Proj R

o2 : ProjectiveVariety