@@ -94,9 +94,7 @@ def test_monoid_status():
94
94
5
95
95
).contains_empty_word ()
96
96
assert examples .partial_brauer_monoid_KM07 (5 ).contains_empty_word ()
97
- assert examples .partial_isometries_cycle_graph_monoid_FP22 (
98
- 5
99
- ).contains_empty_word ()
97
+ assert examples .partial_isometries_cycle_graph_monoid_FP22 (5 ).contains_empty_word ()
100
98
assert examples .partial_transformation_monoid_MW24 (5 ).contains_empty_word ()
101
99
assert examples .partial_transformation_monoid_Shu60 (5 ).contains_empty_word ()
102
100
assert examples .partition_monoid_Eas11 (5 ).contains_empty_word ()
@@ -118,9 +116,7 @@ def test_monoid_status():
118
116
assert examples .symmetric_inverse_monoid_MW24 (5 ).contains_empty_word ()
119
117
assert examples .symmetric_inverse_monoid_Shu60 (5 ).contains_empty_word ()
120
118
assert examples .temperley_lieb_monoid_Eas21 (5 ).contains_empty_word ()
121
- assert examples .uniform_block_bijection_monoid_Fit03 (
122
- 5
123
- ).contains_empty_word ()
119
+ assert examples .uniform_block_bijection_monoid_Fit03 (5 ).contains_empty_word ()
124
120
assert examples .zero_rook_monoid_Gay18 (5 ).contains_empty_word ()
125
121
126
122
@@ -158,27 +154,19 @@ def test_alternating_group_Moo97():
158
154
159
155
160
156
def test_full_transformation_monoid_Aiz58 ():
161
- check_full_transformation_monoid (
162
- [4 , 5 ], examples .full_transformation_monoid_Aiz58
163
- )
157
+ check_full_transformation_monoid ([4 , 5 ], examples .full_transformation_monoid_Aiz58 )
164
158
165
159
166
160
def test_full_transformation_monoid_II74 ():
167
- check_full_transformation_monoid (
168
- [4 , 5 ], examples .full_transformation_monoid_II74
169
- )
161
+ check_full_transformation_monoid ([4 , 5 ], examples .full_transformation_monoid_II74 )
170
162
171
163
172
164
def test_full_transformation_monoid_MW24_a ():
173
- check_full_transformation_monoid (
174
- [2 , 3 , 4 , 5 ], examples .full_transformation_monoid_MW24_a
175
- )
165
+ check_full_transformation_monoid ([4 , 5 ], examples .full_transformation_monoid_MW24_a )
176
166
177
167
178
- def test_full_transformation_monoid_MW24_b ():
179
- check_full_transformation_monoid (
180
- [3 ], examples .full_transformation_monoid_MW24_b
181
- )
168
+ def test_full_transformation_monoid ():
169
+ check_full_transformation_monoid ([2 ], examples .full_transformation_monoid )
182
170
183
171
184
172
def test_partial_transformation_monoid_Shu60 ():
0 commit comments