Goal.Geometry.Differential

Tangent Spaces

Types

data Tangent c m

data Bundle c m

data Partials

data Differentials

Functions

gradientStep

projectTangent

tangentToBundle

bundleToTangent

Riemannian Manifolds

class Riemannian c m

Gradient Pursuit

gradientAscent

vanillaGradientAscent

gradientDescent

vanillaGradientDescent