@@ -71,7 +71,11 @@ def sample_to_str(i):
7171
7272
7373def sample_to_int (x ):
74- return "mnbvcxzlkjhgfdsapoiuytrewqMNBVCXZLKJHGFDSAPOIUYTREWQ5432167890" .index (x )
74+ return (
75+ "mnbvcxzlkjhgfdsapoiuytrewqMNBVCXZLKJHGFDSAPOIUYTREWQ5432167890" .index (
76+ x
77+ )
78+ )
7579
7680
7781def sample_froidure_pin ():
@@ -181,7 +185,9 @@ def check_froidure_pin_to_congruence(Word):
181185
182186
183187def test_to_FroidurePin_000 ():
184- fp = check_cong_to_froidure_pin (KnuthBendix , str , Rewriter = "RewriteFromLeft" )
188+ fp = check_cong_to_froidure_pin (
189+ KnuthBendix , str , Rewriter = "RewriteFromLeft"
190+ )
185191 assert isinstance (to_cxx (fp ), FroidurePinKBEStringRewriteFromLeft )
186192
187193
@@ -191,7 +197,9 @@ def test_to_FroidurePin_001():
191197
192198
193199def test_to_FroidurePin_002 ():
194- fp = check_cong_to_froidure_pin (KnuthBendix , int , Rewriter = "RewriteFromLeft" )
200+ fp = check_cong_to_froidure_pin (
201+ KnuthBendix , int , Rewriter = "RewriteFromLeft"
202+ )
195203 assert isinstance (to_cxx (fp ), FroidurePinKBEWordRewriteFromLeft )
196204
197205
@@ -308,7 +316,9 @@ def test_to_FroidurePin_013():
308316
309317
310318def test_to_ToddCoxeter_014 ():
311- tc = check_cong_to_todd_coxeter (KnuthBendix , str , Rewriter = "RewriteFromLeft" )
319+ tc = check_cong_to_todd_coxeter (
320+ KnuthBendix , str , Rewriter = "RewriteFromLeft"
321+ )
312322 assert isinstance (tc , ToddCoxeter )
313323 assert tc .py_template_params == (str ,)
314324
@@ -320,7 +330,9 @@ def test_to_ToddCoxeter_015():
320330
321331
322332def test_to_ToddCoxeter_016 ():
323- tc = check_cong_to_todd_coxeter (KnuthBendix , int , Rewriter = "RewriteFromLeft" )
333+ tc = check_cong_to_todd_coxeter (
334+ KnuthBendix , int , Rewriter = "RewriteFromLeft"
335+ )
324336 assert isinstance (tc , ToddCoxeter )
325337 assert tc .py_template_params == (list [int ],)
326338
@@ -706,13 +718,15 @@ def test_to_InversePresentation_032():
706718 assert iq .inverses () == [3 , 4 , 5 , 0 , 1 , 2 ]
707719 assert iq .rules == q .rules
708720
709- assert to (to (p , Return = (Presentation , list [int ])), Return = (InversePresentation ,)) == to (
721+ assert to (
722+ to (p , Return = (Presentation , list [int ])), Return = (InversePresentation ,)
723+ ) == to (
710724 to (p , Return = (InversePresentation ,)), Return = (Presentation , list [int ])
711725 )
712726
713- assert to (to ( q , Return = ( Presentation , str )), Return = ( InversePresentation ,)) == to (
714- to (q , Return = (InversePresentation , )), Return = (Presentation , str )
715- )
727+ assert to (
728+ to (q , Return = (Presentation , str )), Return = (InversePresentation , )
729+ ) == to ( to ( q , Return = ( InversePresentation ,)), Return = ( Presentation , str ))
716730
717731
718732###############################################################################
0 commit comments