Protocol_Differentiation5.9.0

# 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.