| 17 |
17 |
| 18 /// Return the zero tangent at `self`. |
18 /// Return the zero tangent at `self`. |
| 19 fn tangent_origin(&self) -> Self::Tangent; |
19 fn tangent_origin(&self) -> Self::Tangent; |
| 20 } |
20 } |
| 21 |
21 |
| |
22 /// Point on a manifold that possesses displayable embedded coordinates. |
| |
23 pub trait EmbeddedManifoldPoint : ManifoldPoint + std::fmt::Debug { |
| |
24 type EmbeddedCoords : std::fmt::Display; |
| |
25 |
| |
26 /// Convert a point on a manifold into embedded coordinates |
| |
27 fn embedded_coords(&self) -> Self::EmbeddedCoords; |
| |
28 } |