LinearAlgebra.Vector

newtype Vector a

Instances

• (Eq a) => Eq (Vector a)
• Functor Vector
• (Show a) => Show (Vector a)

fromArray :: forall a. Array a -> Vector a

toArray :: forall a. Vector a -> Array a

fromFunction :: forall a. Int -> (Int -> a) -> Vector a

null :: forall a. Eq a => Semiring a => Vector a -> Boolean

tests if the vector is null i.e. contains only zero values

index :: forall a. Semiring a => Vector a -> Int -> a

returns the element at index i returns zero if the index are not valid

index' :: forall a. Vector a -> Int -> Maybe a

mapWithIndex :: forall a b. (Int -> a -> b) -> Vector a -> Vector b

add :: forall a. Semiring a => Vector a -> Vector a -> Vector a

diff :: forall a. Ring a => Vector a -> Vector a -> Vector a

dot :: forall a. Semiring a => Vector a -> Vector a -> a

dot product between two vectors. https://en.wikipedia.org/wiki/Dot_product

scale :: forall a. Semiring a => a -> Vector a -> Vector a

scalar multiplication

opposite :: forall a. Ring a => Vector a -> Vector a

colinear :: forall a. Eq a => Field a => Vector a -> Vector a -> Boolean

returns true if v1 and v2 are colinear i.e. there exists a scalar n such that v1 = n v2 https://en.wikipedia.org/wiki/Collinearity