New code for primality testing

paul zimmermann Paul.Zimmermann at inria.fr
Thu Nov 22 09:36:24 UTC 2018


       Dear Marco,

> > if you have already implemented BPSW, probaby the simplest is to make
> > mpz_probab_prime_p use BPSW (removing the reps argument), and have another
> 
> We did. The newly implemented test was the main reason for this thread.
> 
> Currently we did not change the interface. BPSW is used as a first step in
> mpz_probab_prime_p, and substitute the first "number" repetitions, then
> the remaining iteration of MillerRabin are used. This is intended for
> GMP-6.2.
> 
> Do you have suggestions for that "number"? Then, I agree, for GMP-7 we
> will have to redesign the interface...

since no counter-example is known for BPSW, you could substitute all REPS
iterations.

On the other hand, you could leave all REPS iterations, and hope a
counter-example is found by GMP (in that case, make sure to send the
counter-example to the gmp-devel list).

Paul



More information about the gmp-devel mailing list