VarietyDimension -- get the dimension of a variety from its intersection ring

Synopsis

• Usage:

  A.VarietyDimension

• Inputs:
  • A, a ring, the intersection ring of an abstract variety

Description

i1 : X = abstractProjectiveSpace 3

o1 = X

o1 : a flag bundle with subquotient ranks {1, 3}

i2 : A =intersectionRing X

o2 = A

o2 : QuotientRing

i3 : A.VarietyDimension

o3 = 3