where W(X, Y) = (X3Y4 + 1)(X5Y2 + X5Y + 2X4Y + 2X3Y + 2X2Y + 2XY + Y + 1) = X8Y12 + X8Y8 + 2X7Y8 + 2X6Y8 + 3X5Y8 + 2X4Y8 + X3Y8 + X5Y4 + 2X4Y4 + 3X3Y4 + 2X2Y4 + 2XY4 + Y4 + 1. Note that the factors in the [...] 1, 1, 0, 0, 1, 1, 0) 8 (1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0) 8 (1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0) 8 (1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0) 8 (1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0) 8 (1, 0, 1, 1, 0, 1, 1, [...] function sslg is multiplicative. The lattice E8 satisfies sslE8 = sslgE8 and is an important special case of the general result. We provide the Dirichlet series for E8 and show that it satisfies a local functional …