Three-dimensional Gaussian lattice

The product of three half-integer lattice Gaussians is summable.

def ESS.buShortIntTripleEquiv : (Fin 3 → ℤ) ≃ ℤ × ℤ × ℤ

The three spatial grid coordinates as an integer triple.

Equations

• One or more equations did not get rendered due to their size.