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-9 of 9 results.

A007556 Number of 8-ary trees with n vertices.

Original entry on oeis.org

1, 1, 8, 92, 1240, 18278, 285384, 4638348, 77652024, 1329890705, 23190029720, 410333440536, 7349042994488, 132969010888280, 2426870706415800, 44627576949364104, 826044435409399800, 15378186970730687400, 287756293703544823872, 5409093674555090316300
Offset: 0

Views

Author

Keywords

Comments

Shifts left when convolved three times.
From Wolfdieter Lang, Sep 14 2007: (Start)
a(n), n >= 1, enumerates octic (8-ary) trees (rooted, ordered, incomplete) with n vertices (including the root).
Pfaff-Fuss-Catalan sequence C^{m}_n for m = 8. See the Graham et al. reference, p. 347. eq. 7.66. See also the Pólya-Szegő reference.
Also 8-Raney sequence. See the Graham et al. reference, p. 346-7.
(End)
This is instance k = 8 of the generalized Catalan family {C(k, n)}A130564.%20-%20_Wolfdieter%20Lang">{n>=0} given in a comment of A130564. - _Wolfdieter Lang, Feb 05 2024

Examples

			There are a(2) = 8 octic trees (vertex degree less than or equal to 8 and 8 possible branchings) with 2 vertices (one of them the root). Adding one more branch (one more vertex) to these 8 trees yields 8*8 + binomial(8, 2) = 92 = a(3) such trees.
		

References

  • R. L. Graham, D. E. Knuth and O. Patashnik, Concrete Mathematics. Addison-Wesley, Reading, MA, 1990, pp. 200, 347.
  • G. Pólya and G. Szegő, Problems and Theorems in Analysis, Springer-Verlag, Heidelberg, New York, 2 vols., 1972, Vol. 1, problem 211, p. 146 with solution on p. 348.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Seventh column of triangle A062993.
Cf. A130564.

Programs

  • Haskell
    a007556 0 = 1
    a007556 n = a007318' (8 * n) (n - 1) `div` n
    -- Reinhard Zumkeller, Jul 30 2013
    
  • Magma
    [Binomial(8*n, n)/(7*n+1): n in [0..20]]; // Vincenzo Librandi, Apr 02 2015
    
  • Maple
    seq(binomial(8*n+1,n)/(8*n+1),n=0..30); # Robert FERREOL, Apr 01 2015
    n:=30: G:=series(RootOf(g = 1+x*g^8, g),x=0,n+1): seq(coeff(G,x,k),k=0..n); # Robert FERREOL, Apr 01 2015
  • Mathematica
    Table[Binomial[8n, n]/(7n + 1), {n, 0, 20}] (* Harvey P. Dale, Dec 24 2012 *)
  • PARI
    vector(100, n, n--; binomial(8*n, n)/(7*n+1)) \\ Altug Alkan, Oct 14 2015

Formula

a(n) = binomial(8*n, n)/(7*n+1) = binomial(8*n+1, n)/(8*n+1) = A062993(n+6,6).
O.g.f.: A(x) = 1 + x*A(x)^8 = 1/(1-x*A(x)^7).
a(0) = 1; a(n) = Sum_{i1 + i2 + .. i8 = n - 1} a(i1)*a(i2)*...*a(i8) for n >= 1. - Robert FERREOL, Apr 01 2015
a(n) = binomial(8*n, n - 1)/n for n >= 1, a(0) = 1 (from the Lagrange series of the o.g.f. A(x) with its above given implicit equation).
From Karol A. Penson, Mar 26 2015: (Start)
In Maple notation,
e.g.f.: hypergeom([1/8, 1/4, 3/8, 1/2, 5/8, 3/4, 7/8], [2/7, 3/7, 4/7, 5/7, 6/7, 1, 8/7],(2^24/7^7)*z);
o.g.f.: hypergeom([1/8, 1/4, 3/8, 1/2, 5/8, 3/4, 7/8], [2/7, 3/7, 4/7, 5/7, 6/7, 8/7],(2^24/7^7)*z);
a(n) are special values of Jacobi polynomials, in Maple notation:
a(n) = JacobiP(n - 1, 7*n + 1, -n, 1)/n, n = 1, 2, ...
(End)
From Peter Bala, Oct 14 2015: (Start)
A(x)^2 is o.g.f. for A234461; A(x)^3 is o.g.f. for A234462;
A(x)^4 is o.g.f. for A234463; A(x)^5 is o.g.f. for A234464;
A(x)^6 is o.g.f. for A234465; A(x)^7 is o.g.f. for A234466;
A(x)^9 is o.g.f. for A234467. (End)
a(n) ~ 2^(24*n + 1)/(sqrt(Pi)*7^(7*n + 3/2)*n^(3/2)). - Ilya Gutkovskiy, Feb 07 2017
D-finite with recurrence: 7*n*(7*n-3)*(7*n+1)*(7*n-2)*(7*n-5)*(7*n-1)*(7*n-4)*a(n) -128*(8*n-5)*(4*n-1)*(8*n-7)*(2*n-1)*(8*n-1)*(4*n-3)*(8*n-3)*a(n-1)=0. - R. J. Mathar, Feb 20 2020
G.f. A(x) satisfies A(x) = 1/A(-x*A(x)^15). - Seiichi Manyama, Jun 16 2025

A234465 a(n) = 3*binomial(8*n+6,n)/(4*n+3).

Original entry on oeis.org

1, 6, 63, 812, 11655, 178794, 2869685, 47593176, 809172936, 14028048650, 247039158366, 4406956913268, 79470057050020, 1446283758823470, 26529603944225670, 489989612605050800, 9104498753815680600, 170073237411754811568, 3192081704235788729043
Offset: 0

Views

Author

Tim Fulford, Dec 26 2013

Keywords

Comments

Fuss-Catalan sequence is a(n,p,r) = r*binomial(np+r,n)/(np+r), this is the case p = 8, r = 6.

Crossrefs

Programs

  • Magma
    [3*Binomial(8*n+6, n)/(4*n+3): n in [0..30]]; // Vincenzo Librandi, Dec 26 2013
  • Mathematica
    Table[3 Binomial[8 n + 6, n]/(4 n + 3), {n, 0, 40}] (* Vincenzo Librandi, Dec 26 2013 *)
  • PARI
    a(n) = 3*binomial(8*n+6,n)/(4*n+3);
    
  • PARI
    {a(n)=local(B=1); for(i=0, n, B=(1+x*B^(4/3))^6+x*O(x^n)); polcoeff(B, n)}
    

Formula

G.f. satisfies: B(x) = {1 + x*B(x)^(p/r)}^r, where p = 8, r = 6.
O.g.f. A(x) = 1/x * series reversion (x/C(x)^6), where C(x) is the o.g.f. for the Catalan numbers A000108. A(x)^(1/6) is the o.g.f. for A007556. - Peter Bala, Oct 14 2015
D-finite with recurrence: 7*n*(7*n+4)*(7*n+1)*(7*n+5)*(7*n+2)*(7*n+6)*(7*n+3)*a(n) -128*(8*n+3)*(4*n-1)*(8*n+1)*(2*n+1)*(8*n-1)*(4*n+1)*(8*n+5)*a(n-1)=0. - R. J. Mathar, Feb 21 2020

A234466 a(n) = 7*binomial(8*n+7,n)/(8*n+7).

Original entry on oeis.org

1, 7, 77, 1015, 14763, 228459, 3689595, 61474519, 1048927880, 18236463245, 321899509386, 5753527081211, 103922382296180, 1893943017506925, 34783258504651434, 643111366544129175, 11960812088346090200, 223614812152492437432, 4200107505573406222425
Offset: 0

Views

Author

Tim Fulford, Dec 26 2013

Keywords

Comments

Fuss-Catalan sequence is a(n,p,r) = r*binomial(np+r,n)/(np+r), this is the case p=8, r=7.

Crossrefs

Programs

  • Magma
    [7*Binomial(8*n+7, n)/(8*n+7): n in [0..30]]; // Vincenzo Librandi, Dec 26 2013
  • Mathematica
    Table[7 Binomial[8 n + 7, n]/(8 n + 7), {n, 0, 40}] (* Vincenzo Librandi, Dec 26 2013 *)
  • PARI
    a(n) = 7*binomial(8*n+7,n)/(8*n+7);
    
  • PARI
    {a(n)=local(B=1); for(i=0, n, B=(1+x*B^(8/7))^7+x*O(x^n)); polcoeff(B, n)}
    

Formula

G.f. satisfies: B(x) = {1 + x*B(x)^(p/r)}^r, where p=8, r=7.
E.g.f.: hypergeom([7, 9, 10, 11, 12, 13, 14]/8, [8, 9, 10, 11, 12, 13, 14]/7, (8^8/7^7)*x). Cf.: Ilya Gutkovskiy in A118971. - Wolfdieter Lang, Feb 06 2020
D-finite with recurrence: +7*(7*n+4)*(7*n+1)*(7*n+5)*(7*n+2)*(7*n+6)*(7*n+3)*(n+1)*a(n) -128*(8*n+3)*(4*n+3)*(8*n+1)*(2*n+1)*(8*n-1)*(4*n+1)*(8*n+5)*a(n-1)=0. - R. J. Mathar, Feb 21 2020
From Wolfdieter Lang, Feb 15 2024: (Start)
a(n) = binomial(8*n + 6, n+1)/(7*n + 6). This is instance k = 7 of c(k, n+1) given in a comment in A130564.
The compositional inverse of y*(1 - y)^7 is x*G(x), where G is the o.g.f.. That is, G(x)*(1 - x*G(x))^7 = 1. This is equivalent to the formula of the first line above with B = G. Take A = B^(1/7) then A*(1 - x*B) = 1 or B*(1 - x*B)^7 = 1.
The o.g.f is G(x) = 8F7([7..14]/8, [8..14]/7; (8^8/7^7)*x) = (7/(8*x))*(1 - 7F6([-1,1,2,3,4,5,6]/8, [1,2,3,4,5,6]/7; (8^8/7^7)*x)). See the e.g.f. above.(End)

A234467 a(n) = 9*binomial(8*n + 9,n)/(8*n + 9).

Original entry on oeis.org

1, 9, 108, 1488, 22230, 350244, 5729724, 96395616, 1657248417, 28987537150, 514215324216, 9229030737264, 167283594343320, 3057857090083908, 56305821384711720, 1043424549990820800, 19445145508444588200, 364191559218548917713, 6851518654436447733980
Offset: 0

Views

Author

Tim Fulford, Dec 26 2013

Keywords

Comments

Fuss-Catalan sequence is a(n,p,r) = r*binomial(n*p + r,n)/(n*p + r); this is the case p = 8, r = 9.

Crossrefs

Cf. A000108, A000245 (k = 3), A006629 (k = 4), A196678 (k = 5), A233668 (k = 6), A233743 (k = 7), A233835 (k = 8), A232265 (k = 10), A229963 (k = 11).

Programs

  • Magma
    [9*Binomial(8*n+9, n)/(8*n+9): n in [0..30]]; // Vincenzo Librandi, Dec 26 2013
  • Mathematica
    Table[9 Binomial[8 n + 9, n]/(8 n + 9), {n, 0, 40}] (* Vincenzo Librandi, Dec 26 2013 *)
  • PARI
    a(n) = 9*binomial(8*n+9,n)/(8*n+9);
    
  • PARI
    {a(n)=local(B=1); for(i=0, n, B=(1+x*B^(8/9))^9+x*O(x^n)); polcoeff(B, n)}
    

Formula

G.f. satisfies: A(x) = {1 + x*A(x)^(p/r)}^r, where p = 8, r = 9.
From Peter Bala, Oct 16 2015: (Start)
O.g.f.: (1/x) * series reversion (x*C(-x)^9), where C(x) = (1 - sqrt(1 - 4*x))/(2*x) is the o.g.f. for the Catalan numbers A000108. See cross-references for other Fuss-Catalan sequences with o.g.f. 1/x * series reversion (x*C(-x)^k), k = 3 through 11.
A(x)^(1/9) is the o.g.f. for A007556. (End)
D-finite with recurrence +7*n*(7*n+3)*(7*n+4)*(7*n+5)*(7*n+6)*(7*n+8)*(7*n+9)*a(n)-128*(2*n+1)*(4*n+1)*(4*n+3)*(8*n+1)*(8*n+3)*(8*n+5)*(8*n+7)*a(n-1) = 0. - R. J. Mathar, Feb 09 2020
E.g.f.: F([9/8, 5/4, 11/8, 3/2, 13/8, 7/4, 15/8], [1, 10/7, 11/7, 12/7, 13/7, 15/7, 16/7], 16777216*x/823543), where F is the generalized hypergeometric function. - Stefano Spezia, Feb 09 2020

A234461 a(n) = binomial(8*n+2,n)/(4*n+1).

Original entry on oeis.org

1, 2, 17, 200, 2728, 40508, 635628, 10368072, 174047640, 2987139122, 52177566870, 924548764752, 16578073731752, 300252605231600, 5484727796499708, 100933398334075824, 1869468985400220600, 34823332479175275600, 651947852922093741585
Offset: 0

Views

Author

Tim Fulford, Dec 26 2013

Keywords

Comments

Fuss-Catalan sequence is a(n,p,r) = r*binomial(n*p + r,n)/(n*p + r), this is the case p = 8, r = 2.

Crossrefs

Programs

  • Magma
    [Binomial(8*n+2, n)/(4*n+1): n in [0..30]];
  • Mathematica
    Table[Binomial[8 n + 2, n]/(4 n + 1), {n, 0, 30}]
  • PARI
    a(n) = binomial(8*n+2,n)/(4*n+1);
    
  • PARI
    {a(n)=local(B=1); for(i=0, n, B=(1+x*B^4)^2+x*O(x^n)); polcoeff(B, n)}
    

Formula

G.f. satisfies: A(x) = {1 + x*A(x)^(p/r)}^r, where p = 8, r = 2.
a(n) = 2*binomial(8n+1,n-1)/n for n>0, a(0)=1. [Bruno Berselli, Jan 19 2014]
A(x^3) = 1/x * series reversion (x/C(x^3)^2), where C(x) = (1 - sqrt(1 - 4*x))/(2*x) is the o.g.f. for the Catalan numbers A000108. A(x)^(1/2) is the o.g.f. for A007556. - Peter Bala, Oct 14 2015

A234463 Binomial(8*n+4,n)/(2*n+1).

Original entry on oeis.org

1, 4, 38, 468, 6545, 98728, 1566040, 25747128, 434824104, 7498246100, 131477423220, 2337053822012, 42016842044268, 762702138530080, 13959382918289880, 257323577200329904, 4773171937236245400, 89028543731246186400, 1668706597425638149302
Offset: 0

Views

Author

Tim Fulford, Dec 26 2013

Keywords

Comments

Fuss-Catalan sequence is a(n,p,r) = r*binomial(np+r,n)/(np+r), this is the case p=8, r=4.

Crossrefs

Programs

  • Magma
    [Binomial(8*n+4, n)/(2*n+1): n in [0..30]]; // Vincenzo Librandi, Dec 26 2013
  • Mathematica
    Table[Binomial[8 n + 4, n]/(2 n + 1), {n, 0, 40}] (* Vincenzo Librandi, Dec 26 2013 *)
  • PARI
    a(n) = binomial(8*n+4,n)/(2*n+1);
    
  • PARI
    {a(n)=local(B=1); for(i=0, n, B=(1+x*B^2)^4+x*O(x^n)); polcoeff(B, n)}
    

Formula

G.f. satisfies: B(x) = {1 + x*B(x)^(p/r)}^r, where p=8, r=4.

A234462 a(n) = 3*binomial(8*n+3,n)/(8*n+3).

Original entry on oeis.org

1, 3, 27, 325, 4488, 67158, 1059380, 17346582, 292046040, 5023824887, 87915626370, 1560176040519, 28011228029512, 507874087572600, 9286024289123268, 171026036066072924, 3169969149156895800, 59085490354010508600, 1106795192170066119435
Offset: 0

Views

Author

Tim Fulford, Dec 26 2013

Keywords

Comments

Fuss-Catalan sequence is a(n,p,r) = r*binomial(n*p + r, n)/(n*p + r), this is the case p = 8, r = 3.

Crossrefs

Programs

  • Magma
    [3*Binomial(8*n+3, n)/(8*n+3): n in [0..30]]; // Vincenzo Librandi, Dec 26 2013
  • Mathematica
    Table[3 Binomial[8 n + 3, n]/(8 n + 3), {n, 0, 40}] (* Vincenzo Librandi, Dec 26 2013 *)
  • PARI
    a(n) = 3/(8*n+3)*binomial(8*n+3,n);
    
  • PARI
    {a(n)=local(B=1); for(i=0, n, B=(1+x*B^(8/3))^3+x*O(x^n)); polcoeff(B, n)}
    

Formula

G.f. satisfies: A(x) = {1 + x*A(x)^(p/r)}^r, where p = 8, r = 3.
A(x^2) = 1/x * series reversion (x/C(x^2)^3), where C(x) = (1 - sqrt(1 - 4*x))/(2*x) is the o.g.f. for the Catalan numbers A000108. A(x)^(1/3) is the o.g.f. for A007556. - Peter Bala, Oct 14 2015

A230390 5*binomial(8*n+10,n)/(4*n+5).

Original entry on oeis.org

1, 10, 125, 1760, 26650, 423752, 6978510, 117998400, 2036685765, 35738059500, 635627275767, 11433154297760, 207621482341000, 3801296492623560, 70092637731997100, 1300500163756675200, 24262157874835233000, 454847339247972377850, 8564398318045559667475
Offset: 0

Views

Author

Tim Fulford, Dec 28 2013

Keywords

Comments

Fuss-Catalan sequence is a(n,p,r) = r*binomial(np+r,n)/(np+r), this is the case p=8, r=10.

Crossrefs

Programs

  • Magma
    [5*Binomial(8*n+10, n)/(4*n+5): n in [0..30]];
  • Mathematica
    Table[5 Binomial[8 n + 10, n]/(4 n + 5), {n, 0, 30}]
  • PARI
    a(n) = 5*binomial(8*n+10,n)/(4*n+5);
    
  • PARI
    {a(n)=local(B=1); for(i=0, n, B=(1+x*B^(4/5))^10+x*O(x^n)); polcoeff(B, n)}
    

Formula

G.f. satisfies: B(x) = {1 + x*B(x)^(p/r)}^r, where p=8, r=10.

A386396 a(0) = 1; a(n) = Sum_{k=0..floor((n-1)/7)} a(7*k) * a(n-1-7*k).

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 4, 5, 6, 7, 8, 17, 27, 38, 50, 63, 77, 92, 200, 325, 468, 630, 812, 1015, 1240, 2728, 4488, 6545, 8925, 11655, 14763, 18278, 40508, 67158, 98728, 135751, 178794, 228459, 285384, 635628, 1059380, 1566040, 2165800, 2869685, 3689595, 4638348
Offset: 0

Views

Author

Seiichi Manyama, Jul 20 2025

Keywords

Crossrefs

Programs

  • PARI
    apr(n, p, r) = r*binomial(n*p+r, n)/(n*p+r);
    a(n) = apr(n\7, 8, n%7+1);

Formula

For k=0..6, a(7*n+k) = (k+1) * binomial(8*n+k+1,n)/(8*n+k+1).
G.f. A(x) satisfies A(x) = 1/(1 - x * Product_{k=0..6} A(w^k*x)), where w = exp(2*Pi*i/7).
Showing 1-9 of 9 results.