1
cf. Rabin’s Algorithm and Miller-Rabin’s Algorithm in the Algorithmic part (menu Help ▸ Manuals ▸ Programming).
2