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

110101102 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

22×32×223 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

17·283 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

17·283 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, 187 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

Thread Tools


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 11:10.

Sun Apr 11 11:10:49 UTC 2021 up 3 days, 5:51, 1 user, load averages: 1.77, 1.67, 1.66

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.