Set_object.is_finite: Check category

sagemath · Aug 19, 2022 · e63e4f0 · e63e4f0
1 parent d711a61
commit e63e4f0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/sage/sets/set.py b/src/sage/sets/set.py
@@ -743,6 +743,10 @@ def is_finite(self):
             sage: Set([1,'a',ZZ]).is_finite()
             True
         """
+        if self in Sets().Finite():
+            return True
+        if self in Sets().Infinite():
+            return False
         obj = self.__object
         try:
             is_finite = obj.is_finite