Data.LinearMap

Linear map, represented as an optional memo-trie from basis to values, where Nothing means the zero map (an optimization).

Function (assumed linear) as linear map.

Apply a linear map to a vector.

Evaluate a linear map on a basis element.

Identity linear map

Compose linear maps

Apply a linear function to each element of a linear map. liftL f l == linear f *.* l, but works more efficiently.

Apply a linear binary function (not to be confused with a bilinear function) to each element of a linear map.

Apply a linear ternary function (not to be confused with a trilinear function) to each element of a linear map.