Miller–Rabin primality test: Difference between revisions

m
Line 922:
% and augmented number of deterministic proving bases.
% Deleted first_1000/0 because not used.
% Modified, January 2426, 2014 @ 5pm10:50am PST.
 
is_prime(1) -> false;
Line 958:
case mr_series(N, A, D, S) of
[1|_] -> false;
L -> not lists:member(N-1, L);
[_|T] -> lists:member(1, T) % foreshortens some searches
end
end,
Anonymous user