The Rabin-Miller primality test may return a false positive with low probability, but never returns a false negative. A return value of False guarantees that the input is composite; a return value of ...
# the Lucas sequence U_k modulo n and checking if U_{n+1} ≡ 0 (mod n). # The test chooses an auxiliary parameter D such that the Jacobi symbol ...