Poisson summation formula for a Euclidean lattice (source code)

= Poisson summation formula for a Euclidean lattice
{c}

For a Schwartz function under the convention $\widehat f(y)=\int_{\mathbb R^n}f(x)e^{-2\pi i\langle x,y\rangle},dx$,
$$
\sum_{\lambda\in\Lambda}f(\lambda)
=m(\Lambda)^{-1}\sum_{\mu\in\Lambda^\vee}\widehat f(\mu).
$$