Quote:
Originally Posted by lukerichards
I may be missing something here, but why in the definition of Proth (  ) and Reisel (  ) is there the requirement that  ?
There are primes which exist when  so is it for the purposes of more efficient primality testing? |
Otherwise all odd primes would fit both definitions.
The tests that we use to prove them prime rely on these conditions.