pub fn euler_criterion(p: u64, a: u64) -> u64
Expand description

prime modulus p and a != 0 (mod p) user must ensure that p is prime.