Data.Basis · vector-space-0.19

classclass VectorSpace v => HasBasis v where

basisValue :: Basis v -> v
Interpret basis rep as a vector
decompose :: v -> [(Basis v, Scalar v)]
Extract coordinates
decompose' :: v -> Basis v -> Scalar v
Experimental version. More elegant definitions, and friendly to infinite-dimensional vector spaces.

Instances12HasBasis, …

HasBasis CDoubleDefined in vector-space-0.19 · Data.Basis
HasBasis CFloatDefined in vector-space-0.19 · Data.Basis
HasBasis DoubleDefined in vector-space-0.19 · Data.Basis
HasBasis FloatDefined in vector-space-0.19 · Data.Basis
Integral a => HasBasis (Ratio a)Defined in vector-space-0.19 · Data.Basis
HasBasis (Diff (VRep p)) => HasBasis (GenericDiff p)Defined in vector-space-0.19 · Data.AffineSpace
(HasBasis u, s ~ Scalar u, HasBasis v, s ~ Scalar v) => HasBasis (u, v)Defined in vector-space-0.19 · Data.Basis
HasBasis a => HasBasis (Rec0 a s)Defined in vector-space-0.19 · Data.Basis
(AffineSpace (f p), AffineSpace (g p), HasBasis (Diff (f p)), HasBasis (Diff (g p)), Scalar (Diff (f p)) ~ Scalar (Diff (g p))) => HasBasis (AffineDiffProductSpace f g p)Defined in vector-space-0.19 · Data.AffineSpace
(HasBasis u, s ~ Scalar u, HasBasis v, s ~ Scalar v, HasBasis w, s ~ Scalar w) => HasBasis (u, v, w)Defined in vector-space-0.19 · Data.Basis
(HasBasis (f p), HasBasis (g p), Scalar (f p) ~ Scalar (g p)) => HasBasis ((:*:) f g p)Defined in vector-space-0.19 · Data.Basis
HasBasis (f p) => HasBasis (M1 i c f p)Defined in vector-space-0.19 · Data.Basis

valuelinearCombo :: VectorSpace v => [(v, Scalar v)] -> v

Linear combination of vectors

valuerecompose :: HasBasis v => [(Basis v, Scalar v)] -> v