| Currently there may be errors shown on top of a page, because of a missing Wiki update (PHP version and extension DPL3). |
| Topics | Help • Register • News • History • How to • Sequences statistics • Template prototypes |
Difference between revisions of "Double check"
m |
(Crandall) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 2: | Line 2: | ||
Various factors can cause errors (or false answers) to occur: | Various factors can cause errors (or false answers) to occur: | ||
| − | *[[hardware]] failure (overheated [[CPU]]s, bad memory chips, or even faulty | + | *[[hardware]] failure (overheated [[CPU]]s, bad memory chips, or even faulty hardware design like the [[Pentium Bug]]) |
| − | *[[software]] failure (bad [[algorithm]], mistakes in [[program]] writing, | + | *[[software]] failure (bad [[algorithm]], mistakes in [[program]] writing, corrupt files, etc.) |
*human error (entering wrong number to test, misreading data, etc.) | *human error (entering wrong number to test, misreading data, etc.) | ||
*random bit error (This is separate from hardware errors, cosmic rays can change a single bit on occasion.) | *random bit error (This is separate from hardware errors, cosmic rays can change a single bit on occasion.) | ||
| − | *other outside factors (power loss when writing data, | + | *other outside factors (power loss when writing data, malicious acts, lying, etc.) |
To guard against such factors it is important to perform a double check on all critcal data. [[PrimeNet]] does a verfication on all [[factor]]s reported. (It is easy to check a number for a single factor.) | To guard against such factors it is important to perform a double check on all critcal data. [[PrimeNet]] does a verfication on all [[factor]]s reported. (It is easy to check a number for a single factor.) | ||
For all [[Lucas-Lehmer test]] (LL) results, [[Prime95]] reports any [[error code]]s. Any 'bad' or 'fatal' errors causes the [[exponent]] to be put back in the queue for [[worktype|first time testing]]. Also reported is the last few [[digit]]s of the [[residue]] (the end result of the LL test, zero if a number is [[prime]]). For a number to be verified as composite (or prime) (by the LL test), a second run of the test must have a matching residue. Other than a different random [[offset]], a first time test and a double check are identical. | For all [[Lucas-Lehmer test]] (LL) results, [[Prime95]] reports any [[error code]]s. Any 'bad' or 'fatal' errors causes the [[exponent]] to be put back in the queue for [[worktype|first time testing]]. Also reported is the last few [[digit]]s of the [[residue]] (the end result of the LL test, zero if a number is [[prime]]). For a number to be verified as composite (or prime) (by the LL test), a second run of the test must have a matching residue. Other than a different random [[offset]], a first time test and a double check are identical. | ||
| − | When a new [[Mersenne prime]] is found, Prime95 saves the last [[GIMPS client files|save file]]. This can be used to do a quick, partial double check. This is '''not''' an | + | When a new [[Mersenne prime]] is found, Prime95 saves the last [[GIMPS client files|save file]]. This can be used to do a quick, partial double check. This is '''not''' an independent check. To verify that the number is prime, it must be tested by a different program on a different CPU architecture. As a matter of course, recently, this has typically involved 2 independent double checks. [[Mlucas]] and [[Glucas]] are used and 2 different processor types are used. [[Landon Curt Noll]]'s [[Mprime (Cray)|mprime]] and [[Richard E. Crandall]]'s software have also been used. Future discoveries will also likely be checked by [[maclucas.cuda]] on a [[GPU]]. Various other individuals, such as [[Chris Caldwell]], have written their own software or used a commercial math package and verified (double checked) every Mersenne prime that has been reported. |
[[Category:Primality tests]] | [[Category:Primality tests]] | ||
Latest revision as of 07:14, 17 October 2024
Any calculation (by man or machine) is subject to possible errors. GIMPS and the broader mathematics community perform double checks to verify results.
Various factors can cause errors (or false answers) to occur:
- hardware failure (overheated CPUs, bad memory chips, or even faulty hardware design like the Pentium Bug)
- software failure (bad algorithm, mistakes in program writing, corrupt files, etc.)
- human error (entering wrong number to test, misreading data, etc.)
- random bit error (This is separate from hardware errors, cosmic rays can change a single bit on occasion.)
- other outside factors (power loss when writing data, malicious acts, lying, etc.)
To guard against such factors it is important to perform a double check on all critcal data. PrimeNet does a verfication on all factors reported. (It is easy to check a number for a single factor.) For all Lucas-Lehmer test (LL) results, Prime95 reports any error codes. Any 'bad' or 'fatal' errors causes the exponent to be put back in the queue for first time testing. Also reported is the last few digits of the residue (the end result of the LL test, zero if a number is prime). For a number to be verified as composite (or prime) (by the LL test), a second run of the test must have a matching residue. Other than a different random offset, a first time test and a double check are identical.
When a new Mersenne prime is found, Prime95 saves the last save file. This can be used to do a quick, partial double check. This is not an independent check. To verify that the number is prime, it must be tested by a different program on a different CPU architecture. As a matter of course, recently, this has typically involved 2 independent double checks. Mlucas and Glucas are used and 2 different processor types are used. Landon Curt Noll's mprime and Richard E. Crandall's software have also been used. Future discoveries will also likely be checked by maclucas.cuda on a GPU. Various other individuals, such as Chris Caldwell, have written their own software or used a commercial math package and verified (double checked) every Mersenne prime that has been reported.
