Primality by Wilson's theorem: Difference between revisions

Content added Content deleted
Line 83: Line 83:


isprime(N) when N < 2 -> false;
isprime(N) when N < 2 -> false;
isprime(N) when N band 1 =:= 0 -> N =:= 2;
isprime(N) -> fac_mod(N - 1, N) =:= N - 1.
isprime(N) -> fac_mod(N - 1, N) =:= N - 1.


Line 99: Line 100:
103,107,109,113,127]
103,107,109,113,127]
</pre>
</pre>

=={{header|Factor}}==
=={{header|Factor}}==
{{works with|Factor|0.99 2019-10-06}}
{{works with|Factor|0.99 2019-10-06}}