I am working on visualising a polygon in a hyperbolic space using a HyperbolicRegularPolygon class in SageMath, which constructs regular polygons in the hyperbolic plane. The construction algorithm involves several steps:
Algorithm: URL
- Compute the rotation angle
betaand other initial variables. - Calculate the radius
rof the circumscribed circle using the cosine theorem. - Find the initial point
z_0on the imaginary axis. - Determine the scale and displacement needed to move the center of the polygon to the imaginary part of the given center.
- Compute the vertices of the polygon in the given center (
d_z_k), vertices withRe(z) > 0(z_k), and vertices withRe(z) < 0(r_z_k). - Initialize the
HyperbolicPolygonobject with the computed vertices and options.
Questions
I have two questions regarding this construction:
What's
I*(e**r).n(digits=8)at L132 doing?I'm thinking to scale this to construct a quadrilateral given four (possibly different) angles in a form of $\pi / k$ for $k \in \mathbb{Z}$. Are there any academic or authoritative references that describe this construction algorithm for hyperbolic regular polygons?
I would appreciate any insights or references on this topic. Thank you.