Identifier
Identifier
Values
['A',1] generating graphics... => 1
['A',2] generating graphics... => 1
['B',2] generating graphics... => 2
['G',2] generating graphics... => 4
['A',3] generating graphics... => 1
['B',3] generating graphics... => 3
['C',3] generating graphics... => 3
['A',4] generating graphics... => 1
['B',4] generating graphics... => 4
['C',4] generating graphics... => 4
['D',4] generating graphics... => 2
['F',4] generating graphics... => 10
['A',5] generating graphics... => 1
['B',5] generating graphics... => 5
['C',5] generating graphics... => 5
['D',5] generating graphics... => 3
['A',6] generating graphics... => 1
['B',6] generating graphics... => 6
['C',6] generating graphics... => 6
['D',6] generating graphics... => 4
['E',6] generating graphics... => 7
['A',7] generating graphics... => 1
['B',7] generating graphics... => 7
['C',7] generating graphics... => 7
['D',7] generating graphics... => 5
['E',7] generating graphics... => 16
['A',8] generating graphics... => 1
['B',8] generating graphics... => 8
['C',8] generating graphics... => 8
['D',8] generating graphics... => 6
['E',8] generating graphics... => 44
click to show generating function       
Description
The number of full-support reflections in the Weyl group of a finite Cartan type.
A reflection has full support if any (or all) reduced words for it in simple reflections use all simple reflections. This number is given by $\frac{nh}{|W|}d_1^*\cdots d_{n-1}^*$ where $n$ is the rank, $h$ is the Coxeter number, $W$ is the Weyl group, and $d_1^* \geq \ldots \geq d_{n-1}^* \geq d_n^* = 0$ are the codegrees of the Weyl group of a Cartan type.
References
[1] Chapoton, F. Sur le nombre de réflexions pleines dans les groupes de Coxeter finis MathSciNet:2300616
Code
def statistic(cartan_type):
    W = ReflectionGroup(cartan_type)
    return W.number_of_reflections_of_full_support()

Created
Jun 25, 2017 at 10:30 by Christian Stump
Updated
Apr 19, 2018 at 09:17 by Christian Stump