|
%I #12 Jan 24 2024 10:08:52
%S 1,1,1,2,4,7,12,21,38,68,120,212,377,670,1188,2107,3740,6638,11778,
%T 20898,37084,65808,116775,207212,367696,652478,1157815,2054524,
%U 3645730,6469316,11479734,20370656,36147506,64143372,113821732,201975429,358403220,635982680,1128544452,2002589998
%N Expansion of 1/(2 - Product_{k>=1} (1 + x^(2*k-1))).
%C Invert transform of A000700.
%H Alois P. Heinz, <a href="/A307058/b307058.txt">Table of n, a(n) for n = 0..2000</a>
%F a(0) = 1; a(n) = Sum_{k=1..n} A000700(k)*a(n-k).
%F From _G. C. Greubel_, Jan 24 2024: (Start)
%F G.f.: (1+x)/(2*(1+x) - x*QPochhammer(-1/x; x^2)).
%F G.f.: 1/( 2 - x^(1/24)*etx(x^2)^2/(eta(x^4)*eta(x)) ), where eta(x) is the Dedekind eta function. (End)
%p g:= proc(n) option remember; `if`(n=0, 1, add(add([0, d, -d, d]
%p [1+irem(d, 4)], d=numtheory[divisors](j))*g(n-j), j=1..n)/n)
%p end:
%p a:= proc(n) option remember; `if`(n=0, 1,
%p add(a(n-i)*g(i), i=1..n))
%p end:
%p seq(a(n), n=0..39); # _Alois P. Heinz_, Feb 09 2021
%t nmax = 39; CoefficientList[Series[1/(2 - Product[(1 + x^(2 k - 1)), {k, 1, nmax}]), {x, 0, nmax}], x]
%o (Magma)
%o m:=80;
%o R<x>:=PowerSeriesRing(Integers(), m);
%o Coefficients(R!( 1/(2 - (&*[1 + x^(2*j-1): j in [1..m+2]])) )); // _G. C. Greubel_, Jan 24 2024
%o (SageMath)
%o m=80;
%o def f(x): return 1/(2 - product(1+x^(2*j-1) for j in range(1,m+3)))
%o def A307058_list(prec):
%o P.<x> = PowerSeriesRing(QQ, prec)
%o return P( f(x) ).list()
%o A307058_list(m) # _G. C. Greubel_, Jan 24 2024
%Y Cf. A000700, A055887, A302017, A304969, A307059.
%Y Row sums of A341279.
%K nonn
%O 0,4
%A _Ilya Gutkovskiy_, Mar 21 2019
|
