[genius] Mon Sep 22 14:41:46 2014 Jiri (George) Lebl <jirka 5z com>

[George Lebl <jirka src gnome org>]

commit 247940195c0c8250574a0cd8afe8c1ae4a741cfe
Author: Jiri (George) Lebl <jiri lebl gmail com>
Date:   Mon Sep 22 14:41:49 2014 -0500

    Mon Sep 22 14:41:46 2014  Jiri (George) Lebl <jirka 5z com>
    
        * lib/number_theory/primes.gel: I was misunderstanding the GIMPS
          output on doublechecked exponents, leading to an incredibly
          miniscule chance of reporting the wrong result on the least
          non-double-checked exponent (in case the double check would prove
          the initial LL wrong)

 ChangeLog                    |    8 ++++++++
 lib/number_theory/primes.gel |    4 ++--
 2 files changed, 10 insertions(+), 2 deletions(-)
---
diff --git a/ChangeLog b/ChangeLog
index ec64714..dc40399 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+Mon Sep 22 14:41:46 2014  Jiri (George) Lebl <jirka 5z com>
+
+       * lib/number_theory/primes.gel: I was misunderstanding the GIMPS
+         output on doublechecked exponents, leading to an incredibly
+         miniscule chance of reporting the wrong result on the least
+         non-double-checked exponent (in case the double check would prove
+         the initial LL wrong)
+
 Mon Sep 22 13:17:18 2014  Jiri (George) Lebl <jirka 5z com>
 
        * src/examples.c, gtkextra/*.c: fix compiler warnings.  Also fix an
diff --git a/lib/number_theory/primes.gel b/lib/number_theory/primes.gel
index d9cd764..78d498f 100644
--- a/lib/number_theory/primes.gel
+++ b/lib/number_theory/primes.gel
@@ -121,8 +121,8 @@ function IsMersennePrimeExponent(p) = (
                return true;
 
        # http://www.mersenne.org / GIMPS doublechecked everything up
-       # to 30,852,383 (on Aug 19, 2014)
-       if p <= 30852383 then
+       # to 30,852,383 (on Sep 22, 2014)
+       if p < 30852383 then
                return false;
 
        error("IsMersennePrimeExponent: Number too large (known values up to: " + 30852383 + ")");