We motivate and explain the system introduced by Conway and Sloane for working with quadratic forms over the 2-adic integers, and prove its validity. Their system is far better for actual calculations than earlier methods, and has been used for many years, but no proof has been published before now.
Cite this article
Daniel Allcock, Itamar Gal, Alice Mark, The Conway–Sloane calculus for 2-adic lattices. Enseign. Math. 66 (2020), no. 1/2, pp. 5–31DOI 10.4171/LEM/66-1/2-2