Commit f10d4f38 authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Increase Miller-Rabin bound in primality tests

parent aa2afa6e
......@@ -40,8 +40,8 @@ let map_and_concat_with_commas f xs =
(** Finite field arithmetic *)
let check_finite_field {p; q; g} =
Z.probab_prime p 10 > 0 &&
Z.probab_prime q 10 > 0 &&
Z.probab_prime p 20 > 0 &&
Z.probab_prime q 20 > 0 &&
check_modulo p g &&
check_modulo p q &&
Z.(powm g q p =% one)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment