summaryrefslogtreecommitdiff
path: root/math/millerRabin.cpp
blob: e9ac9ea34c507dc910a60eb0983ed59c21309e70 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
constexpr ll bases32[] = {2, 7, 61};
constexpr ll bases64[] = {2, 325, 9375, 28178, 450775, 
                          9780504, 1795265022};

bool isPrime(ll n) {
	if(n < 2 || n % 2 == 0) return n == 2;
	ll d = n - 1, j = 0;
	while(d % 2 == 0) d /= 2, j++;
	for(ll a : bases64) {
		if (a % n == 0) continue;
		ll v = powMod(a, d, n); //with mulmod or int128
		if(v == 1 || v == n - 1) continue;
		for(ll i = 1; i <= j; i++) {
			v = (v * v) % n; //mulmod or int128
			if(v == n - 1 || v <= 1) break;
		}
		if(v != n - 1) return false;
	}
	return true;
}