OFFSET
-1,2
COMMENTS
LINKS
G. C. Greubel, Table of n, a(n) for n = -1..1000
Masao Koike, Modular forms on non-compact arithmetic triangle groups, Unpublished manuscript [Extensively annotated with OEIS A-numbers by N. J. A. Sloane, Feb 14 2021. I wrote 2005 on the first page but the internal evidence suggests 1997.]
FORMULA
Expansion of 27 + (eta(q) / eta(q^3))^12 in powers of q. - Michael Somos, Nov 08 2011
Expansion of 27 * (a(q) / c(q))^3 in powers of q where a(q), c(q) are cubic AGM theta functions. - Michael Somos, Nov 08 2011
Convolution cube of A058091. Note psi_0 = a(q), psi_1 = c(q) where q = exp(2 Pi i tau). - Michael Somos, Nov 08 2011
Let psi_0 = theta_2(2*tau)*theta_2(6*tau) + theta_3(2*tau)*theta_3(6*tau),
psi_1 = (psi_0(tau/3) - psi_0(tau))/2;
then t_{3B} = 27(psi_0/psi_1)^3.
EXAMPLE
1/q + 15 + 54*q - 76*q^2 - 243*q^3 + 1188*q^4 - 1384*q^5 - 2916*q^6 + 11934*q^7 - 11580*q^8 - 21870*q^9 + 79704*q^10 - 71022*q^11 - 123444*q^12 + 421308*q^13 - 352544*q^14 - 581013*q^15 + O(q^16)
MATHEMATICA
a[ n_] := With[{m = n + 1}, SeriesCoefficient[ 27 q + (Product[ 1 - q^k, {k, m}] / Product[ 1 - q^k, {k, 3, m, 3}])^12, {q, 0, m}]]; (* Michael Somos, Nov 08 2011 *)
QP = QPochhammer; s = 27q+(QP[q]/QP[q^3])^12+O[q]^40; CoefficientList[s, q] (* Jean-François Alcover, Nov 16 2015, adapted from PARI *)
PROG
(PARI) {a(n) = local(A); if( n<-1, 0, n++; A = x * O(x^n); polcoeff( 27*x + (eta(x + A) / eta(x^3 + A))^12, n))}; /* Michael Somos, Nov 08 2011 */
CROSSREFS
KEYWORD
sign
AUTHOR
N. J. A. Sloane, Oct 31 2011
STATUS
approved