next | previous | forward | backward | up | top | index | toc | Macaulay2 website
WeylGroups :: DynkinType ++ DynkinType

DynkinType ++ DynkinType -- the disjoint union of Dynkin Types

Synopsis

Description

i1 : T1=dynkinType(rootSystemB(2))

o1 = DynkinType{{B, 2}}

o1 : DynkinType
i2 : T2=dynkinType(rootSystemA(3))

o2 = DynkinType{{A, 3}}

o2 : DynkinType
i3 : T1++T2

o3 = DynkinType{{B, 2}, {A, 3}}

o3 : DynkinType

Note that it is not reordered.