Remove duplicate test functions

Author: tobiasdiez

src/sage/rings/infinity.py

@@ -1772,125 +1772,3 @@ def _gap_init_(self) -> str:
 infinity: PlusInfinity = InfinityRing.gen(0)
 Infinity: PlusInfinity = infinity
 minus_infinity: MinusInfinity = InfinityRing.gen(1)
-
-
-def check_comparison(ring):
-    """
-    Check comparison with infinity.
-
-    INPUT:
-
-    - ``ring`` -- a sub-ring of the real numbers
-
-    OUTPUT:
-
-    Various attempts are made to generate elements of ``ring``. An
-    assertion is triggered if one of these elements does not compare
-    correctly with plus/minus infinity.
-
-    EXAMPLES::
-
-        sage: from sage.rings.infinity import check_comparison
-        sage: rings = [ZZ, QQ, RDF]
-        sage: rings += [RR, RealField(200)]                                             # needs sage.rings.real_mpfr
-        sage: rings += [RLF, RIF]                                                       # needs sage.rings.real_interval_field
-        sage: for R in rings:
-        ....:     print('testing {}'.format(R))
-        ....:     check_comparison(R)
-        testing Integer Ring
-        testing Rational Field
-        testing Real Double Field...
-        sage: check_comparison(AA)                                                       # needs sage.rings.number_field
-
-    Comparison with number fields does not work::
-
-        sage: x = polygen(ZZ, 'x')
-        sage: K.<sqrt3> = NumberField(x^2 - 3)                                          # needs sage.rings.number_field
-        sage: (-oo < 1 + sqrt3) and (1 + sqrt3 < oo)    # known bug                     # needs sage.rings.number_field
-        False
-
-    The symbolic ring handles its own infinities, but answers
-    ``False`` (meaning: cannot decide) already for some very
-    elementary comparisons::
-
-        sage: check_comparison(SR)               # known bug                             # needs sage.symbolic
-        Traceback (most recent call last):
-        ...
-        AssertionError: testing -1000.0 in Symbolic Ring: id = ...
-    """
-
-    from sage.rings.rational_field import QQ
-    elements = [-1e3, 99.9999, 0, 1, 100000]
-    try:
-        from sage.symbolic.ring import SR
-    except ImportError:
-        pass
-    else:
-        elements += [-SR(2).sqrt(), SR.pi(), 3 ** (-QQ.one() / 3)]
-    elements.append(ring.an_element())
-    elements.extend(ring.some_elements())
-    for z in elements:
-        try:
-            z = ring(z)
-        except (ValueError, TypeError):
-            continue    # ignore if z is not in ring
-        msg = 'testing {} in {}: id = {}, {}, {}'.format(z, ring, id(z), id(infinity), id(minus_infinity))
-        assert minus_infinity < z, msg
-        assert z > minus_infinity, msg
-        assert z < infinity, msg
-        assert infinity > z, msg
-        assert minus_infinity <= z, msg
-        assert z >= minus_infinity, msg
-        assert z <= infinity, msg
-        assert infinity >= z, msg
-
-
-def check_signed_infinity(pos_inf):
-    """
-    Test consistency of infinity representations.
-
-    There are different possible representations of infinity in
-    Sage. These are all consistent with the infinity ring, that is,
-    compare with infinity in the expected way. See also :issue:`14045`
-
-    INPUT:
-
-    - ``pos_inf`` -- a representation of positive infinity
-
-    OUTPUT:
-
-    An assertion error is raised if the representation is not
-    consistent with the infinity ring.
-
-    Check that :issue:`14045` is fixed::
-
-        sage: InfinityRing(float('+inf'))
-        +Infinity
-        sage: InfinityRing(float('-inf'))
-        -Infinity
-        sage: oo > float('+inf')
-        False
-        sage: oo == float('+inf')
-        True
-
-    EXAMPLES::
-
-        sage: from sage.rings.infinity import check_signed_infinity
-        sage: check_signed_infinity(oo)
-        sage: check_signed_infinity(float('+inf'))
-        sage: check_signed_infinity(RLF(oo))                                             # needs sage.rings.real_interval_field
-        sage: check_signed_infinity(RIF(oo))                                             # needs sage.rings.real_interval_field
-        sage: check_signed_infinity(SR(oo))                                              # needs sage.symbolic
-    """
-    msg = f'testing {pos_inf} ({type(pos_inf)})'
-    assert InfinityRing(pos_inf) is infinity, msg
-    assert InfinityRing(-pos_inf) is minus_infinity, msg
-    assert infinity == pos_inf, msg
-    assert not (infinity > pos_inf), msg
-    assert not (infinity < pos_inf), msg
-    assert minus_infinity == -pos_inf, msg
-    assert not (minus_infinity > -pos_inf), msg
-    assert not (minus_infinity < -pos_inf), msg
-    assert pos_inf > -pos_inf, msg
-    assert infinity > -pos_inf, msg
-    assert pos_inf > minus_infinity, msg