|
%I #23 Sep 08 2022 08:45:45
%S 1,12,77,352,1286,3992,10933,27092,61841,131768,264759,505660,923858,
%T 1623116,2753972,4528964,7240871,11284064,17178942,25599288,37402222,
%U 53660256,75694775,105110084,143826980,194114636,258619428,340389204
%N Number of reduced words of length n in the Weyl group B_12.
%C Computed with MAGMA using commands similar to those used to compute A161409.
%D J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge, 1990. See under Poincaré polynomial.
%D N. Bourbaki, Groupes et algèbres de Lie, Chap. 4, 5, 6. (The group is defined in Planche II.)
%H G. C. Greubel, <a href="/A161858/b161858.txt">Table of n, a(n) for n = 0..144</a>
%F G.f. for B_m is the polynomial Product_{k=1..m} (1-x^(2k))/(1-x). Only finitely many terms are nonzero. This is a row of the triangle in A128084.
%p seq(coeff(series(mul((1-x^(2k))/(1-x),k=1..12),x,n+1), x, n), n = 0 .. 30); # _Muniru A Asiru_, Oct 25 2018
%t CoefficientList[Series[Product[(1-x^(2*k)),{k,1,12}]/(1-x)^12,{x,0,50}], x] (* _G. C. Greubel_, Oct 25 2018 *)
%o (PARI) t='t+O('t^50); Vec(prod(k=1,12,1-t^(2*k))/(1-t)^12) \\ _G. C. Greubel_, Oct 25 2018
%o (Magma) m:=50; R<t>:=PowerSeriesRing(Integers(), m); Coefficients(R!((&*[1-t^(2*k): k in [1..12]])/(1-t)^12)); // _G. C. Greubel_, Oct 25 2018
%Y The growth series for the finite Coxeter (or Weyl) groups B_2 through B_12 are A161696-A161699, A161716, A161717, A161733, A161755, A161776, A161858. These are all rows of A128084. The growth series for the affine Coxeter (or Weyl) groups B_2 through B_12 are A008576, A008137, A267167-A267175.
%K nonn
%O 0,2
%A _John Cannon_ and _N. J. A. Sloane_, Nov 30 2009
|
