Metric space distance has value in R?

Stream: new members

[Rémi Bottinelli]

Hey! Is there a reason that the distance function on (pseudo) metric spaces isn't t\Rge0-valued?

[Adam Topaz]

It's actually both. Take a look at the definition of docs#pseudo_metric_space

[Rémi Bottinelli]

pseudo metric extends pseudo emetric, hence inherits the edist, and adds a dist ?

[Kevin Buzzard]

I think the reason is simply that ℝ is easier to use (eg it has a non-pathological subtraction)

[Sebastien Gouezel]

We have the function nndist which is nnreal-valued.

[Eric Wieser]

docs#has_nndist.nndist