--- 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;