|
|
A161697
|
|
Number of reduced words of length n in the Weyl group B_4.
|
|
0
|
|
|
1, 4, 9, 16, 24, 32, 39, 44, 46, 44, 39, 32, 24, 16, 9, 4, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,2
|
|
COMMENTS
|
Computed with MAGMA using commands similar to those used to compute A161409.
|
|
REFERENCES
|
J. E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge, 1990. See under Poincaré polynomial.
N. Bourbaki, Groupes et algèbres de Lie, Chap. 4, 5, 6. (The group is defined in Planche II.)
|
|
LINKS
|
|
|
FORMULA
|
G.f. for B_m is the polynomial Prod_{k=1..m}(1-x^(2k))/(1-x). Only finitely many terms are nonzero. This is a row of the triangle in A128084.
|
|
MAPLE
|
seq(coeff(series(mul((1-x^(2k))/(1-x), k=1..4), x, n+1), x, n), n = 0 .. 100); # Muniru A Asiru, Oct 25 2018
|
|
MATHEMATICA
|
CoefficientList[Series[Product[(1-x^(2*k)), {k, 1, 4}] /(1-x)^4, {x, 0, 16}], x] (* G. C. Greubel, Oct 25 2018 *)
|
|
PROG
|
(PARI) t='t+O('t^17); Vec(prod(k=1, 4, 1-t^(2*k))/(1-t)^4) \\ G. C. Greubel, Oct 25 2018
(Magma) m:=17; R<t>:=PowerSeriesRing(Integers(), m); Coefficients(R!((&*[1-t^(2*k): k in [1..4]])/(1-t)^4)); // G. C. Greubel, Oct 25 2018
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|