--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/manifold.rs	Fri Oct 18 13:47:28 2024 -0500
@@ -0,0 +1,12 @@
+
+/// A point on a manifold
+pub trait ManifoldPoint : Clone + PartialEq {
+    // Type of tangent factors
+    type Tangent;
+
+    /// Exponential map
+    fn exp(&self, tangent : &Self::Tangent) -> Self;
+
+    /// Logarithmic map
+    fn log(&self, other : &Self) -> Self::Tangent;
+}