Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 7 additions & 12 deletions src/sage/sets/real_set.py
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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.
Expand Down Expand Up @@ -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):
"""
Expand Down
Loading