Differentiable

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

protocol Differentiable

Requirements

associatedtype TangentVector : AdditiveArithmetic, Differentiable
A type representing a differentiable value’s derivatives.
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.