@@ -780,7 +780,7 @@ def __contains__(self, x):
780
780
return False
781
781
return True
782
782
783
- def unrank (self , x , rtn ):
783
+ def _unrank_helper (self , x , rtn ):
784
784
ptr = 0
785
785
while True :
786
786
current_rank = self .rank (rtn )
@@ -855,8 +855,7 @@ def __init__(self, n):
855
855
self .n = n
856
856
if self .n == 0 :
857
857
IntegerVectors .__init__ (self , category = EnumeratedSets ())
858
- else :
859
- IntegerVectors .__init__ (self , category = InfiniteEnumeratedSets ())
858
+ IntegerVectors .__init__ (self , category = InfiniteEnumeratedSets ())
860
859
861
860
def _repr_ (self ):
862
861
"""
@@ -964,7 +963,7 @@ def unrank(self, x):
964
963
rtn .append (0 )
965
964
rtn .pop ()
966
965
967
- return IntegerVectors .unrank (self , x , rtn )
966
+ return IntegerVectors ._unrank_helper (self , x , rtn )
968
967
969
968
def cardinality (self ):
970
969
"""
@@ -979,8 +978,7 @@ def cardinality(self):
979
978
"""
980
979
if self .n == 0 :
981
980
return Integer (1 )
982
- else :
983
- return PlusInfinity ()
981
+ return PlusInfinity ()
984
982
985
983
986
984
class IntegerVectors_k (UniqueRepresentation , IntegerVectors ):
@@ -998,8 +996,7 @@ def __init__(self, k):
998
996
self .k = k
999
997
if self .k == 0 :
1000
998
IntegerVectors .__init__ (self , category = EnumeratedSets ())
1001
- else :
1002
- IntegerVectors .__init__ (self , category = InfiniteEnumeratedSets ())
999
+ IntegerVectors .__init__ (self , category = InfiniteEnumeratedSets ())
1003
1000
1004
1001
def _repr_ (self ):
1005
1002
"""
@@ -1101,15 +1098,14 @@ def unrank(self, x):
1101
1098
"""
1102
1099
if self .k == 0 and x != 0 :
1103
1100
raise IndexError (f"Index { x } is out of range for the IntegerVector." )
1104
- else :
1105
- n = 0
1106
- rtn = [0 ]* self .k
1107
- while self .rank (rtn ) <= x :
1108
- n += 1
1109
- rtn [0 ] = n
1110
- rtn [0 ] -= 1
1101
+ n = 0
1102
+ rtn = [0 ]* self .k
1103
+ while self .rank (rtn ) <= x :
1104
+ n += 1
1105
+ rtn [0 ] = n
1106
+ rtn [0 ] -= 1
1111
1107
1112
- return IntegerVectors .unrank (self , x , rtn )
1108
+ return IntegerVectors ._unrank_helper (self , x , rtn )
1113
1109
1114
1110
def cardinality (self ):
1115
1111
"""
@@ -1124,8 +1120,7 @@ def cardinality(self):
1124
1120
"""
1125
1121
if self .k == 0 :
1126
1122
return Integer (1 )
1127
- else :
1128
- return PlusInfinity ()
1123
+ return PlusInfinity ()
1129
1124
1130
1125
1131
1126
class IntegerVectors_nk (UniqueRepresentation , IntegerVectors ):
@@ -1340,10 +1335,9 @@ def unrank(self, x):
1340
1335
"""
1341
1336
if x >= self .cardinality ():
1342
1337
raise IndexError (f"Index { x } is out of range for the IntegerVector." )
1343
- else :
1344
- rtn = [0 ]* self .k
1345
- rtn [0 ] = self .n
1346
- return IntegerVectors .unrank (self , x , rtn )
1338
+ rtn = [0 ]* self .k
1339
+ rtn [0 ] = self .n
1340
+ return IntegerVectors ._unrank_helper (self , x , rtn )
1347
1341
1348
1342
def cardinality (self ):
1349
1343
"""
0 commit comments