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 |
The object VarietyDimension is a symbol.