OFFSET
0,3
LINKS
Paul D. Hanna, Table of n, a(n) for n = 0..200
FORMULA
Given g.f. A(x) then
(1) 1/(1-x) = 1/(1 - q*x/(A(x) - q*(q^2-1)*x/(1 - q^5*x/(A(x) - q^3*(q^4-1)*x/(1 - q^9*x/(A(x) - q^5*(q^6-1)*x/(1 - q^13*x/(A(x) - q^7*(q^8-1)*x/(1 - ...))))))))), where q = (1+x), a continued fraction due to a partial elliptic theta function identity.
(2) 1/(1-x) = Sum_{n>=0} x^n/A(x)^n * (1+x)^n * Product_{k=1..n} (A(x) - x*(1+x)^(4*k-3)) / (A(x) - x*(1+x)^(4*k-1)), due to a q-series identity.
EXAMPLE
G.f.: A(x) = 1 + x + 2*x^2 + 5*x^3 + 14*x^4 + 50*x^5 + 200*x^6 + 919*x^7 + 4633*x^8 + 25361*x^9 + 148606*x^10 + 923394*x^11 + 6043996*x^12 + ...
such that
1/(1-x) = 1 + (1+x)*x/A(x) + (1+x)^4*x^2/A(x)^2 + (1+x)^9*x^3/A(x)^3 + (1+x)^16*x^4/A(x)^4 + (1+x)^25*x^5/A(x)^5 + (1+x)^36*x^6/A(x)^6 + ...
PROG
(PARI) {a(n) = my(A=[1]); for(i=1, n, A = concat(A, 0); A[#A] = -1 + Vec(sum(n=0, #A, ((1+x)^n +x*O(x^#A))^n * x^n/Ser(A)^n ) )[#A+1] ); A[n+1]}
for(n=0, 30, print1(a(n), ", "))
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Oct 25 2018
STATUS
approved