WeylGroupOrder on CartanType
The size of the Weyl group of the type: the product of its degrees.
Humphreys, Reflection Groups and Coxeter Groups, section 3.7 and the table of section 2.11.
Called as CombinatorialStat(x, "WeylGroupOrder"). The head's page has its examples.
Live
Distribution
Over FiniteCartanTypes at each size, tallied here in your browser; sizes past 6 are not offered.
FindStat St000106
The size of the associated Weyl group.
| Object | Value |
|---|---|
['A',1] | 2 |
['A',2] | 6 |
['A',3] | 24 |
['A',4] | 120 |
['A',5] | 720 |
['A',6] | 5040 |
['A',7] | 40320 |
['A',8] | 362880 |
Data from FindStat, the combinatorial statistic finder; the page at findstat.org/St000106 has the rest.