Hyperbolic metric (source code)

= Hyperbolic metric

A hyperbolic metric is a complete Riemannian metric of constant sectional curvature $-1$. On a surface it supplies local charts modeled on the <hyperbolic plane>.