Atlas of Lie Groups and Representations

Documentation contents

atlas Library · Script File

nilpotent_induction.at

Source
atlas-scripts/nilpotent_induction.at (47 lines)
Definitions
7
Loads
Loaded by
nilpotent_posets.at

Definitions in source order

maybe_induce type

L6
set_type [
maybe_induce = (void no_orbit| ComplexNilpotent orbit)
]

Fields: no_orbit, orbit

compute induction of nilpotent orbits in easy case:
when determined by the dimension

any

L10any(maybe_induce orbit) = bool

also defined in basic.at, cyclotomic_Lie_algebra.at

req

L11req(maybe_induce orbit) = ComplexNilpotent

induce_multiple

L14induce_multiple(ComplexNilpotent O_L,RootDatum rd)
assume O_L is for a Levi

simple_induce

L20simple_induce(ComplexNilpotent O_L,RootDatum rd) = maybe_induce
assume O_L is for a Levi

also defined in nilpotent_posets.at

show_nilpotent_induction

L23show_nilpotent_induction(RootDatum rd) = void

show_richardson_orbits

L32show_richardson_orbits(RootDatum rd) = void

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