Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Trac #32891: fix a failing hyperbolic model doctest.
Browse files Browse the repository at this point in the history
One of the tests in sage.geometry.hyperbolic_space.hyperbolic_model
is testing the wrong property (or the right property of the wrong
model). In the Poincare Disk (PD) model, we should be testing that
the endpoints of a geodesic lie in the unit disk, rather than in
the upper half-plane.
  • Loading branch information
orlitzky committed Dec 29, 2021
1 parent c5af195 commit eddded5
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/sage/geometry/hyperbolic_space/hyperbolic_model.py
Expand Up @@ -564,8 +564,9 @@ def random_geodesic(self, **kwargs):
EXAMPLES::
sage: h = HyperbolicPlane().PD().random_geodesic()
sage: bool((h.endpoints()[0].coordinates()).imag() >= 0)
sage: all( e.coordinates().abs() <= 1 for e in h.endpoints() )
True
"""
R = self.realization_of().a_realization()
g_ends = [R.random_point(**kwargs) for k in range(2)]
Expand Down

0 comments on commit eddded5

Please sign in to comment.