New code for primality testing

[Marco Bodrato]

Ciao,

Il Mer, 21 Novembre 2018 10:43 pm, Torbjörn Granlund ha scritto:
> "Marco Bodrato" <bodrato at mail.dm.unipi.it> writes:
>
>   If we can verify the source of the second claim, since we just
> implemented
>   BPSW, we should decide to return 2 (surely prime) for all "probable"
>   primes under this threshold.
>
> We could check ourselves to a gradually larger bound, then insert our
> latest determined bound into the current GMP code and return 2 for
> smaller primes.

Does this mean that we have to implement an unconditional primality
proving function to test if our "probab_primes" are really primes or they
are not?

Adrien will be happy to read this :-D

Ĝis,
m

-- 
http://bodrato.it/papers/