OFFSET
0,3
COMMENTS
Theta series is an element of the space of modular forms on Gamma_0(12) of weight 8 and dimension 17 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 + 2772*q^4 + 42624*q^6 + ...
PROG
(Magma)
prec := 40;
S := SymmetricMatrix([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, 1, 0, 1, -1, 1, -1, 1, 4, 0, 0, 0, 0, -1, 1, -1, 0, 0, 0, -1, 0, 0, -1, 4, -1, 0, 0, -1, 0, 0, 0, 0, 0, 1, -1, 1, 0, 0, -1, 4]);
L := LatticeWithGram(S);
T<q> := ThetaSeries(L, 32);
M := ThetaSeriesModularFormSpace(L);
B := Basis(M, prec);
Coefficients(&+[Coefficients(T)[2*i-1]*B[i] : i in [1..17]]);
CROSSREFS
KEYWORD
nonn
AUTHOR
Andy Huchala, May 07 2023
STATUS
approved
