This class supports the creation of variables, analogous to indexed variables, that can be used as generators of intersection rings of abstract varieties that are displayed in the form c_iE, where i is a natural number and E is the name of an abstract sheaf.
i1 : F = flagBundle({3,2},VariableNames => {{chern_1 S .. chern_3 S},{chern_1 Q,chern_2 Q}}) o1 = F o1 : a flag bundle with subquotient ranks {3, 2} |
i2 : A = intersectionRing F o2 = A o2 : QuotientRing |
i3 : (S,Q) = bundles F o3 = (S, Q) o3 : Sequence |
i4 : chern Q o4 = 1 + c Q + c Q 1 2 o4 : A |
i5 : chern S 2 3 o5 = 1 - c Q + ((c Q) - c Q) + (- (c Q) + 2*c Q*c Q) 1 1 2 1 1 2 o5 : A |
The object ChernClassVariable is a type, with ancestor classes BasicList < Thing.