@@ -266,14 +266,14 @@ impl Mul<BigUint, BigUint> for BigUint {
266
266
// (a1*b1 + a0*b0 - (a1-b0)*(b1-a0)) * base +
267
267
// a0*b0
268
268
let half_len = cmp:: max ( s_len, o_len) / 2 ;
269
- let ( sHi , sLo ) = cut_at ( self , half_len) ;
270
- let ( oHi , oLo ) = cut_at ( other, half_len) ;
269
+ let ( s_hi , s_lo ) = cut_at ( self , half_len) ;
270
+ let ( o_hi , o_lo ) = cut_at ( other, half_len) ;
271
271
272
- let ll = sLo * oLo ;
273
- let hh = sHi * oHi ;
272
+ let ll = s_lo * o_lo ;
273
+ let hh = s_hi * o_hi ;
274
274
let mm = {
275
- let ( s1, n1) = sub_sign ( sHi , sLo ) ;
276
- let ( s2, n2) = sub_sign ( oHi , oLo ) ;
275
+ let ( s1, n1) = sub_sign ( s_hi , s_lo ) ;
276
+ let ( s2, n2) = sub_sign ( o_hi , o_lo ) ;
277
277
match ( s1, s2) {
278
278
( Equal , _) | ( _, Equal ) => hh + ll,
279
279
( Less , Greater ) | ( Greater , Less ) => hh + ll + ( n1 * n2) ,
@@ -1778,10 +1778,10 @@ mod biguint_tests {
1778
1778
#[ test]
1779
1779
fn test_add( ) {
1780
1780
for elm in sum_triples. iter( ) {
1781
- let ( aVec , bVec , cVec ) = * elm;
1782
- let a = BigUint :: from_slice( aVec ) ;
1783
- let b = BigUint :: from_slice( bVec ) ;
1784
- let c = BigUint :: from_slice( cVec ) ;
1781
+ let ( a_vec , b_vec , c_vec ) = * elm;
1782
+ let a = BigUint :: from_slice( a_vec ) ;
1783
+ let b = BigUint :: from_slice( b_vec ) ;
1784
+ let c = BigUint :: from_slice( c_vec ) ;
1785
1785
1786
1786
assert!( a + b == c) ;
1787
1787
assert!( b + a == c) ;
@@ -1791,10 +1791,10 @@ mod biguint_tests {
1791
1791
#[ test]
1792
1792
fn test_sub( ) {
1793
1793
for elm in sum_triples. iter( ) {
1794
- let ( aVec , bVec , cVec ) = * elm;
1795
- let a = BigUint :: from_slice( aVec ) ;
1796
- let b = BigUint :: from_slice( bVec ) ;
1797
- let c = BigUint :: from_slice( cVec ) ;
1794
+ let ( a_vec , b_vec , c_vec ) = * elm;
1795
+ let a = BigUint :: from_slice( a_vec ) ;
1796
+ let b = BigUint :: from_slice( b_vec ) ;
1797
+ let c = BigUint :: from_slice( c_vec ) ;
1798
1798
1799
1799
assert!( c - a == b) ;
1800
1800
assert!( c - b == a) ;
@@ -1842,21 +1842,21 @@ mod biguint_tests {
1842
1842
#[ test]
1843
1843
fn test_mul( ) {
1844
1844
for elm in mul_triples. iter( ) {
1845
- let ( aVec , bVec , cVec ) = * elm;
1846
- let a = BigUint :: from_slice( aVec ) ;
1847
- let b = BigUint :: from_slice( bVec ) ;
1848
- let c = BigUint :: from_slice( cVec ) ;
1845
+ let ( a_vec , b_vec , c_vec ) = * elm;
1846
+ let a = BigUint :: from_slice( a_vec ) ;
1847
+ let b = BigUint :: from_slice( b_vec ) ;
1848
+ let c = BigUint :: from_slice( c_vec ) ;
1849
1849
1850
1850
assert!( a * b == c) ;
1851
1851
assert!( b * a == c) ;
1852
1852
}
1853
1853
1854
1854
for elm in div_rem_quadruples. iter( ) {
1855
- let ( aVec , bVec , cVec , dVec ) = * elm;
1856
- let a = BigUint :: from_slice( aVec ) ;
1857
- let b = BigUint :: from_slice( bVec ) ;
1858
- let c = BigUint :: from_slice( cVec ) ;
1859
- let d = BigUint :: from_slice( dVec ) ;
1855
+ let ( a_vec , b_vec , c_vec , d_vec ) = * elm;
1856
+ let a = BigUint :: from_slice( a_vec ) ;
1857
+ let b = BigUint :: from_slice( b_vec ) ;
1858
+ let c = BigUint :: from_slice( c_vec ) ;
1859
+ let d = BigUint :: from_slice( d_vec ) ;
1860
1860
1861
1861
assert!( a == b * c + d) ;
1862
1862
assert!( a == c * b + d) ;
@@ -1866,10 +1866,10 @@ mod biguint_tests {
1866
1866
#[ test]
1867
1867
fn test_div_rem( ) {
1868
1868
for elm in mul_triples. iter( ) {
1869
- let ( aVec , bVec , cVec ) = * elm;
1870
- let a = BigUint :: from_slice( aVec ) ;
1871
- let b = BigUint :: from_slice( bVec ) ;
1872
- let c = BigUint :: from_slice( cVec ) ;
1869
+ let ( a_vec , b_vec , c_vec ) = * elm;
1870
+ let a = BigUint :: from_slice( a_vec ) ;
1871
+ let b = BigUint :: from_slice( b_vec ) ;
1872
+ let c = BigUint :: from_slice( c_vec ) ;
1873
1873
1874
1874
if !a. is_zero ( ) {
1875
1875
assert_eq ! ( c. div_rem( & a) , ( b. clone( ) , Zero :: zero( ) ) ) ;
@@ -1880,11 +1880,11 @@ mod biguint_tests {
1880
1880
}
1881
1881
1882
1882
for elm in div_rem_quadruples. iter ( ) {
1883
- let ( aVec , bVec , cVec , dVec ) = * elm;
1884
- let a = BigUint :: from_slice ( aVec ) ;
1885
- let b = BigUint :: from_slice ( bVec ) ;
1886
- let c = BigUint :: from_slice ( cVec ) ;
1887
- let d = BigUint :: from_slice ( dVec ) ;
1883
+ let ( a_vec , b_vec , c_vec , d_vec ) = * elm;
1884
+ let a = BigUint :: from_slice ( a_vec ) ;
1885
+ let b = BigUint :: from_slice ( b_vec ) ;
1886
+ let c = BigUint :: from_slice ( c_vec ) ;
1887
+ let d = BigUint :: from_slice ( d_vec ) ;
1888
1888
1889
1889
if !b. is_zero ( ) { assert ! ( a. div_rem( & b) == ( c, d) ) ; }
1890
1890
}
@@ -2351,10 +2351,10 @@ mod bigint_tests {
2351
2351
#[ test]
2352
2352
fn test_add ( ) {
2353
2353
for elm in sum_triples. iter ( ) {
2354
- let ( aVec , bVec , cVec ) = * elm;
2355
- let a = BigInt :: from_slice ( Plus , aVec ) ;
2356
- let b = BigInt :: from_slice ( Plus , bVec ) ;
2357
- let c = BigInt :: from_slice ( Plus , cVec ) ;
2354
+ let ( a_vec , b_vec , c_vec ) = * elm;
2355
+ let a = BigInt :: from_slice ( Plus , a_vec ) ;
2356
+ let b = BigInt :: from_slice ( Plus , b_vec ) ;
2357
+ let c = BigInt :: from_slice ( Plus , c_vec ) ;
2358
2358
2359
2359
assert ! ( a + b == c) ;
2360
2360
assert ! ( b + a == c) ;
@@ -2370,10 +2370,10 @@ mod bigint_tests {
2370
2370
#[ test]
2371
2371
fn test_sub ( ) {
2372
2372
for elm in sum_triples. iter ( ) {
2373
- let ( aVec , bVec , cVec ) = * elm;
2374
- let a = BigInt :: from_slice ( Plus , aVec ) ;
2375
- let b = BigInt :: from_slice ( Plus , bVec ) ;
2376
- let c = BigInt :: from_slice ( Plus , cVec ) ;
2373
+ let ( a_vec , b_vec , c_vec ) = * elm;
2374
+ let a = BigInt :: from_slice ( Plus , a_vec ) ;
2375
+ let b = BigInt :: from_slice ( Plus , b_vec ) ;
2376
+ let c = BigInt :: from_slice ( Plus , c_vec ) ;
2377
2377
2378
2378
assert ! ( c - a == b) ;
2379
2379
assert ! ( c - b == a) ;
@@ -2427,10 +2427,10 @@ mod bigint_tests {
2427
2427
#[ test]
2428
2428
fn test_mul ( ) {
2429
2429
for elm in mul_triples. iter ( ) {
2430
- let ( aVec , bVec , cVec ) = * elm;
2431
- let a = BigInt :: from_slice ( Plus , aVec ) ;
2432
- let b = BigInt :: from_slice ( Plus , bVec ) ;
2433
- let c = BigInt :: from_slice ( Plus , cVec ) ;
2430
+ let ( a_vec , b_vec , c_vec ) = * elm;
2431
+ let a = BigInt :: from_slice ( Plus , a_vec ) ;
2432
+ let b = BigInt :: from_slice ( Plus , b_vec ) ;
2433
+ let c = BigInt :: from_slice ( Plus , c_vec ) ;
2434
2434
2435
2435
assert ! ( a * b == c) ;
2436
2436
assert ! ( b * a == c) ;
@@ -2440,11 +2440,11 @@ mod bigint_tests {
2440
2440
}
2441
2441
2442
2442
for elm in div_rem_quadruples. iter ( ) {
2443
- let ( aVec , bVec , cVec , dVec ) = * elm;
2444
- let a = BigInt :: from_slice ( Plus , aVec ) ;
2445
- let b = BigInt :: from_slice ( Plus , bVec ) ;
2446
- let c = BigInt :: from_slice ( Plus , cVec ) ;
2447
- let d = BigInt :: from_slice ( Plus , dVec ) ;
2443
+ let ( a_vec , b_vec , c_vec , d_vec ) = * elm;
2444
+ let a = BigInt :: from_slice ( Plus , a_vec ) ;
2445
+ let b = BigInt :: from_slice ( Plus , b_vec ) ;
2446
+ let c = BigInt :: from_slice ( Plus , c_vec ) ;
2447
+ let d = BigInt :: from_slice ( Plus , d_vec ) ;
2448
2448
2449
2449
assert ! ( a == b * c + d) ;
2450
2450
assert ! ( a == c * b + d) ;
@@ -2479,21 +2479,21 @@ mod bigint_tests {
2479
2479
}
2480
2480
2481
2481
for elm in mul_triples. iter ( ) {
2482
- let ( aVec , bVec , cVec ) = * elm;
2483
- let a = BigInt :: from_slice ( Plus , aVec ) ;
2484
- let b = BigInt :: from_slice ( Plus , bVec ) ;
2485
- let c = BigInt :: from_slice ( Plus , cVec ) ;
2482
+ let ( a_vec , b_vec , c_vec ) = * elm;
2483
+ let a = BigInt :: from_slice ( Plus , a_vec ) ;
2484
+ let b = BigInt :: from_slice ( Plus , b_vec ) ;
2485
+ let c = BigInt :: from_slice ( Plus , c_vec ) ;
2486
2486
2487
2487
if !a. is_zero ( ) { check ( & c, & a, & b, & Zero :: zero ( ) ) ; }
2488
2488
if !b. is_zero ( ) { check ( & c, & b, & a, & Zero :: zero ( ) ) ; }
2489
2489
}
2490
2490
2491
2491
for elm in div_rem_quadruples. iter ( ) {
2492
- let ( aVec , bVec , cVec , dVec ) = * elm;
2493
- let a = BigInt :: from_slice ( Plus , aVec ) ;
2494
- let b = BigInt :: from_slice ( Plus , bVec ) ;
2495
- let c = BigInt :: from_slice ( Plus , cVec ) ;
2496
- let d = BigInt :: from_slice ( Plus , dVec ) ;
2492
+ let ( a_vec , b_vec , c_vec , d_vec ) = * elm;
2493
+ let a = BigInt :: from_slice ( Plus , a_vec ) ;
2494
+ let b = BigInt :: from_slice ( Plus , b_vec ) ;
2495
+ let c = BigInt :: from_slice ( Plus , c_vec ) ;
2496
+ let d = BigInt :: from_slice ( Plus , d_vec ) ;
2497
2497
2498
2498
if !b. is_zero ( ) {
2499
2499
check ( & a, & b, & c, & d) ;
@@ -2522,21 +2522,21 @@ mod bigint_tests {
2522
2522
check_sub ( & a. neg ( ) , & b. neg ( ) , q, & r. neg ( ) ) ;
2523
2523
}
2524
2524
for elm in mul_triples. iter ( ) {
2525
- let ( aVec , bVec , cVec ) = * elm;
2526
- let a = BigInt :: from_slice ( Plus , aVec ) ;
2527
- let b = BigInt :: from_slice ( Plus , bVec ) ;
2528
- let c = BigInt :: from_slice ( Plus , cVec ) ;
2525
+ let ( a_vec , b_vec , c_vec ) = * elm;
2526
+ let a = BigInt :: from_slice ( Plus , a_vec ) ;
2527
+ let b = BigInt :: from_slice ( Plus , b_vec ) ;
2528
+ let c = BigInt :: from_slice ( Plus , c_vec ) ;
2529
2529
2530
2530
if !a. is_zero ( ) { check ( & c, & a, & b, & Zero :: zero ( ) ) ; }
2531
2531
if !b. is_zero ( ) { check ( & c, & b, & a, & Zero :: zero ( ) ) ; }
2532
2532
}
2533
2533
2534
2534
for elm in div_rem_quadruples. iter ( ) {
2535
- let ( aVec , bVec , cVec , dVec ) = * elm;
2536
- let a = BigInt :: from_slice ( Plus , aVec ) ;
2537
- let b = BigInt :: from_slice ( Plus , bVec ) ;
2538
- let c = BigInt :: from_slice ( Plus , cVec ) ;
2539
- let d = BigInt :: from_slice ( Plus , dVec ) ;
2535
+ let ( a_vec , b_vec , c_vec , d_vec ) = * elm;
2536
+ let a = BigInt :: from_slice ( Plus , a_vec ) ;
2537
+ let b = BigInt :: from_slice ( Plus , b_vec ) ;
2538
+ let c = BigInt :: from_slice ( Plus , c_vec ) ;
2539
+ let d = BigInt :: from_slice ( Plus , d_vec ) ;
2540
2540
2541
2541
if !b. is_zero ( ) {
2542
2542
check ( & a, & b, & c, & d) ;
0 commit comments