|
|
A266333
|
|
G.f. = b(2)*b(4)*b(6)/(x^8+x^6-x^5-x^3-x+1), where b(k) = (1-x^k)/(1-x).
|
|
2
|
|
|
1, 4, 9, 17, 29, 47, 74, 113, 170, 253, 375, 555, 818, 1203, 1767, 2594, 3807, 5584, 8188, 12004, 17597, 25795, 37809, 55416, 81220, 119038, 174464, 255694, 374742, 549215, 804918, 1179670, 1728895, 2533823, 3713502, 5442406, 7976239, 11689751, 17132167
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,2
|
|
COMMENTS
|
This is the Poincaré series [or Poincare series] for the quasi-Lannér diagram QL4_2 - see Tables 7.6, 7.7 and 7.8 in Maxim Chapovalov, Dimitry Leites and Rafael Stekolshchik (2009), or equivalently Tables 5 and 6 in the shorter version, Maxim Chapovalov, Dimitry Leites and Rafael Stekolshchik (2010).
|
|
LINKS
|
|
|
FORMULA
|
G.f.: (1+x)^3*(1-x+x^2)*(1+x^2)*(1+x+x^2) / ((1-x)*(1-x-x^3)*(1+x+x^2+x^3+x^4)). - Colin Barker, Dec 29 2015
|
|
MAPLE
|
gf:= b(2)*b(4)*b(6)/(x^8+x^6-x^5-x^3-x+1):
b:= k->(1-x^k)/(1-x):
a:= n-> coeff(series(gf, x, n+1), x, n):
seq(a(n), n=0..40);
|
|
MATHEMATICA
|
b[k_] := (1 - x^k)/(1 - x); CoefficientList[Series[b[2] b[4] b[6]/(x^8 + x^6 - x^5 - x^3 - x + 1), {x, 0, 40}], x] (* Bruno Berselli, Dec 29 2015 *)
|
|
PROG
|
(Magma) /* By definition: */ m:=40; R<x>:=PowerSeriesRing(Integers(), m); b:=func<k|(1-x^k)/(1-x)>; Coefficients(R!(b(2)*b(4)*b(6)/(x^8+x^6-x^5-x^3-x+1))); // Bruno Berselli, Dec 29 2015
(PARI) Vec((1+x)^3*(1-x+x^2)*(1+x^2)*(1+x+x^2) / ((1-x)*(1-x-x^3)*(1+x+x^2+x^3+x^4)) + O(x^50)) \\ Colin Barker, Dec 29 2015
|
|
CROSSREFS
|
Cf. similar sequences listed in A265055.
|
|
KEYWORD
|
nonn,easy
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|