spire.algebra
This type class models a metric space V. The distance between 2 points in V is measured in R, which should be real (ie. IsReal[R] exists).
V
R
IsReal[R]
This type class models a metric space
V
. The distance between 2 points inV
is measured inR
, which should be real (ie.IsReal[R]
exists).