Monadoc
The latest version of ms is 0.2.1-0.

ms

Version 0.1 revision 0 uploaded by RickyElrod.

Package meta

Synopsis
metric spaces
Description

A MetricSpace is a set together with a notion of distance between elements. Distance is computed by a function dist which has the following four laws:

  1. non-negative: forall x y. dist x y >= 0

  2. identity of indiscernibles: forall x y. dist x y == 0 <=> x == y

  3. symmetry: forall x y. dist x y == dist y x

  4. triangle inequality: forall x y z. dist x z <= dist x y + dist y z

See the Wikipedia <https://en.wikipedia.org/wiki/Metric_space article on metric spaces> for more details.

Author
Ricky Elrod, Tony Morris
Bug reports
n/a
Category
Math
Copyright
(C) 2015 Ricky Elrod, Tony Morris
Homepage
https://github.com/relrod/ms
Maintainer
ricky@elrod.me
Package URL
n/a
Stability
n/a

Components