A module for Column Vectors
Calculate the sum of a Vector
Scalar multiplication over a ColumnVector
Take the complex conjugate of a Complex Numbered ColumnVector
Calculate the length of a Real valued Vector
Calculate the length of a Complex valued Vector
Add two ColumnVectors
Calculate the dot product of two Vectors
Calculate distance between two vectors
Calculate distance between two vectors
Count of number of elements in a Ket
Monoid empty for Vector
map over a RowVector
Left fold over a RowVector
Equal type for Vector.
Get the value in a Column Vector at the specified index
Set the value in a Column Vector at the specified index
Column Vector