4 ms·
Anyone know what primality test they use? Miller-Rabin for testing then something deterministic for verification?
by eximius 8y ago
Anyone know what primality test they use? Miller-Rabin for testing then something deterministic for verification?
- ehsankia 8y agoThey use Lucas-Lehmer's[0] which is specifically for Mersenne primes[1] https://www.mersenne.org/various/math.php#lucas-lehmer https://www.mersenne.org/various/math.php#lucas-lehmer https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality_test https://en.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primality...