Documentation contents

atlas Library · Script File

unitary.at

Source
atlas-scripts/unitary.at (1030 lines)
Definitions
3
Loads
nothing
Loaded by
test_unitarity.at

Definitions in source order

F4_spherical_unitary

L8F4_spherical_unitary = [ratvec]
representatives of the unitary facets for spherical F4 split
fundamental weight coordinates
points from http://www.liegroups.org/dissemination/spherical/F4/report2
Dynkin diagram is reversed, coordinates are flipped
G=split_form("F4")
sorted in increasing order of #reducibility_points

D4_spherical_unitary

L73D4_spherical_unitary = [ratvec]
representatives of spherical unitary parameters for SO(4,4),
standard coordinates, rho=(3,2,1,0)
G=so(4,4)

E7_spherical_unitary

L112E7_spherical_unitary = [ratvec]
representatives of unitary facets for spherical unitary of E7
from http://www.liegroups.org/dissemination/spherical/E7/report2
sorted by increasing #reducibility_points

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