Documentation contents

Script File

exceptionalNilpotentData.at

nilpotent orbit data for exceptional simple groups

nilpotent orbit data for E6
Source
atlas-scripts/exceptionalNilpotentData.at (278 lines)
Definitions
17
Loads
Loaded by
none of the other all.at files

Definitions in source order

rd_E6

L7rd_E6 = simply_connected(E6)

E6_nilpotent_data

L9E6_nilpotent_data = NilpotentTable

E6_lusztig_map_elliptic

L33E6_lusztig_map_elliptic = …
nilpotent orbit data for E7
L41

rd_E7

L43rd_E7 = simply_connected(E7)

E7_nilpotent_data

L45E7_nilpotent_data = NilpotentTable

E7_lusztig_map_elliptic

L94E7_lusztig_map_elliptic = …
nilpotent orbit data for E8
L109

rd_E8

L111rd_E8 = simply_connected("E8")

E8_nilpotent_data

L113E8_nilpotent_data = NilpotentTable

E8_lusztig_map_elliptic

L186E8_lusztig_map_elliptic = …
nilpotent orbit data for F4
L222

rd_F4

L224rd_F4 = simply_connected("F4")

F4_nilpotent_data

L226F4_nilpotent_data = …

F4_lusztig_map_elliptic

L245F4_lusztig_map_elliptic = …
nilpotent orbit data for FG2
L257

rd_G2

L259rd_G2 = simply_connected(G2)

G2_nilpotent_data

L261G2_nilpotent_data = NilpotentTable

G2_lusztig_map_elliptic

L268G2_lusztig_map_elliptic = …

exceptional_nilpotent_tables

L274exceptional_nilpotent_tables = …

exceptional_lusztig_maps_elliptic

L277exceptional_lusztig_maps_elliptic = …

Generated from atlas-scripts at commit 7e1b958 (2026-09-17).