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.