vector-space-0.3: Vector & affine spaces, linear maps, and derivatives

Stabilityexperimental
Maintainerconal@conal.net
Safe HaskellNone

Data.LinearMap

Description

Linear maps

Synopsis

Documentation

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

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

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

Function (assumed linear) as linear map.

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

Apply a linear map to a vector.