variety -- get the variety

Ways to use variety :

• variety(CoherentSheaf)
• variety(Ideal) -- the closed projective subvariety defined by an ideal
• variety(SheafOfRings) -- get the variety