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 ciE, 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.