fn modulo_power(mut base: u64, mut power: u64, modulo: u64) -> u64 {
base %= modulo;
if base == 0 {
return 0; }
let mut ans: u128 = 1;
let mut bbase: u128 = base as u128;
while power > 0 {
if (power % 2) == 1 {
ans = (ans * bbase) % (modulo as u128);
}
bbase = (bbase * bbase) % (modulo as u128);
power /= 2;
}
ans as u64
}
fn check_prime_base(number: u64, base: u64, two_power: u64, odd_power: u64) -> bool {
let mut x: u128 = modulo_power(base, odd_power, number) as u128;
let bnumber: u128 = number as u128;
if x == 1 || x == (bnumber - 1) {
return true;
}
for _ in 1..two_power {
x = (x * x) % bnumber;
if x == (bnumber - 1) {
return true;
}
}
false
}
pub fn miller_rabin(number: u64, bases: &[u64]) -> u64 {
if number <= 4 {
match number {
2 => return 0,
3 => return 0,
_ => return number,
}
}
if bases.contains(&number) {
return 0;
}
let two_power: u64 = (number - 1).trailing_zeros() as u64;
let odd_power = (number - 1) >> two_power;
for base in bases {
if !check_prime_base(number, *base, two_power, odd_power) {
return *base;
}
}
0
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn basic() {
let default_bases = vec![2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37];
assert_eq!(miller_rabin(3, &default_bases), 0);
assert_eq!(miller_rabin(7, &default_bases), 0);
assert_eq!(miller_rabin(11, &default_bases), 0);
assert_eq!(miller_rabin(2003, &default_bases), 0);
assert_ne!(miller_rabin(1, &default_bases), 0);
assert_ne!(miller_rabin(4, &default_bases), 0);
assert_ne!(miller_rabin(6, &default_bases), 0);
assert_ne!(miller_rabin(21, &default_bases), 0);
assert_ne!(miller_rabin(2004, &default_bases), 0);
assert_eq!(miller_rabin(3629611793, &default_bases), 0);
assert_eq!(miller_rabin(871594686869, &default_bases), 0);
assert_eq!(miller_rabin(968236663804121, &default_bases), 0);
assert_eq!(miller_rabin(6920153791723773023, &default_bases), 0);
assert_ne!(miller_rabin(4546167556336341257, &default_bases), 0);
assert_ne!(miller_rabin(4363186415423517377, &default_bases), 0);
assert_ne!(miller_rabin(815479701131020226, &default_bases), 0);
assert_ne!(miller_rabin(4014703722618821699, &default_bases), 0);
assert_ne!(miller_rabin(3486337000477823777, &default_bases), 0);
}
}