src/sage/sets/real_set.py (RealSet): Make it a subclass of Set_parent

sagemath · Aug 31, 2022 · 83c5ec0 · 83c5ec0
1 parent 0965a16
commit 83c5ec0
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/sage/sets/real_set.py b/src/sage/sets/real_set.py
@@ -101,7 +101,7 @@ class RealSet.
 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.sets.set import Set_parent
 from sage.rings.integer_ring import ZZ
 from sage.rings.real_lazy import LazyFieldElement, RLF
 from sage.rings.infinity import infinity, minus_infinity
@@ -920,8 +920,7 @@ def _scan_upper(self):
 
 
 @richcmp_method
-class RealSet(UniqueRepresentation, Parent, Set_base,
-              Set_boolean_operators, Set_add_sub_operators):
+class RealSet(UniqueRepresentation, Set_parent):
     r"""
     A subset of the real line, a finite union of intervals