Implementation of two conformal models of hyperbolic geometry (half plane, disc) and actions of their isometry groups.

The actual file is almost complete for working with the hyperbolic plane as the following will plot a hyperbolic triangle

sage: HH
Hyperbolic half plane
sage: HH(0)
Boundary point 0
sage: p = HH.polygon([CC(0), CC(1), CC(2,2)])
sage: p.plot(face_color='red').show(aspect_ratio=1)

There are more examples in the file.

Apply:

• attachment: trac_9439-hyperbolic_geometry.patch
• attachment: trac_9439-hyperbolic_geometry_review_fc.patch

CC: @kcrisman @pjbruin

Component: geometry

Keywords: hyperbolic geometry, Poincare disc, upper half plane, Beltrami-Klein, hyperboloid model, sd35, days64

Author: Vincent Delecroix, Martin Raum, Greg Laun, Travis Scrimshaw

Branch: 82cf89e

Reviewer: Johan Bosman, Travis Scrimshaw, Greg Laun, Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/9439