atlas Library · Script File

`character_table_F.at`

the function |classes_Kondo_F4| defined in class_tables.at lists conjugacy
class representatives for any $F_4T_k$ type root datum in a fixed order, which
order is used below to write down characters. The numbering of the $W(F_4)$
irreducibles is determined by the |character_table_F4_data| table.
The function |character_table_F| will then construct a valid character table,
with those numberings, for any such root datum.

Source

atlas-scripts/character_table_F.at (90 lines)

Definitions

Loads

<basic.at
<class_tables.at { for |class_table_F| }
<character_tables.at { for type |CharacterTable| }

Loaded by

character_tables_reductive.at springer_table_F.at

Definitions in source order

`character_table_F4_data`

L12!character_table_F4_data = [[int],int,int]

character, degree, n_primes

`check_F4_degrees`

L41check_F4_degrees() = bool

function that checks the above table degrees

`F4_name`

L49F4_name(int dim, int degree, int n_primes) = string

`Kondo_positions`

L52Kondo_positions (WeylClassTable Wct) = [int]

|Wct| classes to Kondo

`to_special_F4`

L55to_special_F4 = (int i) int

`character_table_F` 3 overloads

L69character_table_F = (WeylClassTable -> CharacterTable)

L86character_table_F (RootDatum rd) = CharacterTable

L89character_table_F(int n) = CharacterTable

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

character_table_F.at

Definitions in source order

character_table_F4_data

check_F4_degrees

F4_name

Kondo_positions

to_special_F4