mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Lone Mersenne Hunters > LMH > 100M

Reply
 
Thread Tools
Old 2004-04-22, 04:43   #1
HiddenWarrior
 
HiddenWarrior's Avatar
 
Jun 2003
Russia, Novosibirsk

2·107 Posts
Default Program to verify factors

Does anybody have a program to verify factors of LMH>79.3???
I wrote my own, but it works too slow. I saw this forum has program (factorverify.c) to do verification for exponents <79.3. Can those program work with >79.3???
If yes, than can someone compile it to run under windows or cygwin?

Last fiddled with by HiddenWarrior on 2004-04-22 at 04:47
HiddenWarrior is offline   Reply With Quote
Old 2004-04-22, 16:04   #2
Xyzzy
 
Xyzzy's Avatar
 
"Mike"
Aug 2002

5·17·97 Posts
Default

I used factorverify.c to verify all the factors we found > 79.3M...

Sorry I can't help you with the compiling part... My suggestion is to get a cheap (free) Linux box... I see old Pentium-class computers in the trash every day...

Or maybe get shell access on a Linux box...
Xyzzy is offline   Reply With Quote
Old 2004-04-23, 01:39   #3
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

481910 Posts
Default

Quote:
Originally Posted by HiddenWarrior
Does anybody have a program to verify factors of LMH>79.3???
I wrote my own, but it works too slow. I saw this forum has program (factorverify.c) to do verification for exponents <79.3. Can those program work with >79.3???
If yes, than can someone compile it to run under windows or cygwin?
I will try to compile it tomorrow.

Luigi
ET_ is offline   Reply With Quote
Old 2004-04-23, 01:51   #4
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

61×79 Posts
Default

Quote:
Originally Posted by ET_
I will try to compile it tomorrow.

Luigi
Here it is

Compiled under Cygwin with GMP library.

Luigi
Attached Files
File Type: zip factorverify.zip (6.0 KB, 207 views)

Last fiddled with by ET_ on 2004-04-23 at 01:51
ET_ is offline   Reply With Quote
Old 2004-04-23, 02:30   #5
HiddenWarrior
 
HiddenWarrior's Avatar
 
Jun 2003
Russia, Novosibirsk

21410 Posts
Default

Thanks!
HiddenWarrior is offline   Reply With Quote
Old 2005-04-18, 09:00   #6
geoff
 
geoff's Avatar
 
Mar 2003
New Zealand

13·89 Posts
Default

Does anyone check the squares of any of the factors discovered? I think it is still an open problem as to whether Mersenne numbers with prime exponents can have a square factor. It should be quite easy to modify factorverify.c to check this.
geoff is offline   Reply With Quote
Reply



Similar Threads
Thread Thread Starter Forum Replies Last Post
self-verify (tripplecheck on same machine) TheJudger PrimeNet 12 2011-05-11 11:02
program to verify factors found by sr(x)sieve? mdettweiler Software 16 2009-03-08 02:06
C program to rapidly verify all factors in GIMPS database GP2 Programming 8 2005-01-03 07:49
How do we verify Factoring Work? E_tron Math 4 2003-12-10 05:08
More factors found with a new program alpertron ElevenSmooth 8 2003-10-15 10:29

All times are UTC. The time now is 23:18.


Fri Aug 6 23:18:47 UTC 2021 up 14 days, 17:47, 1 user, load averages: 3.84, 4.01, 4.02

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.