Primo for Linux

Overview
FAQ
Some timings
To do
Changes
Download

Overview

Primo is a primality proving program based on the ECPP (Elliptic Curve Primality Proving) algorithm. Given positive odd integers, it tests whether these integers are prime, and if they are it produces primality certificates. With Primo, one can check crypto-primes and prove whether they are actually prime... or not.

Executable for Linux 64-bit (Ubuntu 11.04/Gnome 2/x86-64 architecture)

A short description of the ECPP algorithm can be found at Elliptic Curve Primality Proving by Eric Weisstein (from MathWorld — A Wolfram Web Resource).

This alpha version was compiled with Free Pascal and Lazarus.

FAQ

Is this Linux version for multicore processors?
Yes, it is.
Does it exist a multicore version for Windows?
No, there is not.
What does "LG64" stand for?
Linux Gnome-2 64-bit.
Why is this version called "alpha"?
Because, from the GUI to the file formats, all can still be modified.
Does the LG64 version run under Linux distributions other than Ubuntu 11.04?
Presumably but I do not know.
Does it exist a command line version for Linux?
No (not yet).

Some timings

The following certification running times were obtained with Primo LG64 using an Intel i7-2600 3.4GHz processor.

N	Decimal size	Sieve bound	Tasks	Running time (alpha 11)	Running time (alpha 15)
10⁹⁹⁹ + 7	1000	2²²	8	1mn 6s	59.66s
10¹⁹⁹⁹ + 7321	2000	2²³	8	14mn 15s	14mn 19s
10²⁹⁹⁹ + 1887	3000	2²⁴	8	1h 34mn	1h 17mn
10³⁹⁹⁹ + 4771	4000	2²⁵	8	4h 33mn	3h 57mn [*]
10⁴⁹⁹⁹ + 22669	5000	2²⁶	8	13h 18mn	10h 8mn
10⁵⁹⁹⁹ + 29379	6000	2²⁷	8	28h 58mn	21h 32mn
10⁶⁹⁹⁹ + 33187	7000	2²⁸	8	61h 28mn	49h 48mn
10⁷⁹⁹⁹ + 35887	8000	2²⁹	8	n/a	89h 49mn

[*] This number is the third ECPP record set with Primo. Its certification, ten years ago, took 2856h!

To do

To rewrite the whole Phase 2 code.
...
To release a beta version.

Changes

v4.0.0 - alpha 15 (May 10, 2012)

Sieve upper bound increased up to 2³².
Fixed a bug concerning the new class invariants added to v. alpha 13. Thanks to Ed Hall who reported it.
Minor cosmetic changes.

v4.0.0 - alpha 14 (March 16, 2012)

Fixed a bug concerning the new class invariants added to v. alpha 13. Due to this bug, a certification could be aborted by Primo (internal error 4.0.2.1) during the so-called Phase 2. Thanks to Frank Schickel who reported it.

v4.0.0 - alpha 13 (February 13, 2012)

Sieve upper bound increased up to 2³¹.
Added new class invariants.
New data files.
Modified the backtrack strategy.

v4.0.0 - alpha 12 (November 8, 2011)

New data files.

v4.0.0 - alpha 11 (October 10, 2011)

Fixed two bugs regarding the backtracking stuff.
New data files.
Added [Setup, resume:n] sections to .cr files.

v4.0.0 - alpha 10 (August 22, 2011)

Fixed a bug regarding the verification stuff. Thanks to Tom Wu who reported it.
Minor cosmetic changes.

v4.0.0 - alpha 9 (August 14, 2011)

Very first 64-bit version.
No more Confirm to abort button (clicking on the Abort button immediately terminates the certifications/verifications).
The .t<n> and .s<n> binary files are not compatible with the 32-bit versions (it is impossible to resume a certification started with a 32-bit version).
New help file.

v4.0.0 - alpha 8 (July 9, 2011)

New data files.
Modified the numbering of the backtracked tests (.cr files).

v4.0.0 - alpha 7 (June 8, 2011)

Fixed a bug that was sleeping since 10 years: some very particular numbers could be rejected (with the message The candidate is presumably a square) whereas they might be prime. Thanks to David Harrison who reported it.
Fixed a bug regarding the backtracking indicator. Thanks to Tom Wu who reported it.
Number of possible concurrent tasks increased up to 16.
Miscellaneous cosmetic and naming changes.

v4.0.0 - alpha 6 (May 25, 2011)