***************************************************************************** * www.FindStat.org - The Combinatorial Statistic Finder * * * * Copyright (C) 2019 The FindStatCrew * * * * 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