variety(Ring) -- the variety of an intersection ring

Synopsis

Usage:
variety A
Function: variety
Inputs:
- A, a ring, the intersection ring of a variety X, say
Outputs:
- an abstract variety, X, the variety of A

Description

i1 : X = PP^1

o1 = X

o1 : a flag bundle with subquotient ranks {2:1}

i2 : intersectionRing X

         QQ[][h, H   ]
                  2,1
o2 = ---------------------
     (- h - H   , -h*H   )
             2,1      2,1

o2 : QuotientRing

i3 : variety oo

o3 = X

o3 : a flag bundle with subquotient ranks {2:1}