Nystedt, L. Automatic Computation of Hyperbolic Lattices. IHR 2018.