Linear.Metric

Free metric spaces

Documentation

class Applicative f => Metric f where

A free inner product/metric space

Methods

dot :: Num a => f a -> f a -> a

Compute the inner product of two vectors or (equivalently) convert a vector f a into a covector f a -> a.

quadrance :: Num a => f a -> a

Compute the squared norm. The name quadrance arises from Norman J. Wildberger's rational trigonometry.

qd :: Num a => f a -> f a -> a

Compute the quadrance of the difference

distance :: Floating a => f a -> f a -> a

Compute the distance between two vectors in a metric space

norm :: Floating a => f a -> a

Compute the norm of a vector in a metric space

signorm :: Floating a => f a -> f a

Convert a non-zero vector to unit vector.

Instances

Metric V2

Metric V3

Metric V4

Metric Plucker

Metric Quaternion

normalize :: (Floating a, Metric f, Epsilon a) => f a -> f a

Normalize a Metric functor to have unit norm. This function does not change the functor if its norm is 0 or 1.