cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A162321 Number of reduced words of length n in the Weyl group D_15.

Original entry on oeis.org

1, 15, 119, 665, 2939, 10933, 35580, 103972, 277950, 689282, 1602727, 3523945, 7376794, 14784390, 28500705, 53054702, 95687240, 167682306, 286218490, 476893794, 777106448, 1240505775, 1942759458, 2988915740, 4522669833, 6737871614, 9892634850, 14326424875
Offset: 0

Views

Author

John Cannon and N. J. A. Sloane, Dec 01 2009

Keywords

References

  • N. Bourbaki, Groupes et alg. de Lie, Chap. 4, 5, 6. (The group is defined in Planche IV.)
  • J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge, 1990. See under Poincaré polynomial.

Crossrefs

Programs

  • Maple
    # Growth series for D_k, truncated to terms of order M. - N. J. A. Sloane, Aug 07 2021
    f := proc(m::integer) (1-x^m)/(1-x) ; end proc:
    g := proc(k,M) local a,i; global f;
    a:=f(k)*mul(f(2*i),i=1..k-1);
    seriestolist(series(a,x,M+1));
    end proc;
  • Mathematica
    n = 15;
    x = y + y O[y]^(n^2);
    (1-x^n) Product[1-x^(2k), {k, 1, n-1}]/(1-x)^n // CoefficientList[#, y]& (* Jean-François Alcover, Mar 25 2020, from A162206 *)

Formula

The growth series for D_k is the polynomial f(k)*Prod_{i=1..k-1} f(2*i), where f(m) = (1-x^m)/(1-x) [Corrected by N. J. A. Sloane, Aug 07 2021]. This is a row of the triangle in A162206.