Stability | experimental |
---|---|
Maintainer | conal@conal.net |
Linear maps
- type :-* u v = Basis u :->: v
- linear :: (VectorSpace u s, VectorSpace v s', HasBasis u s, HasTrie (Basis u)) => (u -> v) -> u :-* v
- lapply :: (VectorSpace u s, VectorSpace v s, HasBasis u s, HasTrie (Basis u)) => (u :-* v) -> u -> v
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.