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
Adjust a real valued column vector so that its length is exactly one
Adjust a complex valued column vector so that its length is exactly one
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