Data.Manifold.Types.Stiefel

Stiefel manifolds are a generalisation of the concept of the UnitSphere in real vector spaces. The n-th Stiefel manifold is the space of all possible configurations of n orthonormal vectors. In the case n = 1, simply a single normalised vector, i.e. a vector on the unit sphere.

Alternatively, the stiefel manifolds can be defined as quotient spaces under scalings, and we prefer that definition since it doesn't require a notion of unit length (which is only defined in inner-product spaces).

Documentation

newtype Stiefel1 v

Constructors

Stiefel1

Fields

getStiefel1N :: DualVector v

Instances

(Geodesic v, FiniteFreeSpace v, FiniteFreeSpace (DualVector v), LinearSpace v, (~) * (Scalar v) ℝ, Geodesic (DualVector v), InnerSpace (DualVector v)) => Geodesic (Stiefel1 v)

type Interior (Stiefel1 v) = Stiefel1 v

type Needle (Stiefel1 v)