Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit dc8cc8c

Browse files
author
Matthias Koeppe
committed
src/sage/categories/metric_spaces.py: Mark doctests using HyperbolicPlane # optional - sage.symbolic
1 parent 5d2cc6b commit dc8cc8c

File tree

1 file changed

+24
-24
lines changed

1 file changed

+24
-24
lines changed

src/sage/categories/metric_spaces.py

+24-24
Original file line numberDiff line numberDiff line change
@@ -127,10 +127,10 @@ def _test_metric_function(self, **options):
127127
128128
EXAMPLES::
129129
130-
sage: UHP = HyperbolicPlane().UHP()
131-
sage: UHP._test_metric_function()
132-
sage: elts = [UHP.random_element() for i in range(5)]
133-
sage: UHP._test_metric_function(some_elements=elts)
130+
sage: UHP = HyperbolicPlane().UHP() # optional - sage.symbolic
131+
sage: UHP._test_metric_function() # optional - sage.symbolic
132+
sage: elts = [UHP.random_element() for i in range(5)] # optional - sage.symbolic
133+
sage: UHP._test_metric_function(some_elements=elts) # optional - sage.symbolic
134134
"""
135135
tester = self._tester(**options)
136136
S = tester.some_elements()
@@ -149,11 +149,11 @@ def metric_function(self):
149149
150150
EXAMPLES::
151151
152-
sage: UHP = HyperbolicPlane().UHP()
153-
sage: m = UHP.metric_function()
154-
sage: p1 = UHP.get_point(5 + 7*I)
155-
sage: p2 = UHP.get_point(1.0 + I)
156-
sage: m(p1, p2)
152+
sage: UHP = HyperbolicPlane().UHP() # optional - sage.symbolic
153+
sage: m = UHP.metric_function() # optional - sage.symbolic
154+
sage: p1 = UHP.get_point(5 + 7*I) # optional - sage.symbolic
155+
sage: p2 = UHP.get_point(1.0 + I) # optional - sage.symbolic
156+
sage: m(p1, p2) # optional - sage.symbolic
157157
2.23230104635820
158158
"""
159159
return lambda a,b: a.dist(b)
@@ -166,14 +166,14 @@ def dist(self, a, b):
166166
167167
EXAMPLES::
168168
169-
sage: UHP = HyperbolicPlane().UHP()
170-
sage: p1 = UHP.get_point(5 + 7*I)
171-
sage: p2 = UHP.get_point(1.0 + I)
172-
sage: UHP.dist(p1, p2)
169+
sage: UHP = HyperbolicPlane().UHP() # optional - sage.symbolic
170+
sage: p1 = UHP.get_point(5 + 7*I) # optional - sage.symbolic
171+
sage: p2 = UHP.get_point(1.0 + I) # optional - sage.symbolic
172+
sage: UHP.dist(p1, p2) # optional - sage.symbolic
173173
2.23230104635820
174174
175-
sage: PD = HyperbolicPlane().PD()
176-
sage: PD.dist(PD.get_point(0), PD.get_point(I/2))
175+
sage: PD = HyperbolicPlane().PD() # optional - sage.symbolic
176+
sage: PD.dist(PD.get_point(0), PD.get_point(I/2)) # optional - sage.symbolic
177177
arccosh(5/3)
178178
179179
TESTS::
@@ -210,10 +210,10 @@ def dist(self, b):
210210
211211
EXAMPLES::
212212
213-
sage: UHP = HyperbolicPlane().UHP()
214-
sage: p1 = UHP.get_point(5 + 7*I)
215-
sage: p2 = UHP.get_point(1 + I)
216-
sage: p1.dist(p2)
213+
sage: UHP = HyperbolicPlane().UHP() # optional - sage.symbolic
214+
sage: p1 = UHP.get_point(5 + 7*I) # optional - sage.symbolic
215+
sage: p2 = UHP.get_point(1 + I) # optional - sage.symbolic
216+
sage: p1.dist(p2) # optional - sage.symbolic
217217
arccosh(33/7)
218218
"""
219219
return self.parent().dist(self, b)
@@ -266,11 +266,11 @@ def dist(self, a, b):
266266
267267
EXAMPLES::
268268
269-
sage: H = HyperbolicPlane()
270-
sage: PD = H.PD()
271-
sage: p1 = PD.get_point(0)
272-
sage: p2 = PD.get_point(I/2)
273-
sage: H.dist(p1, p2)
269+
sage: H = HyperbolicPlane() # optional - sage.symbolic
270+
sage: PD = H.PD() # optional - sage.symbolic
271+
sage: p1 = PD.get_point(0) # optional - sage.symbolic
272+
sage: p2 = PD.get_point(I/2) # optional - sage.symbolic
273+
sage: H.dist(p1, p2) # optional - sage.symbolic
274274
arccosh(5/3)
275275
"""
276276
R = self.a_realization()

0 commit comments

Comments
 (0)