*****************************************************************************
*       www.FindStat.org - The Combinatorial Statistic Finder               *
*                                                                           *
*       Copyright (C) 2019 The FindStatCrew <info@findstat.org>             *
*                                                                           *
*    This information is distributed in the hope that it will be useful,    *
*    but WITHOUT ANY WARRANTY; without even the implied warranty of         *
*    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                   *
*****************************************************************************

-----------------------------------------------------------------------------
Statistic identifier: St000106

-----------------------------------------------------------------------------
Collection: Finite Cartan types

-----------------------------------------------------------------------------
Description: The size of the associated Weyl group.

-----------------------------------------------------------------------------
References: 

-----------------------------------------------------------------------------
Code:
def statistic(ct):
    return WeylGroup(ct).cardinality()

-----------------------------------------------------------------------------
Statistic values:

['A',1]  => 2
['A',2]  => 6
['B',2]  => 8
['G',2]  => 12
['A',3]  => 24
['B',3]  => 48
['C',3]  => 48
['A',4]  => 120
['B',4]  => 384
['C',4]  => 384
['D',4]  => 192
['F',4]  => 1152
['A',5]  => 720
['B',5]  => 3840
['C',5]  => 3840
['D',5]  => 1920
['A',6]  => 5040
['B',6]  => 46080
['C',6]  => 46080
['D',6]  => 23040
['E',6]  => 51840
['A',7]  => 40320
['B',7]  => 645120
['C',7]  => 645120
['D',7]  => 322560
['E',7]  => 2903040
['A',8]  => 362880
['B',8]  => 10321920
['C',8]  => 10321920
['D',8]  => 5160960
['E',8]  => 696729600
['A',9]  => 3628800
['B',9]  => 185794560
['C',9]  => 185794560
['D',9]  => 92897280
['A',10] => 39916800
['D',10] => 1857945600

-----------------------------------------------------------------------------
Created: Jun 14, 2013 at 12:59 by Travis Scrimshaw

-----------------------------------------------------------------------------
Last Updated: Jul 17, 2017 at 08:33 by Martin Rubey