is_Real[Double]Field, is_Complex[Double]Field: Undo automatic edits, deprecate

Author: Matthias Koeppe

src/sage/rings/complex_double.pyx

@@ -111,18 +111,24 @@ from sage.structure.richcmp cimport rich_to_bool
 cimport gmpy2
 gmpy2.import_gmpy2()
 
-def isinstance(x, sage.rings.abc.ComplexDoubleField):
+
+def is_ComplexDoubleField(x):
     """
     Return ``True`` if ``x`` is the complex double field.
 
+    This function is deprecated. Use :func:`isinstance` with
+    :class:`~sage.rings.abc.ComplexDoubleField` instead.
+
     EXAMPLES::
 
         sage: from sage.rings.complex_double import is_ComplexDoubleField
-        sage: isinstance(CDF, sage.rings.abc.ComplexDoubleField)
+        sage: is_ComplexDoubleField(CDF)
         True
-        sage: isinstance(ComplexField(53, sage.rings.abc.ComplexDoubleField))
+        sage: is_ComplexDoubleField(ComplexField(53))
         False
     """
+    from sage.misc.superseded import deprecation
+    deprecation(32610, 'is_ComplexDoubleField is deprecated; use isinstance(..., sage.rings.abc.ComplexDoubleField) instead')
     return isinstance(x, ComplexDoubleField_class)
 
 

src/sage/rings/complex_mpfr.pyx

@@ -157,10 +157,14 @@ def is_ComplexNumber(x):
     """
     return isinstance(x, ComplexNumber)
 
-def isinstance(x, sage.rings.abc.ComplexField):
+
+def is_ComplexField(x):
     """
     Check if ``x`` is a :class:`complex field <ComplexField_class>`.
 
+    This function is deprecated. Use :func:`isinstance` with
+    :class:`~sage.rings.abc.ComplexField` instead.
+
     EXAMPLES::
 
         sage: from sage.rings.complex_mpfr import is_ComplexField as is_CF
@@ -171,8 +175,11 @@ def isinstance(x, sage.rings.abc.ComplexField):
         sage: is_CF(CC)
         True
     """
+    from sage.misc.superseded import deprecation
+    deprecation(32610, 'is_ComplexField is deprecated; use isinstance(..., sage.rings.abc.ComplexField) instead')
     return isinstance(x, ComplexField_class)
 
+
 cache = {}
 def ComplexField(prec=53, names=None):
     """
@@ -543,7 +550,7 @@ class ComplexField_class(ring.Field):
         RR = self._real_field()
         if RR.has_coerce_map_from(S):
             return RRtoCC(RR, self) * RR._internal_coerce_map_from(S)
-        if isinstance(S, sage.rings.abc.ComplexField):
+        if isinstance(S, ComplexField_class):
             if self._prec <= S._prec:
                 return self._generic_coerce_map(S)
             else:

src/sage/rings/real_double.pyx

@@ -73,20 +73,26 @@ from sage.arith.constants cimport *
 cimport gmpy2
 
 
-def isinstance(x, sage.rings.abc.RealDoubleField):
+def is_RealDoubleField(x):
     """
     Returns ``True`` if ``x`` is the field of real double precision numbers.
 
+    This function is deprecated. Use :func:`isinstance` with
+    :class:`~sage.rings.abc.RealDoubleField` instead.
+
     EXAMPLES::
 
         sage: from sage.rings.real_double import is_RealDoubleField
-        sage: isinstance(RDF, sage.rings.abc.RealDoubleField)
+        sage: is_RealDoubleField(RDF)
         True
-        sage: isinstance(RealField(53, sage.rings.abc.RealDoubleField))
+        sage: is_RealDoubleField(RealField(53))
         False
     """
+    from sage.misc.superseded import deprecation
+    deprecation(32610, 'is_RealDoubleField is deprecated; use isinstance(..., sage.rings.abc.RealDoubleField) instead')
     return isinstance(x, RealDoubleField_class)
 
+
 cdef class RealDoubleField_class(Field):
     """
     An approximation to the field of real numbers using double

src/sage/rings/real_mpfr.pyx

@@ -5896,19 +5896,25 @@ def create_RealNumber(s, int base=10, int pad=0, rnd="RNDN", int min_prec=53):
     return RealLiteral(R, s, base)
 
 
-def isinstance(x, sage.rings.abc.RealField):
+def is_RealField(x):
     """
     Returns ``True`` if ``x`` is technically of a Python real field type.
 
+    This function is deprecated. Use :func:`isinstance` with
+    :class:`~sage.rings.abc.RealField` instead.
+
     EXAMPLES::
 
-        sage: sage.rings.real_mpfr.isinstance(RR, sage.rings.abc.RealField)
+        sage: sage.rings.real_mpfr.is_RealField(RR)
         True
-        sage: sage.rings.real_mpfr.isinstance(CC, sage.rings.abc.RealField)
+        sage: sage.rings.real_mpfr.is_RealField(CC)
         False
     """
+    from sage.misc.superseded import deprecation
+    deprecation(32610, 'is_RealField is deprecated; use isinstance(..., sage.rings.abc.RealField) instead')
     return isinstance(x, RealField_class)
 
+
 def is_RealNumber(x):
     """
     Return ``True`` if ``x`` is of type :class:`RealNumber`, meaning that it