[genius] Wed Jul 22 00:30:36 2009 Jiri (George) Lebl <jirka 5z com>

[George Lebl <jirka src gnome org>]

commit 9fe7b060efd1e7eeff53f51475dba2b2ff8e3763
Author: Jiri (George) Lebl <jirka 5z com>
Date:   Wed Jul 22 00:30:56 2009 -0500

    Wed Jul 22 00:30:36 2009  Jiri (George) Lebl <jirka 5z com>
    
    	* lib/number_theory/primes.gel: update for newest info from
    	  GIMPS.  Also fix MersennePrimeExponents (it had 3 columns by
    	  mistake)

 ChangeLog                    |    6 ++++++
 lib/number_theory/primes.gel |   11 ++++++-----
 2 files changed, 12 insertions(+), 5 deletions(-)
---
diff --git a/ChangeLog b/ChangeLog
index 3d91e8c..559eccd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+Wed Jul 22 00:30:36 2009  Jiri (George) Lebl <jirka 5z com>
+
+	* lib/number_theory/primes.gel: update for newest info from
+	  GIMPS.  Also fix MersennePrimeExponents (it had 3 columns by
+	  mistake)
+
 Fri Jul 10 14:53:41 2009  Jiri (George) Lebl <jirka 5z com>
 
 	* help/C/figures/genius_window.png, help/C/figures/line_plot.png,
diff --git a/lib/number_theory/primes.gel b/lib/number_theory/primes.gel
index 1823f3c..008e4e6 100644
--- a/lib/number_theory/primes.gel
+++ b/lib/number_theory/primes.gel
@@ -106,8 +106,9 @@ MersennePrimeExponents = [2
 24036583
 25964951
 30402457
-32582657,
-37156667,
+32582657
+37156667
+42643801
 43112609];
 protect("MersennePrimeExponents");
 
@@ -124,11 +125,11 @@ function IsMersennePrimeExponent(p) = (
 		return true;
 
 	# http://www.mersenne.org / GIMPS doublechecked everything up
-	# to 17,001,247
-	if p <= 17001247 then
+	# to 18,297,089 (on Jul. 22, 2009)
+	if p <= 18297089 then
 		return false;
 
-	error("IsMersennePrimeExponent: Number too large (known values up to: " + 17001247 + ")");
+	error("IsMersennePrimeExponent: Number too large (known values up to: " + 18297089 + ")");
 	bailout
 );
 protect("IsMersennePrimeExponent")