OFFSET
0,2
REFERENCES
N. J. Fine, Basic Hypergeometric Series and Applications, Amer. Math. Soc., 1988; p. 84, Eq. (32.65).
FORMULA
Expansion of eta(q)^3 * eta(q^2)^3 / (eta(q^3) * eta(q^6)) in powers of q.
Euler transform of period 6 sequence [ -3, -6, -2, -6, -3, -4, ...].
a(n) = -3 * b(n) where b() is multiplicative with b(2^e) = 1, b(3^e) = 4 - 3^(e+1), b(p^e) = (p^(e+1) - 1) / (p - 1) if p>3. - Michael Somos, Nov 21 2013
G.f. is a period 1 Fourier series which satisfies f(-1 / (6 t)) = 54 (t/i)^2 g(t) where q = exp(2 Pi i t) and g() is the g.f. for A121443.
G.f.: Product_{k>0} ((1 - x^k) * (1 - x^(2*k)))^3 / ((1 - x^(3*k)) * (1 - x^(6*k))).
G.f.: 1 - 3 * (Sum_{k>0} (6*k - 1) * x^(6*k - 1) / (1 - x^(6*k - 1)) - 2*(6*k - 5) * x^(6*k - 3) / (1 - x^(6*k - 3)) + (6*k - 5) * x^(6*k - 5) / (1 -x^(6*k - 5))).
a(n) = a(2*n). a(n) = -3 * A131944(n) unless n=0. a(3^n) = 3 * A168611(n+1). a(2*n + 1) = -3 * A134077(n). - Michael Somos, Nov 21 2013
EXAMPLE
G.f. = 1 - 3*q - 3*q^2 + 15*q^3 - 3*q^4 - 18*q^5 + 15*q^6 - 24*q^7 - 3*q^8 +...
MATHEMATICA
a[ n_] := SeriesCoefficient[ QPochhammer[ q]^3 QPochhammer[ q^2]^3 / (QPochhammer[ q^3] QPochhammer[ q^6]), {q, 0, n}]; (* Michael Somos, Nov 21 2013 *)
a[ n_] := If[ n < 1, Boole[n == 0], -3 Sum[ d {0, 1, 0, -2, 0, 1}[[ Mod[ d, 6] + 1]], {d, Divisors @ n}]]; (* Michael Somos, Nov 11 2015 *)
PROG
(PARI) {a(n) = if( n<1, n==0, -3 * sumdiv(n, d, d * ((d%6==1) + (d%6==5) - 2 * (d%6==3))))};
(PARI) {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( (eta(x + A) * eta(x^2 + A))^3 / (eta(x^3 + A) * eta(x^6 + A)), n))};
(PARI) {a(n) = my(A, p, e); if( n<1, n==0, A = factor(n); -3 * prod( k=1, matsize(A)[1], [p, e] = A[k, ]; if( p==2, 1, p==3, 4 - 3^(e+1), (p^(e+1) - 1) / (p - 1) )))}; /* Michael Somos, Nov 21 2013 */
(Magma) A := Basis( ModularForms( Gamma0(6), 2), 54); A[1] - 3*A[2] - 3*A[3]; /* Michael Somos, Aug 30 2014 */
(Sage) A = ModularForms( Gamma0(6), 2, prec=54) . basis(); A[0] - 3*A[1] - 3*A[2]; # Michael Somos, Nov 21 2013
CROSSREFS
KEYWORD
sign
AUTHOR
Michael Somos, Jul 30 2007
STATUS
approved