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.

Conforming Types