| Currently there may be errors shown on top of a page, because of a missing Wiki update (PHP version and extension DPL3). |
Navigation
| Topics | Help • Register • News • History • How to • Sequences statistics • Template prototypes |
Difference between revisions of "Proth.exe"
(new) |
(cat.) |
||
| Line 5: | Line 5: | ||
|latest=7.1<br>2004-05 | |latest=7.1<br>2004-05 | ||
}} | }} | ||
| − | '''Proth.exe''' is an ancient program that implements Proth's theorem. It is used to test the primality of the following forms: | + | '''Proth.exe''' is an ancient program that implements [[Proth's theorem]]. It is used to test the primality of the following forms: |
| − | *k<sup>n</sup>+1 ([[ | + | *k<sup>n</sup>+1 ([[Generalized Fermat number]]s) |
*k*b<sup>n</sup>±1 (by default b is 2 but it can be changed) | *k*b<sup>n</sup>±1 (by default b is 2 but it can be changed) | ||
*n*b<sup>n</sup>±1 ([[Gen._Cullen_prime|Generalized Cullen]]/[[Gen._Woodall_prime|Generalized Woodall]] numbers) | *n*b<sup>n</sup>±1 ([[Gen._Cullen_prime|Generalized Cullen]]/[[Gen._Woodall_prime|Generalized Woodall]] numbers) | ||
Due to the age of the program, it is not optimized for use with modern processors and thus should not be used. Instead newer programs such as [[LLR]] and [[PFGW]] should be used. | Due to the age of the program, it is not optimized for use with modern processors and thus should not be used. Instead newer programs such as [[LLR]] and [[PFGW]] should be used. | ||
| + | [[Category:Primality testing program]] | ||
Revision as of 18:49, 23 June 2019
| Workload type | primality prover |
| First release | ? |
| Latest version | 7.1 2004-05 |
Proth.exe is an ancient program that implements Proth's theorem. It is used to test the primality of the following forms:
- kn+1 (Generalized Fermat numbers)
- k*bn±1 (by default b is 2 but it can be changed)
- n*bn±1 (Generalized Cullen/Generalized Woodall numbers)
Due to the age of the program, it is not optimized for use with modern processors and thus should not be used. Instead newer programs such as LLR and PFGW should be used.
