Atlas of Lie Groups and Representations

Documentation contents

atlas Library · Script File

character_table_E7.at

Source
atlas-scripts/character_table_E7.at (200 lines)
Definitions
9
Loads
Loaded by
character_tables_reductive.at

Definitions in source order

E7_positions

L13E7_positions = [int]
To save space we shall list only half of the characters, in Magma ordering.
The first is the sign character, and the missing characters are formed from
the given ones by tensoring with this sign character. We just need to indicate
the indices in the Magma numbering of the given characters; the tensor
products will give the characters at the missing indices, in increasing order.

e7_half_table

L18!e7_half_table = [vec]
the characters in the subset |E7_positions| under Magma numbering
60 entries each, broken 20|20|20 across lines

e7_characters

L111!e7_characters = [vec]
element order and class size, one column for each class in Magma order
L119

e7_profile

L121e7_profile = mat
shape (4,60)

Magma_positions_E7

L135Magma_positions_E7 (WeylClassTable Wct) = [int]
|Wct| classes to Magma

to_special_E7

L147to_special_E7 = (int i) int

character_table_E7 3 overloads

L174character_table_E7 (WeylClassTable Wct) = CharacterTable
L194character_table_E7 = (RootDatum->CharacterTable)
L199character_table_E7() = CharacterTable

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