1 |
1 |
2 /// A point on a manifold |
2 /// A point on a manifold |
3 pub trait ManifoldPoint : Clone + PartialEq { |
3 pub trait ManifoldPoint : Clone + PartialEq { |
4 // Type of tangent factors |
4 // Type of tangent factors |
5 type Tangent; |
5 type Tangent : Euclidean<f64, Output=Self::Tangent> + std::fmt::Debug; |
6 |
6 |
7 /// Exponential map |
7 /// Exponential map |
8 fn exp(&self, tangent : &Self::Tangent) -> Self; |
8 fn exp(&self, tangent : &Self::Tangent) -> Self; |
9 |
9 |
10 /// Logarithmic map |
10 /// Logarithmic map |