Copyright | (c) Justus Sagemüller 2015 |
---|---|
License | GPL v3 |
Maintainer | (@) jsag $ hvl.no |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
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
Instances
Show (DualVector v) => Show (Stiefel1 v) Source # | |
(LinearSpace v, FiniteFreeSpace v, FiniteFreeSpace (DualVector v), StiefelScalar (Scalar v)) => PseudoAffine (Stiefel1 v) Source # | |
(LinearSpace v, FiniteFreeSpace v, FiniteFreeSpace (DualVector v), StiefelScalar (Scalar v)) => Semimanifold (Stiefel1 v) Source # | |
type Needle (Stiefel1 v) Source # | |
Defined in Data.Manifold.Types |