atlas Library · Script File

character_table_E6.at

Source

atlas-scripts/character_table_E6.at (106 lines)

Definitions

7

Loads

• <basic.at
• <sort.at
• <W_classes.at
• <class_tables.at { for |class_table_E6| }
• <character_tables.at { for type |CharacterTable| }

Loaded by

character_tables_reductive.at

Definitions in source order

from Magma

characters, with conjugacy classes in Magma order

some stuff to figure out in what order Magma has listed classes:
element orders, then class sizes, of conjugacy classes, in Magma order

4*25 matrix with unique columns, characterising a class

|Wct| classes to Magma

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