OFFSET
0,3
COMMENTS
Theta series is an element of the space of modular forms on Gamma_0(9) of weight 10 and dimension 11 over the integers.
REFERENCES
J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups, Chap. 6.
LINKS
Andy Huchala, Table of n, a(n) for n = 0..20000
G. Nebe and N. J. A. Sloane, Home page for this lattice.
EXAMPLE
G.f. = 1 + 15390*q^4 + 575160*q^6 + ...
PROG
(Magma)
prec := 40;
ls := [4, 2, 4, 0, -2, 4, 0, -2, 0, 4, 0, 0, -2, 0, 4, -2, -2, 0, 0, 0, 4, -2, -1, 1, 0, 0, 0, 4, -2, -1, 0, -1, 1, 2, 2, 4, -2, -2, 0, 1, 1, 2, 2, 2, 4, -2, 0, -2, 0, 1, 1, 0, 0, 0, 4, 1, 1, 0, 0, 0, -2, 0, -1, -1, -2, 4, -2, -1, 0, 0, 0, 1, 1, 1, 1, 1, -2, 4, 0, -1, 1, 1, 0, -1, 1, 0, 0, -1, 1, -1, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 4, 0, -1, 0, 0, 1, 1, 0, 1, 1, -1, 0, 0, 1, -1, 4, 0, 0, 1, 0, -1, 0, 1, 0, 0, 0, -1, 0, 0, 1, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 1, 0, 1, 4, 1, 0, -1, 1, 1, 0, -1, -1, 0, 0, 0, 0, 0, 0, 1, -1, 0, 1, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 1, 1, 0, 1, 0, 4];
S := SymmetricMatrix(ls);
L := LatticeWithGram(S);
M := ThetaSeriesModularFormSpace(L);
B := Basis(M, prec);
coeffs := [1, 0, 15390, 575160, 7712820, 57281580, 296150580, 1184012640, 3944197800, 11364334080, 29395745478];
Coefficients(&+[coeffs[i]*B[i] :i in [1..11]]);
CROSSREFS
KEYWORD
nonn
AUTHOR
Andy Huchala, May 08 2023
STATUS
approved