| 88 impl<X, F: Float> EuclideanMut<F> for X where X: Euclidean<F> + AXPY<Field = F> {} |
88 impl<X, F: Float> EuclideanMut<F> for X where X: Euclidean<F> + AXPY<Field = F> {} |
| 89 |
89 |
| 90 /// Trait for [`Euclidean`] spaces with dimensions known at compile time. |
90 /// Trait for [`Euclidean`] spaces with dimensions known at compile time. |
| 91 pub trait StaticEuclidean<F: Float = f64>: Euclidean<F> { |
91 pub trait StaticEuclidean<F: Float = f64>: Euclidean<F> { |
| 92 /// Returns the origin |
92 /// Returns the origin |
| 93 fn origin() -> <Self as VectorSpace>::PrincipalV; |
93 fn origin() -> <Self as Euclidean<F>>::PrincipalE; |
| 94 } |
94 } |