Changes
v4.2.0 (March 3, 2016)
  • NEW CERTIFICATE FORMAT.
    Since the certificate signature scheme was modified (the previous stuff was too old and not at all adapted to 64-bit processors), things that should have been changed since long were also modified.
  • Added a check box to the Verification page. Its associated option allows to update certificates from the old format 3 to the new format 4 (when signing or checking signatures).
  • NEW TUNING FOR THE PHASE #1.
    The produced certificates contain less tests (on average) and, consequently, their checking is slightly faster.
  • Added a "Setup..." item to the main menu.
  • Modified the "Elapsed time" chrono for certifications and verifications. It now indicates the whole certification/verification running time. Up to now, it was not the case when aborting/resuming.
  • Added new discriminants.
  • Added Girstmair polynomial factorization. It speeds a little up the factorization of polynomials having a small degree and a cyclic Galois group.
  • Almost all of the assembler code parts were rewritten.
  • Fixed a bug that could raise the internal error 4.0.2.1. Thanks to Richard Dickerson who reported it.
v4.1.1 (January 4, 2015)
  • Maximal size of candidates increased up to 116224 bits (35000 decimal digits).
  • Number of possible concurrent tasks increased up to 48.
  • Added new discriminants.
  • Modified the factorization of polynomials. It now requires a little less memory.
  • Added double-eta quotient invariants in order to compute class polynomials with smaller coefficients. (It is almost sure now that the patent WO/2005/004383 will not be granted, at least the claims 1, 2, 3, and 6.)
v4.1.0 (January 4, 2014)
  • Fixed a bug concerning the verifier code. The new Primo versions can produce tests of type 3 or 4 with a S value equal to 1 but the verifier code was not updated accordingly. Thanks to Dana Jacobsen who reported it.
  • Fixed a cosmetic bug.
  • Modified the input file format and the expression parser. See "Input file" in the help file.
  • Modified (slightly) the backtrack rules.
  • Added new discriminants.
  • Added an extended sieve stuff.
  • Replaced the tkcs, tkc1, tkc2 and tkcv executable files with ptk0, ptk1, ptk2 and ptk3.
v4.0.5 (November 7, 2013)
  • Fixed a bug that could raise the internal error 1.17.102.1 during the phase 1.
v4.0.4 (September 15, 2013)
  • Fixed a bug that could raise internal errors (1.13.9.7 or 1.17.4.1) during the phase 2. Thanks to Richard Dickerson who reported it.
  • More discriminants.
  • Sieve Parameters setting modified.
  • Sieve code modified (the sieving part should be slightly faster with very big numbers)
v4.0.3 (April 18, 2013)
  • Modified the Sieve Parameters setting.
  • Updated the help file (Sieve parameters topic).
v4.0.2 (April 2, 2013)
  • New discriminant tables.
  • New [Running Times] sections: wall-clock time + process time.
  • Compiled with a more recent version of the Free Pascal compiler.
v4.0.1 (October 28, 2012)
  • Number of possible concurrent tasks increased up to 32.
v4.0.0 - alpha 16 (July 24, 2012)
  • Sieve lower bound set to 222 instead of 220.
  • Slightly faster multiplication (about 10%) with very big numbers.
v4.0.0 - alpha 15 (May 10, 2012)
  • Sieve upper bound increased up to 232.
  • 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 231.
  • 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)
  • Range of the Sieve upper bound increased from (221..228) to (220..230).
  • N±1 and EC tests fully parallelized.
v4.0.0 - alpha 5 (May 9, 2011)
  • Fixed a bug regarding the primo.xd15 data file. Thanks to Tom Wu who reported it.
v4.0.0 - alpha 4 (May 9, 2011)
  • Better parallelization of the so-called Phase 1.
  • New data files.
  • Added a Certification reports option.
v4.0.0 - alpha 3 (April 24, 2011)
  • Fixed cosmetic bugs.
  • Slightly better tuning (hopefully).
v4.0.0 - alpha 2 (April 14, 2011)
  • First Linux release.

Changes regarding the (no more distributed) Windows version
v3.0.9.1
  • Fixed a bug concerning the signatures of very small prime (less than 248) certificates. Thanks to Kevin Trinder who reported it.
v3.0.6
  • An incoherence reported by Norman Luhn has been fixed (when verifying a certificate, if there was an expression in the [Candidate] section, Primo did not check whether this expression was equal to the candidate value).
v2.3.1
  • Fixed a bug that could lead to the internal error 2.15.2. Thanks to Wolfgang Ehrhardt who reported it.
v2.3.0
  • Use of new class invariants. Thanks to Michael Scott who kindly computed the needed modular functions.
v2.1.2
  • Installation problem fixed. Thanks to Sergey Lopatin who reported it.

Valid XHTML 1.0 Strict