Mersenne: de la Rosa

1999-01-11 Thread Benny.VanHoudt



From: Michael Bell [EMAIL PROTECTED]
Subject: Re: Mersenne: N and F

"Benny.VanHoudt" wrote:
 
 I mentioned that this was true for all N if F is an odd factor,
 it's a bit more complicated, it is only true for N even
 if F is an odd factor and F is small enough.
 This because we can't use negative numbers.
 
 For example 12 = 3 + 4 + 5 (F=3, Q=4) works and
 70 = 7+8+9+10+11+12+13 (F=7, Q=10),
 but it fails for 14 because the only odd factor F=7 gives Q=2
 and Q  D.

But surely 14 = -1 + 0 + 1 + 2 + 3 + 4 + 5  (F=7, Q=2, D=3)
Why does it matter that the start of the sequence is negative?
Also: 81 =
- -10-9-8-7-6-5-4-3-2-1+0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16
(F=27, Q=3, D=13)

Indeed but,
The lemma of de la Rosa (1978) says that
a positive integer ( 1) is a prime or a power of 2 iff it cannot be expressed
as the sum of at least three consecutive positive integers.

Thus to use this observation as a proof (for one direction) we cannot
use negative numbers. Meanwhile I realised that you can still use this
properly. Because you can always eliminate the negative numbers, as the
sum of -k -(k-1) ... 0 1 2 ... k-1 k equals zero. You just have to show that
at least three numbers remain but this is a consequence of the fact that
the number in the middle (before the elimination of possible negatives) is
at least 2 (it equals N/F with F a factor  N ).

The other direction of the lemma is just as easy to proof. 

Benny
---
Benny Van Houdt,
University of Antwerp
Dept. Math. and Computer Science
PATS - Performance Analysis of Telecommunication 
   Systems Research Group
Universiteitsplein, 1
B-2610 Antwerp
Belgium
email: [EMAIL PROTECTED]




Re: Mersenne: Errors

1999-01-11 Thread George Woltman

Hi,

At 01:21 PM 1/10/99 +0100, Ignacio Larrosa CaƱestro wrote:
I get the next lines in a results.txt file:
   Iteration: 485/6404297, ERROR: ILLEGAL SUMOUT
   UID: ILC/P166-Casa, M6404297 is not prime. Res64: F06542B838248F__. WT1:
1F13B5C4,403638,
It's correct? Must not be the last field in the last line  ?

Brian is correct.  The problem is that the error count didn't get
written to disk.  In fact, the updated error count is only written
to disk at the next normal save file write.  Thus, the error count 
could take as long as 30 minutes to get written to disk.

I'll investigate a fix for the next release.

Best regards,
George 



Mersenne: Primenet server still unreachable

1999-01-11 Thread Paul Derbyshire

...and I'm now closing on 50% done with this exponent too.
-- 
   .*.  "Clouds are not spheres, mountains are not cones, coastlines are not
-()circles, and bark is not smooth, nor does lightning travel in a
   `*'  straight line."-
-- B. Mandelbrot  |http://surf.to/pgd.net
_ | Paul Derbyshire [EMAIL PROTECTED]
Programmer  Humanist|ICQ: 10423848|