--- a/src/manifold.rs	Fri Oct 18 19:52:06 2024 -0500
+++ b/src/manifold.rs	Sat Oct 19 10:46:13 2024 -0500
@@ -1,3 +1,5 @@
+
+use alg_tools::euclidean::Euclidean;
 
 /// A point on a manifold
 pub trait ManifoldPoint : Clone + PartialEq {
@@ -9,4 +11,8 @@
 
     /// Logarithmic map
     fn log(&self, other : &Self) -> Self::Tangent;
+
+    /// Distance to `other`
+    fn dist_to(&self, other : &Self) -> f64;
 }
+