OFFSET
0,3
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..1000
FORMULA
G.f.: A(x) = B(x)/(1 +x -x*B(x) ) where B(x) is the g.f. of A122446.
G.f. satisfies: A(x) = 1 + x*(1-2*x-2*x^2)*A(x) + x^2*(4+3*x)*A(x)^2.
G.f.: A(x) = 2/(1 -x +2*x^2 +2*x^3 + (1+x)*sqrt(1 -4*x -4*x^2 +4*x^4)).
D-finite with recurrence 4*(n+2)*a(n) +(-9*n-2)*a(n-1) +(-41*n+34)*a(n-2) +2*(-20*n+39)*a(n-3) +4*(n-7)*a(n-4) +4*(7*n-36)*a(n-5) +12*(n-6)*a(n-6)=0. - R. J. Mathar, Feb 06 2025
MATHEMATICA
f[x_]:= Sqrt[1-4*x-4*x^2+4*x^4];
CoefficientList[Series[2/(1-x+2*x^2+2*x^3 +(1+x)*f[x]), {x, 0, 30}], x] (* G. C. Greubel, Mar 17 2021 *)
PROG
(PARI) {a(n) =polcoeff(2/(1-x+2*x^2+2*x^3 +(1+x)*sqrt(1-4*x-4*x^2+4*x^4 +x*O(x^n) )), n)}
(Sage)
def f(x): return sqrt(1-4*x-4*x^2+4*x^4)
def A122447_list(prec):
P.<x> = PowerSeriesRing(QQ, prec)
return P( 2/(1-x+2*x^2+2*x^3 +(1+x)*f(x)) ).list()
A122447_list(30) # G. C. Greubel, Mar 17 2021
(Magma)
R<x>:=PowerSeriesRing(Rationals(), 30);
f:= func< x | Sqrt(1-4*x-4*x^2+4*x^4) >;
Coefficients(R!( 2/(1-x+2*x^2+2*x^3 +(1+x)*f(x)) )); // G. C. Greubel, Mar 17 2021
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Sep 07 2006
STATUS
approved