https://medium.com/@monocosmo77/how-horocycles-are-used-in-the-hyperbolic-geometry-domain-part1-9658506a9077
