|
|
A217216
|
|
Dimension of algebraic generators of the algebra "Baxter" of order n.
|
|
0
|
|
|
0, 1, 1, 3, 11, 47, 221, 1113, 5903, 32607, 186143, 1092015, 6555515, 40137219, 249984481, 1580468321, 10125395007, 65639436955, 430048061915, 2844592155631, 18979693010495, 127641472658231, 864645413540671, 5896221199266519, 40455246946190079
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,4
|
|
LINKS
|
|
|
FORMULA
|
Giraudo gives a generating function.
a(n) ~ c * 8^n / n^4, where c = 4.21514033443045415032... - Vaclav Kotesovec, Apr 27 2024
|
|
MATHEMATICA
|
nmax = 25;
1-1/(1+Sum[HypergeometricPFQ[{-1-n, 1-n, -n}, {2, 3}, -1] x^n, {n, nmax}]) + O[x]^nmax // CoefficientList[#, x]& (* Jean-François Alcover, Sep 26 2018 *)
|
|
PROG
|
(PARI)
baxter(n) = sum(k=1, n, binomial(n+1, k-1) * binomial(n+1, k) * binomial(n+1, k+1) / (binomial(n+1, 1) * binomial(n+1, 2)));
lista(m) = {u = t + t*O(t^m); b = 1 + sum(n=1, m, baxter(n)*u^n); gfbc = 1 - 1/b; for (n=0, m, print1(polcoeff(gfbc, n, t), ", ")); }
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|