Nystedt, L. Automatic Computation of Hyperbolic Lattices: Phase-Velocity Corrections. IHR 2018.