Atlas of Lie Groups and Representations

Documentation contents

Script File

finite_unipotents.at

Source
atlas-scripts/finite_unipotents.at (131 lines)
Definitions
15
Loads
Loaded by
none of the other all.at files

Definitions in source order

tri

L7tri(int n)

cc_BC

L10cc_BC(int n) = int
number of conjugacy class in the Weyl group

cc_D

L11cc_D(int n) = int

number_unipotents_BC

L14number_unipotents_BC(int n) = int
number of unipotent representations over the finite field

number_unipotents_D

L21number_unipotents_D(int n) = int
number of unipotent representations over the finite field

number_unipotents_simple

L28number_unipotents_simple(RootDatum rd)
number of unipotent representations over finite field

number_unipotents

L46number_unipotents(RootDatum rd)
number unipotents in non-simple case

count_orbits_and_centralizers

L70count_orbits_and_centralizers(RootDatum rd)

show_count_orbits_and_centralizers 2 overloads

L80show_count_orbits_and_centralizers((int,[(RootDatum,[(ComplexNilpotent,[int])])]) d) = void
L90show_count_orbits_and_centralizers(RootDatum rd)

count_unipotents

L92count_unipotents(RootDatum rd)

show_count_unipotents

L97show_count_unipotents(RootDatum rd)

orbits_and_unipotents

L103orbits_and_unipotents(RootDatum rd)

orbits_and_unipotents_strict

L117orbits_and_unipotents_strict(RootDatum rd)

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