src/manifold.rs

changeset 56
34f8ec636368
parent 37
d7cd14b8ccc0
--- a/src/manifold.rs	Sun Dec 15 01:10:52 2024 -0500
+++ b/src/manifold.rs	Thu Dec 19 15:55:32 2024 -0500
@@ -4,9 +4,10 @@
 
 use serde::Serialize;
 use alg_tools::euclidean::Euclidean;
+use alg_tools::instance::{Space, BasicDecomposition};
 
 /// A point on a manifold
-pub trait ManifoldPoint : Clone + PartialEq {
+pub trait ManifoldPoint : Space<Decomp=BasicDecomposition> + Clone + PartialEq {
     // Type of tangent factors
     type Tangent : Euclidean<f64, Output=Self::Tangent> + std::fmt::Debug + Serialize;
 

mercurial