From 9d41cef9fbff5d0d0da90f3fe1f7dd24ac946950 Mon Sep 17 00:00:00 2001 From: Matthias Goerner <1239022+unhyperbolic@users.noreply.github.com> Date: Wed, 7 Feb 2024 10:14:55 -0800 Subject: [PATCH] Fixing verified distance computation (that was not yet exercised and failed) and adding commment to python tiling code. --- python/geometric_structure/geodesic/tiles_for_geodesic.py | 2 +- python/hyperboloid/distances.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/python/geometric_structure/geodesic/tiles_for_geodesic.py b/python/geometric_structure/geodesic/tiles_for_geodesic.py index 99405af88..d963dd029 100644 --- a/python/geometric_structure/geodesic/tiles_for_geodesic.py +++ b/python/geometric_structure/geodesic/tiles_for_geodesic.py @@ -20,7 +20,7 @@ def compute_tiles_for_geodesic(mcomplex : Mcomplex, geometric structure and a suitable GeodesicInfo object. To add the necessary geometric structure to a triangulation, call - add_r13_geometry and . + add_r13_geometry and add_r13_planes_to_tetrahedra. The GeodesicInfo object needs to be constructed with a line and GeodesicInfo.find_tet_or_core_curve be called on it. diff --git a/python/hyperboloid/distances.py b/python/hyperboloid/distances.py index 79b3ba672..5da57daad 100644 --- a/python/hyperboloid/distances.py +++ b/python/hyperboloid/distances.py @@ -192,7 +192,7 @@ def _safe_log_non_neg(p): def _safe_arccosh(p): if is_RealIntervalFieldElement(p): RIF = p.parent() - p = pintersection(RIF(1, sage.all.Infinity)) + p = p.intersection(RIF(1, sage.all.Infinity)) else: if p < 0: RF = p.parent()