@@ -6320,6 +6320,8 @@ def __iter__(self) -> Iterator[Permutation]:
63206320
63216321 def cardinality (self ) -> Integer :
63226322 """
6323+ Return the cardinality of the set.
6324+
63236325 EXAMPLES::
63246326
63256327 sage: Permutations(3,0).cardinality()
@@ -7022,6 +7024,8 @@ def __init__(self, s, k):
70227024
70237025 def cardinality (self ) -> Integer :
70247026 """
7027+ Return the cardinality of the set.
7028+
70257029 EXAMPLES::
70267030
70277031 sage: Permutations([1,2,4,5], 2).cardinality()
@@ -9853,6 +9857,8 @@ def __init__(self, n):
98539857
98549858 def cardinality (self ):
98559859 """
9860+ Return the cardinality of the set.
9861+
98569862 EXAMPLES::
98579863
98589864 sage: Permutations(5, avoiding=[1, 3, 2]).cardinality()
@@ -9930,6 +9936,8 @@ def __init__(self, n):
99309936
99319937 def cardinality (self ) -> Integer :
99329938 """
9939+ Return the cardinality of the set.
9940+
99339941 EXAMPLES::
99349942
99359943 sage: Permutations(5, avoiding=[1, 2, 3]).cardinality()
@@ -10002,6 +10010,8 @@ def __init__(self, n):
1000210010
1000310011 def cardinality (self ):
1000410012 """
10013+ Return the cardinality of the set.
10014+
1000510015 EXAMPLES::
1000610016
1000710017 sage: Permutations(5, avoiding=[3, 2, 1]).cardinality()
@@ -10034,6 +10044,8 @@ def __init__(self, n):
1003410044
1003510045 def cardinality (self ):
1003610046 """
10047+ Return the cardinality of the set.
10048+
1003710049 EXAMPLES::
1003810050
1003910051 sage: Permutations(5, avoiding=[2, 3, 1]).cardinality()
@@ -10066,6 +10078,8 @@ def __init__(self, n):
1006610078
1006710079 def cardinality (self ):
1006810080 """
10081+ Return the cardinality of the set.
10082+
1006910083 EXAMPLES::
1007010084
1007110085 sage: Permutations(5, avoiding=[3, 1, 2]).cardinality()
@@ -10098,6 +10112,8 @@ def __init__(self, n):
1009810112
1009910113 def cardinality (self ):
1010010114 """
10115+ Return the cardinality of the set.
10116+
1010110117 EXAMPLES::
1010210118
1010310119 sage: Permutations(5, avoiding=[2, 1, 3]).cardinality()
0 commit comments