cp's OEIS Frontend

A213091 G.f. satisfies: A(x) = 1 + x/A(-x*A(x)^2).

%I A213091 #15 Nov 01 2019 18:36:39
%S A213091 1,1,1,2,4,11,31,98,317,1070,3685,12928,45924,164552,593398,2148288,
%T A213091 7796846,28328601,102948125,373955584,1357252616,4921292287,
%U A213091 17828236695,64546901169,233660589210,846258569786,3068523234989,11147449003438,40600425590874,148330067463010
%N A213091 G.f. satisfies: A(x) = 1 + x/A(-x*A(x)^2).
%C A213091 Compare definition of g.f. to:
%C A213091 (1) B(x) = 1 + x/B(-x*B(x)) when B(x) = 1/(1-x).
%C A213091 (2) C(x) = 1 + x/C(-x*C(x)^3)^2 when C(x) = 1 + x*C(x)^2 is the g.f. of the Catalan numbers (A000108).
%C A213091 (3) D(x) = 1 + x/D(-x*D(x)^5)^3 when D(x) = 1 + x*D(x)^3 is the g.f. of the ternary tree numbers (A001764).
%C A213091 The first negative term is a(80). - _Georg Fischer_, Feb 16 2019
%H A213091 Paul D. Hanna, <a href="/A213091/b213091.txt">Table of n, a(n) for n = 0..300</a>
%e A213091 G.f.: A(x) = 1 + x + x^2 + 2*x^3 + 4*x^4 + 11*x^5 + 31*x^6 + 98*x^7 +...
%e A213091 Related expansions:
%e A213091 A(x)^2 = 1 + 2*x + 3*x^2 + 6*x^3 + 13*x^4 + 34*x^5 + 96*x^6 + 296*x^7 +...
%e A213091 A(-x*A(x)^2) = 1 - x - x^2 - x^3 - 4*x^4 - 10*x^5 - 34*x^6 - 107*x^7 -...
%t A213091 nmax = 29; sol = {a[0] -> 1};
%t A213091 Do[A[x_] = Sum[a[k] x^k, {k, 0, n}] /. sol; eq = CoefficientList[A[x] - (1 + x/A[(-x) A[x]^2]) + O[x]^(n + 1), x] == 0 /. sol; sol = sol ~Join~ Solve[eq][[1]], {n, 1, nmax}];
%t A213091 sol /. Rule -> Set;
%t A213091 a /@ Range[0, nmax] (* _Jean-François Alcover_, Nov 01 2019 *)
%o A213091 (PARI) {a(n)=local(A=1+x+x*O(x^n));for(i=1,n,A=1+x/subst(A,x,-x*subst(A^2,x,x+x*O(x^n))) );polcoeff(A,n)}
%o A213091 for(n=0,30,print1(a(n),", "))
%Y A213091 Cf. A000108, A001764, A213092, A213093, A213094, A213095, A213096.
%K A213091 sign
%O A213091 0,4
%A A213091 _Paul D. Hanna_, Jun 05 2012