vector-space-0.5.3: Vector & affine spaces, linear maps, and derivatives (requires ghc 6.9 or better)

Stabilityexperimental
Maintainerconal@conal.net

Data.LinearMap

Description

Linear maps

Synopsis

Documentation

type :-* u v = Basis u :->: vSource

Linear map, represented as a memo-trie from basis to values.

linear :: (HasBasis u, HasTrie (Basis u)) => (u -> v) -> u :-* vSource

Function (assumed linear) as linear map.

lapply :: (VectorSpace v, Scalar u ~ Scalar v, HasBasis u, HasTrie (Basis u)) => (u :-* v) -> u -> vSource

Apply a linear map to a vector.

idL :: (HasBasis u, HasTrie (Basis u)) => u :-* uSource

compL :: (HasBasis u, HasTrie (Basis u), HasBasis v, HasTrie (Basis v), VectorSpace w, Scalar v ~ Scalar w) => (v :-* w) -> (u :-* v) -> u :-* wSource

Compose linear maps