From 46deaeeb90225218d33accc2c8ce3d8bb9f1ef23 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Chapoton?= <chapoton@unistra.fr>
Date: Sun, 21 Sep 2025 16:24:13 +0200
Subject: [PATCH] remove deprecated aliases in real_set

---
 src/sage/sets/real_set.py | 19 +++++++------------
 1 file changed, 7 insertions(+), 12 deletions(-)

diff --git a/src/sage/sets/real_set.py b/src/sage/sets/real_set.py
index a8ead177946..7f909c69655 100644
--- a/src/sage/sets/real_set.py
+++ b/src/sage/sets/real_set.py
@@ -96,18 +96,17 @@ class RealSet.
 # (at your option) any later version.
 #                  https://www.gnu.org/licenses/
 # ****************************************************************************
+from heapq import merge
 
-from sage.structure.richcmp import richcmp, richcmp_method
-from sage.structure.parent import Parent
-from sage.structure.unique_representation import UniqueRepresentation
-from sage.categories.topological_spaces import TopologicalSpaces
 from sage.categories.sets_cat import EmptySetError
-from sage.sets.set import Set_base, Set_boolean_operators, Set_add_sub_operators
+from sage.categories.topological_spaces import TopologicalSpaces
+from sage.rings.infinity import infinity, minus_infinity
 from sage.rings.integer_ring import ZZ
 from sage.rings.real_lazy import LazyFieldElement, RLF
-from sage.rings.infinity import infinity, minus_infinity
-from sage.misc.superseded import deprecated_function_alias
-from heapq import merge
+from sage.sets.set import Set_base, Set_boolean_operators, Set_add_sub_operators
+from sage.structure.parent import Parent
+from sage.structure.richcmp import richcmp, richcmp_method
+from sage.structure.unique_representation import UniqueRepresentation
 
 
 @richcmp_method
@@ -2354,8 +2353,6 @@ def is_subset(self, *other):
         """
         return RealSet(*other).intersection(self) == self
 
-    is_included_in = deprecated_function_alias(31927, is_subset)
-
     def _an_element_(self):
         """
         Return a point of the set.
@@ -2601,8 +2598,6 @@ def is_disjoint(self, *other):
         other = RealSet(*other)
         return self.are_pairwise_disjoint(self, other)
 
-    is_disjoint_from = deprecated_function_alias(31927, is_disjoint)
-
     @staticmethod
     def are_pairwise_disjoint(*real_set_collection):
         """