@@ -40,27 +40,27 @@ fn brent_partial_works() {
4040fn partial_functions_match_full_functions ( ) {
4141 // Test that partial functions return the same lambda as full functions
4242 let f = |x| ( x + 5 ) % 6 + 3 ;
43-
43+
4444 let ( lam_floyd, elem_floyd, mu_floyd) = floyd ( -10 , f) ;
4545 let ( lam_floyd_partial, elem_floyd_partial, mu_tilde_floyd) = floyd_partial ( -10 , f) ;
46-
46+
4747 let ( lam_brent, elem_brent, mu_brent) = brent ( -10 , f) ;
4848 let ( lam_brent_partial, elem_brent_partial, mu_tilde_brent) = brent_partial ( -10 , f) ;
49-
49+
5050 // Lambda should be the same
5151 assert_eq ! ( lam_floyd, lam_floyd_partial) ;
5252 assert_eq ! ( lam_brent, lam_brent_partial) ;
5353 assert_eq ! ( lam_floyd, lam_brent) ;
54-
54+
5555 // Elements should be in the cycle
5656 assert ! ( [ 4 , 6 , 8 ] . contains( & elem_floyd) ) ;
5757 assert ! ( [ 4 , 6 , 8 ] . contains( & elem_floyd_partial) ) ;
5858 assert ! ( [ 4 , 6 , 8 ] . contains( & elem_brent) ) ;
5959 assert ! ( [ 4 , 6 , 8 ] . contains( & elem_brent_partial) ) ;
60-
60+
6161 // Mu values from full algorithms should be the same
6262 assert_eq ! ( mu_floyd, mu_brent) ;
63-
63+
6464 // Mu_tilde should be valid upper bounds
6565 assert ! ( mu_floyd <= mu_tilde_floyd) ;
6666 assert ! ( mu_tilde_floyd < mu_floyd + lam_floyd) ;
0 commit comments