From 970d46772d84a0d31bc12517b16eb936be59a2c4 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Thu, 18 Aug 2022 18:47:32 -0700 Subject: [PATCH] Set_object.cardinality: Check category --- src/sage/sets/set.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/sage/sets/set.py b/src/sage/sets/set.py index 707f8887c72..8c0668724d0 100644 --- a/src/sage/sets/set.py +++ b/src/sage/sets/set.py @@ -676,6 +676,9 @@ def cardinality(self): sage: Set(GF(5^2,'a')).cardinality() 25 """ + if self in Sets().Infinite(): + return sage.rings.infinity.infinity + if not self.is_finite(): return sage.rings.infinity.infinity