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.

A162366 Number of reduced words of length n in the Weyl group D_24.

Original entry on oeis.org

1, 24, 299, 2576, 17249, 95656, 457170, 1934920, 7396155, 25914720, 84197296, 256013184, 734002335, 1996645640, 5180091511, 12874497504, 30770197710, 70952341040, 158302199085, 342599792520, 720836052690, 1477396844040, 2954878145505, 5776377855120, 11052719207368
Offset: 0

Views

Author

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

Keywords

Comments

First differs from A161931 at index n=24. - Andrew Howroyd, Mar 17 2025

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
    f[m_] := (1-x^m)/(1-x);
    With[{k = 24}, CoefficientList[f[k]*Product[f[2i], {i, 1, k-1}] + O[x]^(k-2), x]] (* Jean-François Alcover, Feb 15 2023, after Maple code *)

Formula

The growth series for D_k is the polynomial f(k)*Product_{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.