A type that mathematically represents a differentiable manifold whose tangent spaces are finite-dimensional.
associatedtype TangentVector : AdditiveArithmetic, Differentiable
A type representing a differentiable value’s derivatives.
func move(by: Self.TangentVector
selfby the given offset. In Riemannian geometry, this is equivalent to exponential map, which moves
selfon the geodesic surface by the given tangent vector.