atlas Library · Script File
character_table_G.at
the list |G2_class_words| of conjugacy class representatives is fixed in class_tables.at, and |character_table_G@RootDatum| will produce a corresponding |[WeylElt]|; the character data below follow this ordering. The numbering (and naming) of the $W(G_2)$ irreducibles is fixed (locally) in |character_table_G@RootDatum| below, so we can define data relative to this numbering. The result is a valid table for any $G_2T_k$ type root datum.
Definitions in source order
to_special_G2
L13
to_special_G2 = (int i) intcharacter_table_G 3 overloads
L16
character_table_G = (WeylClassTable -> CharacterTable)L31
character_table_G (RootDatum rd) = CharacterTableL34
character_table_G (int n) = CharacterTableGenerated from atlas-scripts at commit 648506c (2026-10-13).