|Maintainer||Edward Kmett <email@example.com>|
Free metric spaces
A free inner product/metric space
Compute the inner product of two vectors or (equivalently)
convert a vector
f a into a covector
f a -> a.
V2 1 2 `dot` V2 3 411
Compute the squared norm. The name quadrance arises from Norman J. Wildberger's rational trigonometry.
Compute the quadrance of the difference
Compute the distance between two vectors in a metric space
Compute the norm of a vector in a metric space
Convert a non-zero vector to unit vector.