atlas Library · Script File

`W_order.at`

order on conjugacy classes of W

The Bruhat order induces an order on elliptic conjugacy
classes in W, although this is hard to compute
This file is speculative, and involves other orders
on conjugacy classes in W

Source

atlas-scripts/W_order.at (46 lines)

Definitions

Loads

<lietypes.at
<poset.at
<good_W_representatives.at
<group_operations.at
<center.at
<sort.at

Loaded by

nilpotent_posets.at

Definitions in source order

`less`

L18less(RootDatum rd, ratvec v, ratvec w)

dominance order on dominant coweights

also defined in poset.at

`vecs`

L22vecs([WeylElt] W)

`vec_poset`

L24vec_poset([ratvec] S,RootDatum rd) = Poset

`W_poset`

L35W_poset([WeylElt] W) = Poset

`W_graph`

L39W_graph([WeylElt] W) = string

`elliptic_W_Graph`

L45elliptic_W_Graph(RootDatum rd) = string

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