RE: Mersenne: AMD K7 will

1998-10-27 Thread Paul Leyland
The first 32bit intel processor was introduced around '88 -89'. the 486. It wasn't really fully utilized for 5 years. (I know Unix Not true. The iapx432 came out in 1983 or there about. It was not a commercial success, being many years ahead of the technology. It had a fascinating

RE: Mersenne: How to factor further?

1999-03-18 Thread Paul Leyland
I got the idea to do some factoring with my now slower-than-average machine (a P133), but I don't want to factor at the current assignments (in the 9M range); instead I would like to fill up the factor limits of small exponents to some common value (56 bits or 58 bits or so). If what you

RE: Mersenne: Goodbye...

1999-04-04 Thread Paul Leyland
Seconded! If, on the other hand, you'd like to contribute to another project, please consider joining ECMNET and, especially, the client server version described at http://www.interlog.com/~tcharron/ecm.html Paul -Original Message- From: Aaron Blosser [mailto:[EMAIL PROTECTED]] Sent:

Mersenne: Prime95, Prime Server and ECM factoring

1998-12-10 Thread Paul Leyland
Here's what seems to be an interesting little buglet and/or incompatibility. The workaround is simple and I hope that the information below will save others from having to discover it for themselves. My home box is on the web only very intermittently. It finished a LL test several days ago and

RE: Mersenne: Rewards for prime stuff?

1999-02-03 Thread Paul Leyland
The Gaussian primes are 1+i (and associates); integer primes of the form 4n+3 (and their associates) and the factors of integral primes of the form 4n+1. The latter can always be expressed as a^2+b^2 and so their factorization into Gaussian primes is (a+bi)(a-bi). The "smallest"

RE: Mersenne: Re: Factoring bugs

1999-04-09 Thread Paul Leyland
I didn't know they had anything automated. That's a big plus for them. Yes, and very smoothly it runs as well. I'm hosting the master server. I also run sub-servers (one a slave to the master, another on my network at home which is entirely independent) which are ideal for division of labour

RE: Mersenne: factor

1999-04-17 Thread Paul Leyland
Because the large the number, the more factoring is worth doing before changing over to the computationally expensive LL test. Paul -Original Message- From: Cyril Flaig [mailto:[EMAIL PROTECTED]] Sent: 17 April 1999 00:02 To: [EMAIL PROTECTED] Subject: Mersenne: factor Why factors

RE: Mersenne: ECM question

1999-05-06 Thread Paul Leyland
At Paul Zimmerman's ECM page, http://www.loria.fr/~zimmerma/records/ecmnet.html the optimal B1 value listed for finding 50-digit factors is 4300, but George's ECM factoring page uses 4400 for the same purpose. Is one of them wrong, or is there a reason for the difference?

RE: Mersenne: ECM question

1999-05-07 Thread Paul Leyland
The function being minimized, namely probability of finding a 50-digit factor on one curve - time per curve is flat near its minimum. Implementation and platform differences can obviously affect the denominator

RE: Mersenne: RE: Mersenne Digest V1 #568 prize question

1999-06-07 Thread Paul Leyland
The $1500 I offered before the EFF contest began has since gone toward more PrimeNet hardware. Between some GIMPSers, a new prize pool of $.11 has been proposed (the radix is 10 :-) If you think it's worth a few The radix is always 10. I guess you mean the radix is

RE: Mersenne: These go to 11 (WAS: blahblah...)

1999-06-09 Thread Paul Leyland
Ground rules are critical, but how about /.1 where "/" represents the APL-style monadic divide or multiplicative inverse. 1/.1 takes two. Indeed, but ".1" represents 1 / radix, so 1/.1 is just radix. The whole point of my tongue-in-cheek posting was to indicate how an implicit

RE: Mersenne: safe to defrag?

1999-06-24 Thread Paul Leyland
From: Jud McCranie [mailto:[EMAIL PROTECTED]] Since Prime95 writes to the disk periodically, is it safe to do a disk defragmentation while it is running? That, of course, depends on how good your defragger is. Personally, I wouldn't use a defragger that can't be trusted to leave the disk

RE: Mersenne: Hyperbola

1999-07-14 Thread Paul Leyland
From: Kris Garrett [mailto:[EMAIL PROTECTED]] I've noticed that with any odd number you can make the formula x^2 - y^2 = n where n = the odd number and x - y and x + y are factors of n. I was just wondering if one could use the graph of a hyperbola to see only the possible integer values

RE: Mersenne: Hyperbola

1999-07-14 Thread Paul Leyland
From: Brian J. Beesley [mailto:[EMAIL PROTECTED]] On 14 Jul 99, at 1:26, Paul Leyland wrote: Fermat observed that if one could represent an integer as the difference of two squares, its factorization would be at hand; he then gave an efficient (for the 17th Century!) algorithm

RE: Mersenne: Re: FFTW for GIMPS?

1999-09-27 Thread Paul Leyland
From: Olivier Langlois [mailto:[EMAIL PROTECTED]] I've played a little bit FFTW and I've remarked that its performance can vary a lot depending on how good your compiler is at optimization. For instance, compiled FFTW code is far from optimal with MSVC++ 6. This compiler doesn't fully use

RE: Mersenne: Factoring numbers...

1999-10-12 Thread Paul Leyland
Anyway, still waiting to hear if ECM will, eventually, find all factors or if it leaves "factors" in the range... The best way of thinking about this is that each curve at a given bound has a small but non-zero probability of finding a factor of a certain length, assuming that one exists.

RE: Mersenne: primes bases

1999-10-13 Thread Paul Leyland
Are prime numbers prime in all bases ? That is a deep question. If by "base" and "prime" you are restricting yourself to the integers, the answer is "yes". If you allow yourself more freedom and allow other numeric quantities as your "base", the answer is "not necessarily". For example, in

RE: Mersenne: Re: Trial-factorers

1999-11-03 Thread Paul Leyland
First, the important disclaimer, necessary because of my posting address: I do not in any way speak for Microsoft in what I write below, but only in a personal capacity. In the W2k betas that have been issued so far, there is a "CMD" command which does pretty much what you'd expect. bash has

RE: Mersenne: high factoring bug in prime95

1999-12-20 Thread Paul Leyland
Aargh!! I've spent *weeks* trial factoring some of those, time which could have been better spent in ECMNET. Unhappy. Ah well, it's going to have to wait. I've got other things to do. In the meantime, I'll just stop the programs. Paul -Original Message- From: Eric Hahn

RE: Mersenne: P-1 factoring

2000-02-06 Thread Paul Leyland
I've been reading up on the P-1 method ... am I missing something? I don't think so, except perhaps for on possibility... For a Mersenne number 2^n-1 with n prime we know that all the factors are of the form 2kn+1 for some integer k. So the factorization of p-1 _must_ include at least

RE: Mersenne: pi

2000-02-11 Thread Paul Leyland
At 10:50 AM 2/9/00 -0500, Jeff Woods wrote: You're bumping up against the Fundamental Theorem of Calculus here. Pi DOES have a precisely defined value, but you cannot express it in decimal form. You can express it as an infinite expansion, however. Infinite to me means never ending.

RE: Mersenne: p-1 and trial factoring

2000-02-27 Thread Paul Leyland
BJB wrote: Yes - I think we need this database - with or without savefiles, it's a waste of effort to inadvertently duplicate work done before. Since P-1 is deterministic (like trial factoring, but unlike Pollard's rho or ECM) you should get the same result every if you use the same limits

RE: Mersenne: Re: Mersenne Digest V1 #694

2000-02-17 Thread Paul Leyland
Is a decimal 23-digit numbers 111 prime ? Could you tell me the answer with proof? Giving proof of primality in a text message? Hrm. Interesting. Ok, here's a proof by converse-of-Fermat: Let p be the number above. Then p-1 has the prime factorization: 2 * 5 *

RE: Mersenne: Re: Mersenne Digest V1 #694

2000-02-17 Thread Paul Leyland
Oops. Minor typo: Where I wrote: All we need to do is find a value "a" such that a^((p-1)/ q) is not equivalent to 1 modulo p for all of the primes q which divide p - 1. (Actually, this is stricter than necessary, as a different "a" could be chosen for each q, but never mind.) I claim

RE: Mersenne: searching the biggies 2

2000-03-03 Thread Paul Leyland
-Original Message- From: Spike Jones [mailto:[EMAIL PROTECTED]] On the other hand, the existence of the EFF prize is a useful tool in convincing companies to run GIMPS, for most IT managers are quick to remind you that this *is* a business, and it is here to make money. (Then

RE: Mersenne: Security and Prime95/mprime

2000-03-03 Thread Paul Leyland
linux is a Good Move ... ceratinly, in its default state, it's at least as secure (when used as a firewall) as anything emanating from a certain purveyor of operating systems based near Seattle. It's cheaper, too! Please note: Seattle is about 5000 miles from where I am, despite my

RE: (OTT) Re: Mersenne: $1 Million For Proof Of Goldbach's Conjecture?

2000-03-22 Thread Paul Leyland
From: Brian J. Beesley [mailto:[EMAIL PROTECTED]] What I mean is that 10^100 = 3 + (10^100 - 3) is one possible breakdown. But I don't know offhand whether (10^100 - 3) is prime, and proving that it is might take some considerable time. If that However, proving it is composite is very

RE: Mersenne: The recent popularity of Factoring

2000-03-27 Thread Paul Leyland
From: Willmore, David [mailto:[EMAIL PROTECTED]] value of 90 days. For some reason, I'm not allowed to get more than about a month of factoring work. It's starting to cut into my efficiency. Is there a way around this? Try joining the people at the bleeding edge. I've been factoring an

Mersenne: P-1 factoring of large exponent Mersenne numbers

2000-04-07 Thread Paul Leyland
A nasty thought just struck me. It's well known that factors of M(p) are of the form 2kp+1. It's also well known that factors found by the P-1 algorithm are of the form (product of powers of small primes) + 1 where "small" means less than an arbitrarily chosen limit B1. I omit stage 2 from

RE: Mersenne: Eff.org prizes

2000-05-09 Thread Paul Leyland
Will gimps support the search for the 1,000,000,000 digit prime? How many years would it take for a PC to factor such a prime? Not long at all. If it is prime, its only factors are 1 and itself. Paul _ Unsubscribe list info --

RE: Mersenne: To crazy to be true, but it is....

2000-05-15 Thread Paul Leyland
From: Pa'l La'ng [mailto:[EMAIL PROTECTED]] 1/3 + 1/5 + 1/7 + 1/9 + 1/15 + 1/21 + 1/27 + 1/35 + 1/63 + 1/105 + 1/135 = 1, but you can't get an odd perfect number out of it. Among these denominators you find no squares, so I really can't get a perfect number from this sum. Really?

Mersenne: Account inconsistency

2000-06-08 Thread Paul Leyland
Can anyone explain this inconsistency in what the server believes the MSRC account has done? The individual report page gives back (at the head of a lot of other stuff) Account ID LL P90* Exponents Fact.P90 Exponents P90 CPU CPU yrs LL Tested CPU yrs* w/ Factor

RE: Mersenne: Common practice for P-1 math?

2000-06-14 Thread Paul Leyland
From: Brian J. Beesley [mailto:[EMAIL PROTECTED]] If P-1 does find a factor which is compound, then running P-1 again with smaller limits will eventually recover a smaller factor. These extra runs will obviously take less time than the original Indeed, and with care one can usually choose

RE: Mersenne: Common practice for P-1 math?

2000-06-14 Thread Paul Leyland
From: Brian J. Beesley [mailto:[EMAIL PROTECTED]] On 14 Jun 00, at 4:49, Paul Leyland wrote: It's a pity that a similar procedure isn't known for ECM, or at least not known to me. Isn't the point that ECM finds numerically small factors much more easily than it finds numerically

RE: Mersenne: Common practice for P-1 math?

2000-06-15 Thread Paul Leyland
I wrote: From: Brian J. Beesley [mailto:[EMAIL PROTECTED]] If P-1 does find a factor which is compound, then running P-1 again with smaller limits will eventually recover a smaller factor. These extra runs will obviously take less time than the original Indeed, and with care one

RE: Mersenne: Factoring with ECM

2000-06-18 Thread Paul Leyland
of finding two or more *on the same curve* are somewhere between nil and negligible. Paul Leyland said: As long as the coefficients of the curve and the starting point are recorded, we can re-run exactly the same computation, with the small primes curtailed as in the p-1 case, on the same curve

RE: Mersenne: Likelihood Of Small Factors

2000-08-04 Thread Paul Leyland
No, it decreases, and eventually becomes identically zero. All prime factors of M(p) must be of the form 2kp+1. Once p reaches 2^58 we can guarantee that there are no factors of this form which are less than 59 bits! Paul -Original Message- From: Stefan Struiker [mailto:[EMAIL

RE: Mersenne: ECM better than O(sqrt(f)) ?

2000-10-31 Thread Paul Leyland
I've read on the list some time ago that ECM takes, like Pollard-Rho or P-1, O(sqrt(f)) operations mod N to find a factor f. But looking at the factors found so far I find that hard to believe; according to that And quite right too. It's just plain wrong. ECM runs in sub-exponential

Mersenne: The factorization of P773, or 2^773+1

2000-11-15 Thread Paul Leyland
Several members of the GIMPS team responded to my request earlier this year to attempt ECM factoring of the number P773. Several thousand curves with B1=11M and B1=44M failed to find a factor. The reason for this failure can be seen in the announcement below; the earlier work gave a 50% chance

RE: Mersenne: Factoring

2000-12-01 Thread Paul Leyland
We could let prime95 decide the next election grin. Give everybody a different prime number. Multiply the primes for candidate A together, likewise for B. And like in this election, unless we can completely factor the results, we wouldn't know who won, either. :) I note the

RE: Mersenne: Factoring

2000-12-01 Thread Paul Leyland
The problem is for the government to factor the huge composite number for each candidate afterwards. Can someone give me a rough estimate of how long it would take a good supercomputer to check an arbitrary 100,000,000 digit number for several factors that are each a known 150 digit

RE: Mersenne: primenet synchronization

2000-12-18 Thread Paul Leyland
Is it just me, or have we not had a database sync for a long time between George and primenet? my personal results file on primenet is showing values going back to March... Nope, it's everyone. Mine go back to 6827629 63 0x7B026BBFAEE5C7__01-Feb-00 16:00 ROUGE How

RE: Mersenne: A question about ECM

2001-04-10 Thread Paul Leyland
It is relevant here, and you need not worry about repeating other work. The ECM implementation chooses an elliptic curve randomly each time it is run --- at least, that's what it's supposed to do. If the random number generator is any good at all, you have an entirely negligible chance of

RE: Mersenne: Conjecture about Mersenne primes

2001-07-18 Thread Paul Leyland
I wrote: From: Simon Rubinstein-Salzedo [mailto:[EMAIL PROTECTED]] Last night I was reading a number theory textbook, and I thought of this odd conjecture: is one more than the primorial of a Mersenne prime always a prime? I wouldn't have a clue where to start on proving it, so if

RE: Mersenne: Conjecture about Mersenne primes

2001-07-18 Thread Paul Leyland
From: Simon Rubinstein-Salzedo [mailto:[EMAIL PROTECTED]] Last night I was reading a number theory textbook, and I thought of this odd conjecture: is one more than the primorial of a Mersenne prime always a prime? I wouldn't have a clue where to start on proving it, so if anyone had any

RE: Mersenne: Re: Problems with firedeamon and prime95

2001-10-22 Thread Paul Leyland
The user interface is quite desirable, but if no solution can be found, we have to use the nt version instead. I've been using the NT version, under NT, for years. Whenever I want to do something interactive with the computation I fire up Prime95. The latter reads the same files that the

RE: Mersenne: number of processors participating

2001-10-28 Thread Paul Leyland
Speaking only for myself. My take is that due to the long test times the instant gratification that used to come fairly quickly even on a most speed machine is no longer there. This will turn off a lot of casual testers. This is certainly one reason why my contribution (the MSRC team) has

RE: Mersenne: Re: AthlonXP

2001-10-16 Thread Paul Leyland
Well, I suppose RISC is about as close as you can get to that. Microcode, for reasons best known to someone familiar with CPU design, is not something you can just reprogram on the fly... I beg to differ. As someone who has written megabytes of microcode, including an entire IEEE

RE: Mersenne: Re: AthlonXP

2001-10-17 Thread Paul Leyland
Maybe we're not understanding what is meant by microcode... The only CPU I've designed was a 4-bit system that didn't use microcode to get it's work done (it was for a class), so I can't claim direct experience, but I at least thought I knew what the word microcode implied... a level of

RE: Mersenne: Re: Factoring benefit/cost ratio

2001-12-04 Thread Paul Leyland
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]] (Aside - we're rather more likely to find a 75-bit factor than a 75- digit factor. In fact, finding a 75-digit prime factor of a no factors known Mersenne number with an exponent under 80 million would be a significant achievement

RE: Mersenne: p-1 records

2001-12-05 Thread Paul Leyland
Is this a bug in the reporting software? I don't have the tools to work it out exactly, but a 103-bit number should be slightly larger than 2^103, or Nope. A 103-bit number N should lie in the range 2^102 = N 2^103. Something really odd is going on. Perhaps this small example will

RE: Mersenne: Re: 2^4-1 Factored!

2001-12-21 Thread Paul Leyland
Title: Message Sorry Ernst, but you're being misled by the success of the SPECIAL Number Field Seive. Indeed, we can factor some fairly hard integers with over 200 digits, such as M727, R211 and (in progress right now) M751 but we can factor some easy integers with millions of digits via

RE: Mersenne: M4 completely factored!

2001-12-21 Thread Paul Leyland
hmmm; my C8 easily resolves M4. Actually, M13 and M22 are much nicer :-) Agreed, though both 13367 * 164511353 and 7 * 73 * 151 * 631 * 23311 are particularly nice at this time of year. Paul _ Unsubscribe list info --

RE: Mersenne: M4 completely factored!

2001-12-21 Thread Paul Leyland
Aargh, a typo 8-( Agreed, though both 13367 * 164511353 and 7 * 73 * 151 * 631 * 23311 are particularly nice at this time of year. Should read 7 * 31 * 73 * 151 * 631 * 23311. M5 got lost. Paul _ Unsubscribe list

RE: Mersenne: Factors

2002-01-16 Thread Paul Leyland
From: Alexander Kruppa [mailto:[EMAIL PROTECTED]] Torben Schlüntz wrote: ... Besides I have the question: why does the advanced facor algortithm of prime95 somtimes find 2 factors? This happens eg. at M1289, has 108817410937 and 15856636079 as factors? I'm not quite sure which

RE: Mersenne: ECM

2002-04-16 Thread Paul Leyland
I think I know the answer to this... but want to double-check to be sure... While doing factoring... using ECM... factors up to: 15 digits is the equivalent of ~2^50... 20 digits is the equivalent of ~2^67... 25 digits is the equivalent of ~2^83... 30 digits is the equivalent of

RE: Mersenne: ECM

2002-04-16 Thread Paul Leyland
If trial-factoring has been done up to 2^68... is it possible to skip testing ECM curves for factors up to 15 and/or 20 digits... and go straight to testing ECM curves for digits up to 25 digits??? Personally, I would go straight in at the 25+ digits level. OTOH, if trial

RE: Mersenne: electrical energy needed to run a LL-Test?

2002-04-27 Thread Paul Leyland
From: Brian J. Beesley [mailto:[EMAIL PROTECTED]] ... To get a real feel for this value for money question, surely you have to factor in the system depreciation cost i.e. the difference between the purchase and residual values plus the total cost of the power consumed over the working

Mersenne: Two bugs in Prime95 v21.4.1

2002-07-23 Thread Paul Leyland
George, I think I've found two bugs in Prime95 or, at least, serious misfeatures. I don't know whether they've been fixed in more recent releases but as I'm using the program in a rather creative manner I suspect not. The Mersenne list is Cc:ed so that if anyone else wishes to use your program

RE: Mersenne: Crypto scientists crack prime problem, not Redmond journalists

2002-08-17 Thread Paul Leyland
Hey, please ascribe criticism where it's due. The article was written by a ZDNet journalist, as clearly stated on the MSN page. ZDNet is a subsidiary of CNET Networks, which is based in San Francisco. Same country, same coast, a lot further south. The comment by a computer scientist part

RE: Mersenne: Benchmarks / Reference Machine / Calculations

2002-08-20 Thread Paul Leyland
Why even bother with that? Just use gigaflops or something that is not hardware dependent at all... Ah, but which gigaflops? Anyone else here old enough to remember Meaningless Indicators of Processor Speeds? All gigaflops are not created equal, unfortunately. Wordlength alone can make a

RE: Mersenne: Composite factors.

2002-09-25 Thread Paul Leyland
I've found a few composite factors whilst running P-1 on small exponents. Working on M(32340) with P-1 turned out factors with several hundred digits, even when the B1 limit was set very low. This experiment turned up a bug in Prime95 which George has now fixed. The numbers were so

RE: Mersenne: Dissed again

2002-10-23 Thread Paul Leyland
The reason that this answe ris somewhat of a lie is that the prime numbers used in cryptography are usually NOT the largest prime numbers in the world at the time, nor too close to it. (It'd be easy to crack such keys if they were limited to the 1000 largest primes -- then you're

RE: Mersenne: P-1 and non k-smooth factors

2002-12-05 Thread Paul Leyland
From: Brian J. Beesley [mailto:[EMAIL PROTECTED]] usable by a single process is limited to 2 GBytes. (There is a big memory variant of the linux kernel which expands this to 3 GBytes, but the point still stands). FWIW, WinNT and its descendents can be booted with /3gb in boot.ini,

Room heaters (Was RE: Mersenne: Re: Mersenne Digest V1 #1039)

2003-01-29 Thread Paul Leyland
From: Brian J. Beesley [mailto:[EMAIL PROTECTED]] I'm also working, at low priority again with a couple of helpers, at completing triple-checking for all small exponents (under 1 million). Why? So far as I'm concerned, it's something useful for a couple of slow systems to do whilst

Mersenne: Anyone like to prove primality of a Mersenne cofactor?

2003-04-01 Thread Paul Leyland
Will Edgington and I try to keep our tables of Mersenne factorizations up to date by synchronizng every week or so. The latest indicated that another Mersenne number had been completely factored. Neither Will nor I have the resources at the moment to prove the 2193-digit cofactor of M(7417)