malachite-nz 0.2.3

The bignum types Natural and Integer, with efficient algorithms partially derived from GMP
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

import subprocess

def substitute_constant(const_prefix, input_filename, output_filename, value):
    prefix = f'{const_prefix}: usize = '
    with open(input_filename, 'r') as in_f:
        with open(output_filename, 'w') as out_f:
            for line in in_f.readlines():
                line = line.rstrip()
                if line.startswith(prefix):
                    original_value = line[len(prefix):-1]
                    out_f.write(prefix + value + ';\n')
                else:
                    out_f.write(line + '\n')


def substitute_mul_fft_modf_threshold(input_filename, output_filename, value):
    substitute_constant('pub(crate) const MUL_FFT_MODF_THRESHOLD', input_filename, output_filename, value)


def substitute_hgcd_reduce_threshold(input_filename, output_filename, value):
    substitute_constant('const HGCD_REDUCE_THRESHOLD', input_filename, output_filename, value)


path = 'src/natural/arithmetic/mul/mul_mod.rs'
assert subprocess.call('cp ' + path + ' backup.rs', shell = True) == 0
substitute_mul_fft_modf_threshold('backup.rs', 'temp.rs', '40')
assert subprocess.call('mv temp.rs ' + path, shell = True) == 0
assert subprocess.call('cargo test --test lib --features 32_bit_limbs --features serde --features test_build -- test_limbs_mul_greater_to_out_fft', shell = True) == 0
substitute_mul_fft_modf_threshold('backup.rs', 'temp.rs', '4')
assert subprocess.call('mv temp.rs ' + path, shell = True) == 0
assert subprocess.call('cargo test --test lib --features 32_bit_limbs --features serde --features test_build -- test_limbs_mul_greater_to_out_fft', shell = True) == 0
substitute_mul_fft_modf_threshold('backup.rs', 'temp.rs', '396')
assert subprocess.call('mv temp.rs ' + path, shell = True) == 0
assert subprocess.call('cargo test --test lib --features 32_bit_limbs --features serde --features test_build -- test_limbs_mul_greater_to_out_fft', shell = True) == 0
assert subprocess.call('mv backup.rs ' + path, shell = True) == 0

path = 'src/natural/arithmetic/gcd/half_gcd.rs'
assert subprocess.call('cp ' + path + ' backup.rs', shell = True) == 0
substitute_hgcd_reduce_threshold('backup.rs', 'temp.rs', '200')
assert subprocess.call('mv temp.rs ' + path, shell = True) == 0
assert subprocess.call('cargo test --test lib --features 32_bit_limbs --features serde --features test_build -- test_limbs_gcd_reduced', shell = True) == 0
assert subprocess.call('cargo test --test lib --features serde --features test_build -- test_limbs_gcd_reduced', shell = True) == 0
assert subprocess.call('mv backup.rs ' + path, shell = True) == 0