A Dynkin Type is a list of items representing Dynkin types of irreducible root systems. These types are a string (the letter representing the family A, B, C, D, E, F or G) and an integer, the rank.
i1 : R=rootSystemB(4)++rootSystemA(6) o1 = RootSystem{...8...} o1 : RootSystem |
i2 : dynkinType(R) o2 = DynkinType{{A, 6}, {B, 4}} o2 : DynkinType |
The object DynkinType is a type, with ancestor classes BasicList < Thing.