variety(SheafOfRings) -- get the variety

Synopsis

• Usage:

  variety O

• Function: variety
• Inputs:
  • O, a sheaf of rings
• Outputs:
  • a variety, the variety over which O is a qusicoherent sheaf of rings

Description

i1 : X = Proj(QQ[x..z])

o1 = X

o1 : ProjectiveVariety

i2 : O = OO_X

o2 = OO
       X

o2 : SheafOfRings

i3 : variety O

o3 = X

o3 : ProjectiveVariety