From bfa0cdf3696eadd6c2307f96dd366916746d5366 Mon Sep 17 00:00:00 2001 From: Travis Scrimshaw Date: Sat, 17 Oct 2015 09:59:39 -0500 Subject: [PATCH] One last doc tweak. --- src/sage/categories/metric_spaces.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sage/categories/metric_spaces.py b/src/sage/categories/metric_spaces.py index d7147ede2df..79840337511 100644 --- a/src/sage/categories/metric_spaces.py +++ b/src/sage/categories/metric_spaces.py @@ -91,8 +91,8 @@ class MetricSpaces(MetricSpacesCategory): .. TODO:: - Implement a general geodesics class. - - Implement a category for metric unital additive magmas and - move the generic distance `d(a, b) = |a - b|` there. + - Implement a category for metric additive groups + and move the generic distance `d(a, b) = |a - b|` there. - Incorperate the length of a geodesic as part of the default distance cycle.