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 ranks {1, 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 ranks {1, 1}