add a doctest

sagemath · Jul 6, 2020 · 8c0efe7 · 8c0efe7
1 parent ec0e24b
commit 8c0efe7
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/sage/categories/rings.py b/src/sage/categories/rings.py
@@ -231,6 +231,14 @@ def extend_to_fraction_field(self):
                 Traceback (most recent call last):
                 ...
                 ValueError: the morphism is not injective
+
+            TESTS::
+
+                sage: A.<x> = RR[]
+                sage: phi = A.hom([x+1])
+                sage: phi.extend_to_fraction_field()
+                Ring endomorphism of Fraction Field of Univariate Polynomial Ring in x over Real Field with 53 bits of precision
+                  Defn: x |--> x + 1.00000000000000
             """
             from sage.rings.morphism import RingHomomorphism_from_fraction_field
             if self.domain().is_field() and self.codomain().is_field():