[genius] Sun Dec 25 10:28:09 2011 Jiri (George) Lebl <jirka 5z com>

[George Lebl <jirka src gnome org>]

commit 8bc286119e35a10df014e4e4ada7539a2d64caec
Author: Jiri (George) Lebl <jirka 5z com>
Date:   Sun Dec 25 10:28:13 2011 -0600

    Sun Dec 25 10:28:09 2011  Jiri (George) Lebl <jirka 5z com>
    
    	* lib/number_theory/primes.gel: update where GIMPS has gotten in
    	  doublechecking

 ChangeLog                    |    5 +++++
 lib/number_theory/primes.gel |    6 +++---
 2 files changed, 8 insertions(+), 3 deletions(-)
---
diff --git a/ChangeLog b/ChangeLog
index 5b91133..862792a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+Sun Dec 25 10:28:09 2011  Jiri (George) Lebl <jirka 5z com>
+
+	* lib/number_theory/primes.gel: update where GIMPS has gotten in
+	  doublechecking
+
 Wed Dec 07 01:40:42 2011  Jiri (George) Lebl <jirka 5z com>
 
 	* src/mpwrap.c: fix roots of negative numbers when numerator of power
diff --git a/lib/number_theory/primes.gel b/lib/number_theory/primes.gel
index 27f92b2..8c91ec8 100644
--- a/lib/number_theory/primes.gel
+++ b/lib/number_theory/primes.gel
@@ -120,10 +120,10 @@ function IsMersennePrimeExponent(p) = (
 		return true;
 
 	# http://www.mersenne.org / GIMPS doublechecked everything up
-	# to 22,338,397 (on Jul. 12, 2011)
-	if p <= 22338397 then
+	# to 24,052,939 (on Dec. 25, 2011)
+	if p <= 24052939 then
 		return false;
 
-	error("IsMersennePrimeExponent: Number too large (known values up to: " + 22338397 + ")");
+	error("IsMersennePrimeExponent: Number too large (known values up to: " + 24052939 + ")");
 	bailout
 );