|
Algebra.Vector | Portability | portable | Stability | provisional | Maintainer | numericprelude@henning-thielemann.de |
|
|
|
|
|
Description |
Abstraction of vectors
|
|
Synopsis |
|
class C v where | zero :: C a => v a | (<+>) :: C a => v a -> v a -> v a | (*>) :: C a => a -> v a -> v a |
| | class Eq v where | | | functorScale :: (Functor v, C a) => a -> v a -> v a | | linearComb :: (C a, C v) => [a] -> [v a] -> v a | | propCascade :: (C v, Eq v, C a, Eq a) => a -> a -> v a -> Bool | | propRightDistributive :: (C v, Eq v, C a, Eq a) => a -> v a -> v a -> Bool | | propLeftDistributive :: (C v, Eq v, C a, Eq a) => a -> a -> v a -> Bool |
|
|
Documentation |
|
|
A Module over a ring satisfies:
a *> (b + c) === a *> b + a *> c
(a * b) *> c === a *> (b *> c)
(a + b) *> c === a *> c + b *> c
| | Methods | | zero element of the vector space
| | (<+>) :: C a => v a -> v a -> v a | Source |
| add and subtract elements
| | (*>) :: C a => a -> v a -> v a | Source |
| scale a vector by a scalar
|
| | Instances | |
|
|
|
We need a Haskell 98 type class
which provides equality test for Vector type constructors.
| | Methods | | | Instances | |
|
|
Instances for standard type constructors
|
|
|
|
Related functions
|
|
linearComb :: (C a, C v) => [a] -> [v a] -> v a | Source |
|
Compute the linear combination of a list of vectors.
|
|
Properties
|
|
|
|
propRightDistributive :: (C v, Eq v, C a, Eq a) => a -> v a -> v a -> Bool | Source |
|
|
|
|
Produced by Haddock version 2.4.2 |