Minor refactor for is_exact

Author: user202729

src/sage/matrix/matrix_space.py

@@ -955,6 +955,24 @@ def characteristic(self):
         """
         return self.base_ring().characteristic()
 
+    def is_exact(self):
+        """
+        Test whether elements of this matrix space is exact.
+
+        OUTPUT:
+
+        Return ``True`` if elements of this matrix space are represented exactly, i.e.,
+        there is no precision loss when doing arithmetic.
+
+        EXAMPLES::
+
+            sage: MatrixSpace(ZZ, 3).is_exact()
+            True
+            sage: MatrixSpace(RR, 3).is_exact()
+            False
+        """
+        return self._base.is_exact()
+
     def _has_default_implementation(self):
         r"""
         EXAMPLES::

src/sage/modules/free_module.py

@@ -1008,6 +1008,24 @@ def is_sparse(self):
         """
         return self.__is_sparse
 
+    def is_exact(self):
+        """
+        Test whether elements of this module is exact.
+
+        OUTPUT:
+
+        Return ``True`` if elements of this module are represented exactly, i.e.,
+        there is no precision loss when doing arithmetic.
+
+        EXAMPLES::
+
+            sage: (ZZ^2).is_exact()
+            True
+            sage: (RR^2).is_exact()
+            False
+        """
+        return self._base.is_exact()
+
     def _an_element_(self):
         """
         Return an arbitrary element of a free module.

src/sage/rings/ring.pyx

@@ -520,29 +520,6 @@ cdef class Ring(ParentWithGens):
         else:
             return False
 
-    cpdef bint is_exact(self) except -2:
-        """
-        Return ``True`` if elements of this ring are represented exactly, i.e.,
-        there is no precision loss when doing arithmetic.
-
-        .. NOTE::
-
-            This defaults to ``True``, so even if it does return ``True`` you
-            have no guarantee (unless the ring has properly overloaded this).
-
-        EXAMPLES::
-
-            sage: QQ.is_exact()    # indirect doctest
-            True
-            sage: ZZ.is_exact()
-            True
-            sage: Qp(7).is_exact()                                                      # needs sage.rings.padics
-            False
-            sage: Zp(7, type='capped-abs').is_exact()                                   # needs sage.rings.padics
-            False
-        """
-        return True
-
     def order(self):
         """
         The number of elements of ``self``.

src/sage/structure/parent.pyx

@@ -2863,17 +2863,17 @@ cdef class Parent(sage.structure.category_object.CategoryObject):
 
     cpdef bint is_exact(self) except -2:
         """
-        Test whether the ring is exact.
+        Test whether elements of this parent is exact.
 
         .. NOTE::
 
             This defaults to true, so even if it does return ``True``
-            you have no guarantee (unless the ring has properly
+            you have no guarantee (unless the parent has properly
             overloaded this).
 
         OUTPUT:
 
-        Return ``True`` if elements of this ring are represented exactly, i.e.,
+        Return ``True`` if elements of this parent are represented exactly, i.e.,
         there is no precision loss when doing arithmetic.
 
         EXAMPLES::