summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTravis Scrimshaw <tscrimsh at umn.edu>2015-10-17 09:59:39 -0500
committerTravis Scrimshaw <tscrimsh at umn.edu>2015-10-17 10:00:59 -0500
commitbfa0cdf3696eadd6c2307f96dd366916746d5366 (patch)
treee537f2809dbc2b30d04e5641b9da9689f3c833d5
parentAdding p-adics to metric spaces and some cleanup. (diff)
One last doc tweak.
-rw-r--r--src/sage/categories/metric_spaces.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sage/categories/metric_spaces.py b/src/sage/categories/metric_spaces.py
index d7147ed..7984033 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.