swap package:lapack

QC.forAll (QC.choose (1,100)) $ \dim ->
QC.forAll (QC.choose (0, dim-1)) $ \i ->
QC.forAll (QC.choose (0, dim-1)) $ \j ->
Vector.unit (Shape.ZeroBased dim) i
==
(Vector.swap i j (Vector.unit (Shape.ZeroBased dim) j) :: Vector Number_)