src/manifold.rs

changeset 3
ff4656da04af
parent 0
989e2fe08db2
child 5
f248e1434c3b
--- a/src/manifold.rs	Fri Oct 18 13:51:51 2024 -0500
+++ b/src/manifold.rs	Fri Oct 18 14:22:45 2024 -0500
@@ -2,7 +2,7 @@
 /// A point on a manifold
 pub trait ManifoldPoint : Clone + PartialEq {
     // Type of tangent factors
-    type Tangent;
+    type Tangent : Euclidean<f64, Output=Self::Tangent> + std::fmt::Debug;
 
     /// Exponential map
     fn exp(&self, tangent : &Self::Tangent) -> Self;

mercurial