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

Stabilityexperimental
Maintainerconal@conal.net

Data.ALinearMap

Description

Linear maps This version uses ABasis, which requires ghc-6.10 or later.

Synopsis

Documentation

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

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

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

Function (assumed linear) as linear map.

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

Apply a linear map to a vector.