Trac 18411: fix is_empty

sagemath · Sep 12, 2015 · 6580825 · 6580825
1 parent 9beb023
commit 6580825
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/sage/categories/sets_cat.py b/src/sage/categories/sets_cat.py
@@ -2126,9 +2126,11 @@ def is_finite(self):
                 try:
                     # Note: some parent might not implement "is_empty". So we
                     # carefully isolate this test.
-                    return any(c.is_empty() for c in f)
+                    test = any(c.is_empty() for c in f)
                 except Exception:
                     pass
+                else:
+                    if test: return test
                 return all(c.is_finite() for c in f)
 
             def cardinality(self):