Al in all, this is quite ok, and makes me feel good, safe, regardless of whatever the reason is. In the sense there are no false-negatives in the database (i.e. missed primes :P). If we are about to eliminate an exponent, then let's be completely sure the associated mersenne number is composite...
Last fiddled with by LaurV on 2012-04-24 at 09:25
|