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.

Showing 1-4 of 4 results.

A120970 G.f. A(x) satisfies A(x/A(x)^2) = 1 + x ; thus A(x) = 1 + Series_Reversion(x/A(x)^2).

Original entry on oeis.org

1, 1, 2, 9, 60, 504, 4946, 54430, 655362, 8496454, 117311198, 1711459903, 26228829200, 420370445830, 7021029571856, 121859518887327, 2192820745899978, 40831103986939664, 785429260324068156, 15585831041632684997, 318649154587152781210, 6704504768568697046504
Offset: 0

Views

Author

Paul D. Hanna, Jul 20 2006

Keywords

Comments

From Paul D. Hanna, Nov 16 2008: (Start)
More generally, if g.f. A(x) satisfies: A(x/A(x)^k) = 1 + x*A(x)^m, then
A(x) = 1 + x*G(x)^(m+k) where G(x) = A(x*G(x)^k) and G(x/A(x)^k) = A(x);
thus a(n) = [x^(n-1)] ((m+k)/(m+k*n))*A(x)^(m+k*n) for n>=1 with a(0)=1. (End)

Examples

			G.f.: A(x) = 1 + x + 2*x^2 + 9*x^3 + 60*x^4 + 504*x^5 + 4946*x^6 + ...
Related expansions.
A(x)^2 = 1 + 2*x + 5*x^2 + 22*x^3 + 142*x^4 + 1164*x^5 + 11221*x^6 + ...
A(A(x)-1) = 1 + x + 4*x^2 + 26*x^3 + 218*x^4 + 2151*x^5 + 23854*x^6 + ...
A(A(x)-1)^2 = 1 + 2*x + 9*x^2 + 60*x^3 + 504*x^4 + 4946*x^5 + ...
x/A(x)^2 = x - 2*x^2 - x^3 - 10*x^4 - 73*x^5 - 662*x^6 - 6842*x^7 - ...
Series_Reversion(x/A(x)^2) = x + 2*x^2 + 9*x^3 + 60*x^4 + 504*x^5 + 4946*x^6 + ...
To illustrate the formula a(n) = [x^(n-1)] 2*A(x)^(2*n)/(2*n),
form a table of coefficients in A(x)^(2*n) as follows:
  A^2:  [(1), 2,   5,   22,   142,   1164,   11221,   121848, ...];
  A^4:  [ 1, (4), 14,   64,   397,   3116,   29002,   306468, ...];
  A^6:  [ 1,  6, (27), 134,   825,   6270,   56492,   580902, ...];
  A^8:  [ 1,  8,  44, (240), 1502,  11200,   98144,   983016, ...];
  A^10: [ 1, 10,  65,  390, (2520), 18672,  160115,  1565260, ...];
  A^12: [ 1, 12,  90,  592,  3987, (29676), 250730,  2399388, ...];
  A^14: [ 1, 14, 119,  854,  6027,  45458, (381010), 3582266, ...]; ...
in which the main diagonal forms the initial terms of this sequence:
[2/2*(1), 2/4*(4), 2/6*(27), 2/8*(240), 2/10*(2520), 2/12*(29676), ...].

Links

Crossrefs

Cf. A120971; variants: A120972, A120974, A120976, A030266, A067145, A107096.
Cf. related variants: A145347, A145348, A147664, A145349, A145350. - Paul D. Hanna, Nov 16 2008
Cf. A381602.

Programs

  • Mathematica
    terms = 21; A[] = 1; Do[A[x] = 1 + x*A[A[x] - 1]^2 + O[x]^j // Normal, {j, terms}]; CoefficientList[A[x], x] (* Jean-François Alcover, Jan 15 2018 *)
  • PARI
    {a(n)=local(A=[1,1]);for(i=2,n,A=concat(A,0); A[ #A]=-Vec(subst(Ser(A),x,x/Ser(A)^2))[ #A]);A[n+1]}
for(n=0,30,print1(a(n),", "))
  • PARI
    /* This sequence is generated when k=2, m=0: A(x/A(x)^k) = 1 + x*A(x)^m */ {a(n,k=2,m=0)=local(A=sum(i=0,n-1,a(i,k,m)*x^i));if(n==0,1,polcoeff((m+k)/(m+k*n)*A^(m+k*n),n-1))} \\ Paul D. Hanna, Nov 16 2008
for(n=0,30,print1(a(n),", "))
  • PARI
    b(n, k) = if(k==0, 0^n, k*sum(j=0, n, binomial(2*n+k, j)/(2*n+k)*b(n-j, 2*j)));
a(n) = if(n==0, 1, b(n-1, 2)); \\ Seiichi Manyama, Jun 04 2025

Formula

G.f. satisfies: A(x) = 1 + x*A(A(x) - 1)^2.
Let B(x) be the g.f. of A120971, then B(x) and g.f. A(x) are related by:
(a) B(x) = A(A(x)-1),
(b) B(x) = A(x*B(x)^2),
(c) A(x) = B(x/A(x)^2),
(d) A(x) = 1 + x*B(x)^2,
(e) B(x) = 1 + x*B(x)^2*B(A(x)-1)^2,
(f) A(B(x)-1) = B(A(x)-1) = B(x*B(x)^2).
a(n) = [x^(n-1)] (1/n)*A(x)^(2n) for n>=1 with a(0)=1; i.e., a(n) equals 1/n times the coefficient of x^(n-1) in A(x)^(2n) for n>=1. [Paul D. Hanna, Nov 16 2008]
From Seiichi Manyama, Jun 04 2025: (Start)
Let b(n,k) = [x^n] B(x)^k, where B(x) is the g.f. of A120971.
b(n,0) = 0^n; b(n,k) = k * Sum_{j=0..n} binomial(2*n+k,j)/(2*n+k) * b(n-j,2*j).
a(n) = b(n-1,2) for n > 0. (End)

A120972 G.f. A(x) satisfies A(x/A(x)^3) = 1 + x ; thus A(x) = 1 + series_reversion(x/A(x)^3).

Original entry on oeis.org

1, 1, 3, 21, 217, 2814, 42510, 718647, 13270944, 263532276, 5567092665, 124143735663, 2905528740060, 71058906460091, 1809695198254281, 47861102278428198, 1311488806252697283, 37164457324943708739, 1087356593493807164289, 32801308084353988297404
Offset: 0

Views

Author

Paul D. Hanna, Jul 20 2006

Keywords

Comments

More generally, if g.f. A(x) satisfies: A(x/A(x)^k) = 1 + x*A(x)^m, then
A(x) = 1 + x*G(x)^(m+k) where G(x) = A(x*G(x)^k) and G(x/A(x)^k) = A(x);
thus a(n) = [x^(n-1)] ((m+k)/(m+k*n))*A(x)^(m+k*n) for n>=1 with a(0)=1.

Examples

			G.f.: A(x) = 1 + x + 3*x^2 + 21*x^3 + 217*x^4 + 2814*x^5 + 42510*x^6 +...
Related expansions.
A(x)^3 = 1 + 3*x + 12*x^2 + 82*x^3 + 813*x^4 + 10212*x^5 + 150699*x^6 +...
A(A(x)-1) = 1 + x + 6*x^2 + 60*x^3 + 776*x^4 + 11802*x^5 + 201465*x^6 +...
A(A(x)-1)^3 = 1 + 3*x + 21*x^2 + 217*x^3 + 2814*x^4 + 42510*x^5 +...
x/A(x)^3 = x - 3*x^2 - 3*x^3 - 37*x^4 - 420*x^5 - 5823*x^6 -...
Series_Reversion(x/A(x)^3) = x + 3*x^2 + 21*x^3 + 217*x^4 + 2814*x^5 + 42510*x^6 +...
To illustrate the formula a(n) = [x^(n-1)] 3*A(x)^(3*n)/(3*n),
form a table of coefficients in A(x)^(3*n) as follows:
  A^3:  [(1), 3,  12,   82,    813,   10212,   150699,   2503233, ...];
  A^6:  [ 1, (6), 33,  236,   2262,   27270,   388906,   6289080, ...];
  A^9:  [ 1,  9, (63), 489,   4671,   54684,   756012,  11904813, ...];
  A^12: [ 1, 12, 102, (868),  8445,   97260,  1310040,  20112516, ...];
  A^15: [ 1, 15, 150, 1400, (14070), 161343,  2130505,  31961175, ...];
  A^18: [ 1, 18, 207, 2112,  22113, (255060), 3324003,  48876264, ...];
  A^21: [ 1, 21, 273, 3031,  33222,  388563, (5030529), 72769014, ...]; ...
in which the main diagonal forms the initial terms of this sequence:
[3/3*(1), 3/6*(6), 3/9*(63), 3/12*(868), 3/15*(14070), 3/18*(255060), ...].

Crossrefs

Cf. A120973; variants: A120970, A120974, A120976, A030266, A067145, A107096.
Cf. A381603.

Programs

  • Mathematica
    terms = 18; A[] = 1; Do[A[x] = 1 + x*A[A[x] - 1]^3 + O[x]^j // Normal, {j, terms}]; CoefficientList[A[x], x] (* Jean-François Alcover, Jan 15 2018 *)
  • PARI
    {a(n)=local(A=[1,1]);for(i=2,n,A=concat(A,0); A[ #A]=-Vec(subst(Ser(A),x,x/Ser(A)^3))[ #A]);A[n+1]}
  • PARI
    {a(n)=local(A=1+x+x*O(x^n));for(i=1,n,A=1+x*subst(A^3,x,A-1+x*O(x^n)));polcoeff(A,n)}
  • PARI
    /* This sequence is generated when k=3, m=0: A(x/A(x)^k) = 1 + x*A(x)^m */
{a(n, k=3, m=0)=local(A=sum(i=0, n-1, a(i, k, m)*x^i)); if(n==0, 1, polcoeff((m+k)/(m+k*n)*A^(m+k*n), n-1))}
for(n=0,25,print1(a(n),", "))
  • PARI
    b(n, k) = if(k==0, 0^n, k*sum(j=0, n, binomial(3*n+k, j)/(3*n+k)*b(n-j, 3*j)));
a(n) = if(n==0, 1, b(n-1, 3)); \\ Seiichi Manyama, Jun 04 2025

Formula

G.f. satisfies: A(x) = 1 + x*A(A(x) - 1)^3.
a(n) = [x^(n-1)] A(x)^(3*n)/n for n>=1 with a(0)=1; i.e., a(n) equals the coefficient of x^(n-1) in A(x)^(3*n)/n for n>=1 (see comment).
Let B(x) be the g.f. of A120973, then B(x) and g.f. A(x) are related by:
(a) B(x) = A(A(x)-1),
(b) B(x) = A(x*B(x)^3),
(c) A(x) = B(x/A(x)^3),
(d) A(x) = 1 + x*B(x)^3,
(e) B(x) = 1 + x*B(x)^3*B(A(x)-1)^3,
(f) A(B(x)-1) = B(A(x)-1) = B(x*B(x)^3).
From Seiichi Manyama, Jun 04 2025: (Start)
Let b(n,k) = [x^n] B(x)^k, where B(x) is the g.f. of A120973.
b(n,0) = 0^n; b(n,k) = k * Sum_{j=0..n} binomial(3*n+k,j)/(3*n+k) * b(n-j,3*j).
a(n) = b(n-1,3) for n > 0. (End)

A120974 G.f. A(x) satisfies A(x/A(x)^4) = 1 + x; thus A(x) = 1 + series_reversion(x/A(x)^4).

Original entry on oeis.org

1, 1, 4, 38, 532, 9329, 190312, 4340296, 108043128, 2890318936, 82209697588, 2467155342740, 77676395612884, 2554497746708964, 87449858261161216, 3107829518797739032, 114399270654847628768, 4353537522757357068296, 171010040645759712226048
Offset: 0

Views

Author

Paul D. Hanna, Jul 20 2006

Keywords

Links

Crossrefs

Cf. A120975; variants: A120970, A120972, A120976, A030266, A067145, A107096.

Programs

  • Maple
    A:= x -> 1:
for m from 1 to 30 do
  Ap:= unapply(A(x)+c*x^m,x);
  S:= series(Ap(x/Ap(x)^4)-1-x, x, m+1);
  cs:= solve(convert(S,polynom),c);
  A:= subs(c=cs, eval(Ap));
od:
seq(coeff(A(x),x,m),m=0..30);# Robert Israel, Oct 25 2019
  • Mathematica
    nmax = 17; sol = {a[0] -> 1};
Do[A[x_] = Sum[a[k] x^k, {k, 0, n}] /. sol; eq = CoefficientList[ A[x/A[x]^4] - 1 - x + O[x]^(n + 1), x] == 0 /. sol; sol = sol ~Join~ Solve[eq][[1]], {n, 1, nmax}];
sol /. Rule -> Set;
a /@ Range[0, nmax] (* Jean-François Alcover, Nov 02 2019 *)
  • PARI
    {a(n)=local(A=[1,1]);for(i=2,n,A=concat(A,0); A[ #A]=-Vec(subst(Ser(A),x,x/Ser(A)^4))[ #A]);A[n+1]}
  • PARI
    b(n, k) = if(k==0, 0^n, k*sum(j=0, n, binomial(4*n+k, j)/(4*n+k)*b(n-j, 4*j)));
a(n) = if(n==0, 1, b(n-1, 4)); \\ Seiichi Manyama, Jun 04 2025

Formula

G.f. satisfies: A(x) = 1 + x*B(x)^4 = 1 + (1 + x*C(x)^4 )^4 where B(x) and C(x) satisfy: C(x) = B(x)*B(A(x)-1), B(x) = A(A(x)-1), B(A(x)-1) = A(B(x)-1), B(x/A(x)^4) = A(x), B(x) = A(x*B(x)^4) and B(x) is g.f. of A120975.
From Seiichi Manyama, Jun 04 2025: (Start)
Let b(n,k) = [x^n] B(x)^k, where B(x) is the g.f. of A120975.
b(n,0) = 0^n; b(n,k) = k * Sum_{j=0..n} binomial(4*n+k,j)/(4*n+k) * b(n-j,4*j).
a(n) = b(n-1,4) for n > 0. (End)

A120977 G.f. A(x) satisfies A(x) = 1 + x*A(x)^5 * A(x*A(x)^5)^5.

Original entry on oeis.org

1, 1, 10, 170, 3745, 96960, 2814752, 89221360, 3037327145, 109825686370, 4185287088735, 167139924222426, 6964610755602495, 301800832258018835, 13564159649547824735, 630916661388096564620, 30316241123672291911875
Offset: 0

Views

Author

Paul D. Hanna, Jul 20 2006

Keywords

Crossrefs

Cf. A120976; variants: A110447, A120971, A120973, A120975.

Programs

  • PARI
    {a(n)=local(A,G=[1,1]);for(i=1,n,G=concat(G,0); G[ #G]=-Vec(subst(Ser(G),x,x/Ser(G)^5))[ #G]); A=Vec(((Ser(G)-1)/x)^(1/5));A[n+1]}
  • PARI
    a(n, k=1) = if(k==0, 0^n, k*sum(j=0, n, binomial(5*n+k, j)/(5*n+k)*a(n-j, 5*j))); \\ Seiichi Manyama, Mar 01 2025

Formula

G.f. A(x) satisfies: A(x) = G(G(x)-1), A(G(x)-1) = G(A(x)-1), A(x) = G(x*A(x)^5) and A(x/G(x)^5) = G(x), where G(x) is the g.f. of A120976 and satisfies G(x/G(x)^5) = 1 + x.
From Seiichi Manyama, Mar 01 2025: (Start)
Let a(n,k) = [x^n] A(x)^k.
a(n,0) = 0^n; a(n,k) = k * Sum_{j=0..n} binomial(5*n+k,j)/(5*n+k) * a(n-j,5*j). (End)
Showing 1-4 of 4 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.