i1 : dynkinType({{"A",2},{"B",3}})
o1 = DynkinType{{A, 2}, {B, 3}}
o1 : DynkinType
|
Note that low rank isomorphisms between classical groups are automatically used so that the letter is alphabetically minimal and the elementary types are irreducible (D2=A1xA1).
i2 : dynkinType({{"A",2},{"B",1}})
o2 = DynkinType{{A, 2}, {A, 1}}
o2 : DynkinType
|
i3 : dynkinType({{"A",2},{"C",2}})
o3 = DynkinType{{A, 2}, {B, 2}}
o3 : DynkinType
|
i4 : dynkinType({{"A",2},{"D",2}})
o4 = DynkinType{{A, 2}, {A, 1}, {A, 1}}
o4 : DynkinType
|