variety(RingElement) -- get the variety of a cycle class

Synopsis

Usage:
variety c
Function: variety
Inputs:
- c, a ring element, contained in the intersection ring of an abstract variety X, say
Outputs:
- an abstract variety, X

Description

i1 : X = PP'^4

o1 = X

o1 : a flag bundle with ranks {4, 1}

i2 : h

o2 = h

                   QQ[][H   , H   , H   , H   , h]
                         1,1   1,2   1,3   1,4
o2 : -----------------------------------------------------------
     (H    + h, H    + H   h, H    + H   h, H    + H   h, H   h)
       1,1       1,2    1,1    1,3    1,2    1,4    1,3    1,4

i3 : variety h

o3 = X

o3 : a flag bundle with ranks {4, 1}