Fixing verified distance computation (that was not yet exercised and …

…failed) and adding commment to python tiling code.
3-manifolds · Feb 7, 2024 · 9d41cef · 9d41cef
1 parent 82d819b
commit 9d41cef
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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()