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.
%I A179330 #5 May 11 2014 04:46:32 %S A179330 0,2,-6,42,-468,7080,-133128,2938824,-73169568,1997384832, %T A179330 -58814501760,1868053207680,-65311214042880,2585560450337280, %U A179330 -115344597684718080,5424254194395456000,-244310147229735014400,10256126830544041574400 %N A179330 E.g.f. satisfies: A(x) = (1+x)/(1+3*x) * A(x*(1+x)^2). %F A179330 E.g.f. A=A(x) satisfies: %F A179330 . (1+x)^2 = 1 + A + A*Dx(A)/2! + A*Dx(A*Dx(A))/3! + A*Dx(A*Dx(A*Dx(A)))/4! +... %F A179330 . (1+x)^2*(1+x*(1+x)^2)^2 = 1 + 2*A + 2^2*A*Dx(A)/2! + 2^3*A*Dx(A*Dx(A))/3! + 2^4*A*Dx(A*Dx(A*Dx(A)))/4! +... %F A179330 . G001764(-x)^2 = 1 - A + A*Dx(A)/2! - A*Dx(A*Dx(A))/3! + A*Dx(A*Dx(A*Dx(A)))/4! -+...; G001764(x) = g.f. of A001764; %F A179330 where Dx(F) = d/dx(x*F). %F A179330 INVERSION FORMULA: %F A179330 More generally, if A(x) = A(G(x)) * G(x)/(x*G'(x)) with G(0)=0, G'(0)=1, %F A179330 then G(x) can be obtained from A=A(x) by the series: %F A179330 . G(x)/x = 1 + A + A*Dx(A)/2! + A*Dx(A*Dx(A))/3! + A*Dx(A*Dx(A*Dx(A)))/4! +... where Dx(F) = d/dx(x*F). %F A179330 ITERATION FORMULA: %F A179330 Let G_n(x) denote the n-th iteration of G(x) = x*(1+x)^2, and A=A(x), then: %F A179330 . A(x) = A(G_n(x)) * G_n(x)/(x*G_n'(x)) for all n; %F A179330 . G_n(x)/x = 1 + n*A + n^2*A*Dx(A)/2! + n^3*A*Dx(A*Dx(A))/3! + n^4*A*Dx(A*Dx(A*Dx(A)))/4! +... where Dx(F) = d/dx(x*F). %F A179330 ... %F A179330 MATRIX LOG OF RIORDAN ARRAY (G(x)/x, G(x)) where G(x) = x*(1+x)^2: %F A179330 . k*A(x) = e.g.f. of column k of the matrix log of triangle A116088 for k>=0. %e A179330 E.g.f.: A(x) = 2*x - 6*x^2/2! + 42*x^3/3! - 468*x^4/4! + 7080*x^5/5! - 133128*x^6/6! + 2938824*x^7/7! - 73169568*x^8/8! + 1997384832*x^9/9! - 58814501760*x^10/10! + 1868053207680*x^11/11! - 65311214042880*x^12/12! +... %e A179330 ... %e A179330 A(x*(1+x)^2) = 2*x + 2*x^2/2! - 18*x^3/3! + 108*x^4/4! - 480*x^5/5! - 2808*x^6/6! + 162792*x^7/7! - 3940128*x^8/8! + 57267648*x^9/9! + 534366720*x^10/10! - 78703384320*x^11/11! + 2883142045440*x^12/12! +... %e A179330 ... %e A179330 where A(x*(1+x)^2) = (1+3*x)/(1+x) * A(x). %e A179330 ... %e A179330 Related expansions begin: %e A179330 . A = 2*x - 6*x^2/2! + 42*x^3/3! - 468*x^4/4! + 7080*x^5/5! +... %e A179330 . A*Dx(A)/2! = 8*x^2/2! - 90*x^3/3! + 1332*x^4/4! - 25200*x^5/5! +... %e A179330 . A*Dx(A*Dx(A))/3! = 48*x^3/3! - 1248*x^4/4! + 32760*x^5/5! -+... %e A179330 . A*Dx(A*Dx(A*Dx(A)))/4! = 384*x^4/4! - 18480*x^5/5! + 770400*x^6/6! -+... %e A179330 . A*Dx(A*Dx(A*Dx(A*Dx(A))))/5! = 3840*x^5/5! - 300672*x^6/6! +-... %e A179330 ... %e A179330 Sums of which generate the square of the g.f. of A001764: %e A179330 . G001764(-x)^2 = 1 - A + A*Dx(A)/2! - A*Dx(A*Dx(A))/3! + A*Dx(A*Dx(A*Dx(A)))/4! -+... %e A179330 . G001764(-x)^2 = 1 - 2*x + 7*x^2 - 30*x^3 + 143*x^4 - 728*x^5 +...+ A006013(n)*(-x)^n +... %e A179330 ... %e A179330 The Riordan array ((1+x)^2, x*(1+x)^2) (cf. A116088) begins: %e A179330 1; %e A179330 2, 1; %e A179330 1, 4, 1; %e A179330 0, 6, 6, 1; %e A179330 0, 4, 15, 8, 1; %e A179330 0, 1, 20, 28, 10, 1; %e A179330 0, 0, 15, 56, 45, 12, 1; ... %e A179330 The matrix log of Riordan array ((1+x)^2, x*(1+x)^2) begins: %e A179330 0; %e A179330 2, 0; %e A179330 -6/2!, 4, 0; %e A179330 42/3!, -12/2!, 6, 0; %e A179330 -468/4!, 84/3!, -18/2!, 8, 0; %e A179330 7080/5!, -936/4!, 126/3!, -24/2!, 10, 0; %e A179330 -133128/6!, 14160/5!, -1404/4!, 168/3!, -30/2!, 12, 0; ... %e A179330 where the g.f. of the leftmost column equals the e.g.f. of this sequence. %o A179330 (PARI) /* E.g.f. satisfies: A(x) = (1+x)/(1+3*x)*A(x*(1+x)^2): */ %o A179330 {a(n)=local(A=2*x, B); for(m=2, n, B=(1+x)/(1+3*x+O(x^(n+3)))*subst(A,x,x*(1+x)^2+O(x^(n+3))); A=A-polcoeff(B, m+1)*x^m/(m-1)/2); n!*polcoeff(A, n)} %o A179330 (PARI) /* (1+x)^2 = 1 + A + A*Dx(A)/2! + A*Dx(A*Dx(A))/3! +...: */ %o A179330 {a(n)=local(A=0+sum(m=1,n-1,a(m)*x^m/m!),D=1,R=0);R=-((1+x)^2+x*O(x^n))+1+sum(m=1,n,(D=A*deriv(x*D+x*O(x^n)))/m!);-n!*polcoeff(R,n)} %o A179330 (PARI) /* First column of the matrix log of triangle A116088: */ %o A179330 {a(n)=local(M=matrix(n+1, n+1, r, c, if(r>=c, polcoeff(((1+x)^2+x*O(x^n))^c,r-c))), LOG, ID=M^0); LOG=sum(m=1, n+1, -(ID-M)^m/m); n!*LOG[n+1, 1]} %Y A179330 Cf. A179331, variants: A179320, A179420. %K A179330 sign %O A179330 0,2 %A A179330 _Paul D. Hanna_, Jul 21 2010