A module for Row Vector
Row Vector
{ abelianGroup : AbelianGroup (RowVector a)
, vectorScalarMultiplication : a -> RowVector a -> RowVector a
, field : Field a
}
Type to represent a Vector Space
{ vectorSpace : VectorSpace a
, innerProduct : RowVector a -> RowVector a -> a
, length : RowVector a -> Real Basics.Float
, distance : RowVector a -> RowVector a -> Real Basics.Float
}
Type to represent an Inner Product Space
scalarMultiplication : Field a -> a -> RowVector a -> RowVector a
Scalar multiplication over a RowVector
sum : Monoid a -> RowVector a -> a
Calculate the sum of a RowVector
dimension : RowVector a -> Basics.Int
Count of number of elements in a vector
all : (a -> Basics.Bool) -> RowVector a -> Basics.Bool
Predicate to determine if all values in the RowVector satisfy the given predicate
count : (a -> Basics.Bool) -> RowVector a -> Basics.Int
Count the number of elements in a RowVector that satisfy the given condition
realVectorSpace : VectorSpace (Real Basics.Float)
Real Numbered Vector Space
complexVectorSpace : VectorSpace (ComplexNumbers.ComplexNumber Basics.Float)
Complex Numbered Vector Space
realInnerProductSpace : InnerProductSpace (Real Basics.Float)
Real Numbered Inner Product Space
complexInnerProductSpace : InnerProductSpace (ComplexNumbers.ComplexNumber Basics.Float)
Complex Numbered Inner Product Space
empty : RowVector a
Monoid empty for RowVector
append : RowVector a -> RowVector a -> RowVector a
Append Vectors together
pure : a -> RowVector a
Place a value in minimal RowVector context
map : (a -> b) -> RowVector a -> RowVector b
map over a RowVector
map2 : (a -> b -> c) -> RowVector a -> RowVector b -> RowVector c
map2 over a RowVector
foldl : (a -> b -> b) -> b -> RowVector a -> b
Left fold over a RowVector
findIndex : (a -> Basics.Bool) -> RowVector a -> Maybe Basics.Int
Find index of a value in a Vector
getAt : Basics.Int -> RowVector a -> Maybe a
Get the value in a Vector at the specified index
setAt : Basics.Int -> a -> RowVector a -> RowVector a
Set the value in a Vector at the specified index
parseRowVector : Parser a -> Parser (RowVector a)
Parse a RowVector
printRealRowVectorList : List (RowVector (Real Basics.Float)) -> String
Print a Real RowVector List to a string
printComplexRowVectorList : List (RowVector (ComplexNumbers.ComplexNumber Basics.Float)) -> String
Print a Complex RowVector List to a string