mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Software

Reply
 
Thread Tools
Old 2017-12-24, 17:19   #34
potonono
 
potonono's Avatar
 
Jun 2005
USA, IL

193 Posts
Default

Quote:
Originally Posted by evanh View Post
Is there a link that anyone can provide that explains what the "residue", "shift", "type", and "results" all mean on the "primenet exponent status" page?
The LL-test residue, is like a remainder for the test. If two people perform the same test, we expect the same residue from both tests, unless one (or both) of the tests had errors.
http://www.mersennewiki.org/index.php/Residue

The 'shift' is just part of the FFT (fast fourier transform) used in the test. It is expected to be different. The below link doesn't discuss the shift, but might give you a good starting point if you want to get more detail on the subject.
http://www.mersennewiki.org/index.ph...rier_Transform

The result 'type' is what each test tells us. If someone performs partial factoring, "NF" tells us there was no factor for the factoring range. If an LL test indicates the candidate is composite, "C" is the result type.

The 'result' column just has some extra details about the test type, like the residue for an LL test, or the 'bit-range' that someone checked for factors.

Last fiddled with by potonono on 2017-12-24 at 17:24
potonono is offline   Reply With Quote
Old 2017-12-24, 17:26   #35
evanh
 
"Evan"
Dec 2017
Houston, TX

1E16 Posts
Default

Quote:
Originally Posted by ET_ View Post
Let me add that

IF (prime-proving requires high-level CPU calculations)
AND (prime95 is CPU heavy)
THEN (prime95 will reach its result much faster than Maple)

and

IF (prime95 proves numbers of the form 2^p - 1)
AND (your number is not of the form 2^p - 1)
THEN (you cannot use prime95 to prove your numbers: the result will be wrong)

I beg your pardon if such syllogisms are already clear to you: having to do daily with students who do not know how computers work, I felt the urge to elaborate.

Luigi
This is a very good point. I thought perhaps Maple might be more efficient with how it uses the Computers hardware but it looks like I am very wrong. I need to read up on how these types of computations utilize the computers hardware ...

I was thinking that Maple is using a code where it checks all integers 2 to n-1 to see if they factor into n but somehow stores each check in the RAM for efficiency so it doesn't have to compute factors it already computed but rather it just checks against previous calculations...

I could be making no sense here but I'm learning...
evanh is offline   Reply With Quote
Old 2017-12-24, 17:27   #36
evanh
 
"Evan"
Dec 2017
Houston, TX

2·3·5 Posts
Default

Quote:
Originally Posted by potonono View Post
The LL-test residue, is like a remainder for the test. If two people perform the same test, we expect the same residue from both tests, unless one (or both) of the tests had errors.
http://www.mersennewiki.org/index.php/Residue

The 'shift' is just part of the FFT (fast fourier transform) used in the test. It is expected to be different. The below link doesn't discuss the shift, but might give you a good starting point if you want to get more detail on the subject.
http://www.mersennewiki.org/index.ph...rier_Transform

The result 'type' is what each test tells us. If someone performs partial factoring, "NF" tells us there was no factor for the factoring range. If an LL test indicates the candidate is composite, "C" is the result type.

The 'result' column just has some extra details about the test type, like the residue for an LL test, or the 'bit-range' that someone checked for factors.
I see. Thank you very much. So is it correct that a result of "C-Mismatch" means that the result is composite but did not match someone else result?

thank you for the links.
evanh is offline   Reply With Quote
Old 2017-12-24, 17:37   #37
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

9,767 Posts
Default

Quote:
Originally Posted by ET_ View Post
I beg your pardon if such syllogisms are already clear to you: having to do daily with students who do not know how computers work, I felt the urge to elaborate.
When I was going to UVic in the late '80's, a friend of mine was a support consultant in the Computing Services department.

A graduate student came in complaining that his program wasn't working on the IBM 360.

My friend looked at the code, and carefully and gently explained to him that he was trying to allocate a four dimensional complex number array which would consume more memory than existed on earth.

"Well", said the graduate student, "when are you going to upgrade your computer so it can run my program?

Believe it or not, this is a true story.
chalsall is online now   Reply With Quote
Old 2017-12-24, 17:40   #38
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

100000110000002 Posts
Default

Quote:
Originally Posted by evanh View Post
I was thinking that Maple is using a code where it checks all integers 2 to n-1 to see if they factor into n
Testing a number for factors is much smaller you need only check up to sqrt n. This is because if n=pq with p and q both greater than sqrt you get n> n a contradiction.

Last fiddled with by science_man_88 on 2017-12-24 at 17:41
science_man_88 is offline   Reply With Quote
Old 2017-12-24, 17:50   #39
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2×3×11×73 Posts
Default

Quote:
Originally Posted by evanh View Post
I was thinking that Maple is using a code where it checks all integers 2 to n-1 to see if they factor into n but somehow stores each check in the RAM for efficiency so it doesn't have to compute factors it already computed but rather it just checks against previous calculations...

I could be making no sense here but I'm learning...
If you are learning, then it makes sense.

First things first.
You don't have to test all integers from 2 to n-1 to see if they factor into n: you may well use only prime numbers (hence the explosion in RAM usage) up to the square root of n. Can you see why? Because every factor above the square root of n gives a second (co)factor that is less than the square root of n: if you start from 2 and go up the ladder of primes, then you have already checked such cofactor. Hence the reason to stop at the square root of n.

Second heuristic.
Division operations are quite slow on modern CPUs, referred to (integer) multiplication, so we can use modular arithmetic instead. As you may remember the modulus of an operation is the remainder from an integer division, i.e. 5 % 2 = 1.
Using modulus is quite efficient and lets you test numbers up to 4,200,000,000 using only a few modulo operations with primes in the very low range.

Interlude.
I guess Maple uses a symbolic engine to (try to) solve primality problems. Consider that the isprime() function used on Maple does not perform a primality test, it only performs a probabilistic test. So I hope you don't use that function to test your number...

Last fiddled with by ET_ on 2017-12-24 at 17:53 Reason: Geez, too slow again :-)
ET_ is offline   Reply With Quote
Old 2017-12-24, 18:05   #40
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

2,063 Posts
Default

Quote:
Originally Posted by evanh View Post
Thank you a1call. I am looking into your suggestions now.

I am new to code but better late than never. It seems like the general theme is a billion digit number will require either a supercomputer or a search to be passed down from generation to generation lol!

Thanks for the input, I will respond again when/if I have questions about Pari-GP
Well if the search is parallel-able, distributed computing with a very large number of collaborators would divide the time required by the number of collaborators, at least in theory(individual computing power variations not withstanding).
Primo uses parallel computing for proving general form primes. But it is limited in threads by design, which makes it of limited use. It's a shame that the concept is not utilised as distributed computing.

Last fiddled with by a1call on 2017-12-24 at 18:11
a1call is offline   Reply With Quote
Old 2017-12-24, 23:07   #41
a1call
 
a1call's Avatar
 
"Rashid Naimi"
Oct 2015
Remote to Here/There

40178 Posts
Default

Regarding primo, it is not the top SERP in Google for its name:
http://www.ellipsa.eu/public/primo/primo.html#FAQ
Paul Underwood can correct me if I am wrong but going by memory it has a limit on 64 threads.
a1call is offline   Reply With Quote
Old 2017-12-24, 23:22   #42
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

2·1,579 Posts
Default

Quote:
Originally Posted by evanh View Post
I was looking for an exponent that would produce a billion digit number and I think I was finding that it would take an exponent over 1 billion, probably around 3 billion... as an exponent..
You can easily find the smallest exponent:
1,000,000,000 / log10(2) = 3321928094,887

The smallest prime above this is: 3,321,928,097 but there is already known factors of 23,321,928,097 - 1. The lowest prime exponent without known factors is:
3,321,928,171:

http://home.earthlink.net/~elevensmooth/Billion.html
ATH is offline   Reply With Quote
Old 2017-12-25, 04:05   #43
evanh
 
"Evan"
Dec 2017
Houston, TX

2·3·5 Posts
Post

Quote:
Originally Posted by ET_ View Post
Interlude.
I guess Maple uses a symbolic engine to (try to) solve primality problems. Consider that the isprime() function used on Maple does not perform a primality test, it only performs a probabilistic test. So I hope you don't use that function to test your number...
Unfortunately it is a probabilistic test with the following information regarding how it tests... https://www.maplesoft.com/support/he...x?path=isprime



The isprime command is a probabilistic primality testing routine. (See prime number.)

It returns false if n is shown to be composite within one strong pseudo-primality test and one Lucas test. It returns true otherwise.

If isprime returns true, n is very probably prime - see References section. No counterexample is known and it has been conjectured that such a counter example must be hundreds of digits long.


I suppose if a number I test comes back "true" I will have to seek help in performing a deterministic probability test... the good news is that usually it is quickly able to kick back a "false" output... right now the number I am testing has been "evaluating" for a few days now.. I know thats nothing considering with my hardware it could take a few months... with all of the numbers I have tested with my method up to... 1,000,000,000,000 I have been able to find a prime with this method... no I have not tested ALL of the numbers up to this and I know that just because it holds true for what I have shown that does not mean it holds true for ALL cases...

I still think it will be pretty cool to get a return of "true" on a 100,000,000+ digit number even if it is probabilistic.. anyone care to help out if that happens??? we can split the prize money
evanh is offline   Reply With Quote
Old 2017-12-25, 04:29   #44
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

11000010100002 Posts
Default

Quote:
Originally Posted by evanh View Post
Unfortunately it is a probabilistic test with the following information regarding how it tests... https://www.maplesoft.com/support/he...x?path=isprime



The isprime command is a probabilistic primality testing routine. (See prime number.)

It returns false if n is shown to be composite within one strong pseudo-primality test and one Lucas test. It returns true otherwise.

If isprime returns true, n is very probably prime - see References section. No counterexample is known and it has been conjectured that such a counter example must be hundreds of digits long.


I suppose if a number I test comes back "true" I will have to seek help in performing a deterministic probability test... the good news is that usually it is quickly able to kick back a "false" output... right now the number I am testing has been "evaluating" for a few days now.. I know thats nothing considering with my hardware it could take a few months... with all of the numbers I have tested with my method up to... 1,000,000,000,000 I have been able to find a prime with this method... no I have not tested ALL of the numbers up to this and I know that just because it holds true for what I have shown that does not mean it holds true for ALL cases...

I still think it will be pretty cool to get a return of "true" on a 100,000,000+ digit number even if it is probabilistic.. anyone care to help out if that happens??? we can split the prize money
Don't get your hopes up. You won't be able to simply use off-the-shelf code to test numbers of that size in a few days, or a few months, or a few years. If it was so easy someone else would have already done it by now. There is a very good reason that the prize has remained unclaimed, and it is not because no one else has thought about it before. You haven't discovered any new or interesting.
retina is online now   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
How to enter password in prime.txt? Unregistered Information & Answers 3 2011-04-28 02:02
Less GHz days for larger exponents in TF? Bdot Information & Answers 12 2010-11-21 22:33
Enter key doesn't work at weird times. jasong Linux 5 2007-08-25 20:31
How 'bout an ecm server for numbers about to enter Prime95 first-pass? jasong GMP-ECM 2 2007-03-16 16:16
2003 Nov 03: P-1: a set of 16 larger exponents GP2 Completed Missions 2 2003-11-09 01:21

All times are UTC. The time now is 21:29.


Sun Aug 1 21:29:47 UTC 2021 up 9 days, 15:58, 0 users, load averages: 0.82, 1.25, 1.42

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.