`algorithms/primaility`: Combined basis srp

[github-actions[bot]]

On 2022-06-09 @recmo wrote in f0f0ddb “Merge pull request #126 from recmo/redc”:

Combined basis srp

pub fn is_prime(n: u64) -> bool {
    // Sufficient set of bases for `u64`
    // See <https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test#Testing_against_small_sets_of_bases>
    // See <https://miller-rabin.appspot.com/>
    // OPT: This method <https://www.techneon.com/> ?
    // OPT: Combined basis srp
    miller_rabin(n, 2) &&
    miller_rabin(n, 325) &&
    miller_rabin(n, 9375) &&
    miller_rabin(n, 28178) &&
    miller_rabin(n, 450775) &&

From src/algorithms/primaility.rs:17