src/sage/sets/image_set.py: Improve example

sagemath · Aug 16, 2022 · 52f6ca6 · 52f6ca6
1 parent 318cf62
commit 52f6ca6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/sage/sets/image_set.py b/src/sage/sets/image_set.py
@@ -260,11 +260,11 @@ def cardinality(self) -> Integer:
 
         Non-injective case::
 
-            sage: Z4 = Set(range(4))
+            sage: Z7 = Set(range(7))
             sage: from sage.sets.image_set import ImageSet
-            sage: Z4711 = ImageSet(lambda x: x**7 % 11, Z4, is_injective=False)
+            sage: Z4711 = ImageSet(lambda x: x**4 % 11, Z7, is_injective=False)
             sage: Z4711.cardinality()
-            4
+            6
         """
         if self._is_injective and self._is_injective != 'check':
             return self._domain_subset.cardinality()