A type that mathematically represents a differentiable manifold whose tangent spaces are finite-dimensional.

    protocol Differentiable


    Associated Types

    Instance Methods

    • func move(by: Self.TangentVector)

      Moves self by the given offset. In Riemannian geometry, this is equivalent to exponential map, which moves self on the geodesic surface by the given tangent vector.