linear-0.9.1: Linear Algebra

Portability non-portable experimental Edward Kmett None

Linear.Metric

Description

Free metric spaces

Synopsis

# Documentation

class Additive f => Metric f whereSource

Free and sparse inner product/metric spaces.

Methods

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

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 4
```11
```

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

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

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

Compute the quadrance of the difference

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

Compute the distance between two vectors in a metric space

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

Compute the norm of a vector in a metric space

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

Convert a non-zero vector to unit vector.

Instances

 Metric V0 Metric V2 Metric V3 Metric V4 Metric Plucker Metric Quaternion

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

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