src/sage/sets/set.py: Simplify category checks as suggested

sagemath · Aug 18, 2022 · 8a30493 · 8a30493
1 parent df327b9
commit 8a30493
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/sage/sets/set.py b/src/sage/sets/set.py
@@ -1368,12 +1368,12 @@ def __init__(self, X, Y, category=None):
         """
         if category is None:
             category = Sets()
-        if all(S in Sets().Finite() for S in (X, Y)):
-            category = category.Finite()
         if all(S in Sets().Enumerated() for S in (X, Y)):
             category = category.Enumerated()
         if any(S in Sets().Infinite() for S in (X, Y)):
             category = category.Infinite()
+        elif all(S in Sets().Finite() for S in (X, Y)):
+            category = category.Finite()
         Set_object_binary.__init__(self, X, Y, "union", "\\cup", category=category)
 
     def is_finite(self):
@@ -1713,11 +1713,11 @@ def __init__(self, X, Y, category=None):
         """
         if category is None:
             category = Sets()
-        if X in Sets().Finite():
-            category = category.Finite()
         if X in Sets().Enumerated():
             category = category.Enumerated()
-        if X in Sets().Infinite() and Y in Sets().Finite():
+        if X in Sets().Finite():
+            category = category.Finite()
+        elif X in Sets().Infinite() and Y in Sets().Finite():
             category = category.Infinite()
         Set_object_binary.__init__(self, X, Y, "difference", "-", category=category)