Documentation contents

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.
Source
atlas-scripts/character_table_G.at (35 lines)
Definitions
4
Loads
Loaded by
character_tables_reductive.at springer_table_G.at

Definitions in source order

to_special_G2

L13to_special_G2 = (int i) int

character_table_G 3 overloads

L16character_table_G = (WeylClassTable -> CharacterTable)
L31character_table_G (RootDatum rd) = CharacterTable
L34character_table_G (int n) = CharacterTable

Generated from atlas-scripts at commit 648506c (2026-10-13).