A Sierpinski/Riesel-like problem - Page 23

gd_barnes · 2017-05-11, 05:48

Quote:

Originally Posted by sweety439

This divisor is always gcd(k+-1,b-1) (+ for Sierpinski, - for Riesel), e.g. for R7, k=197, the divisor is gcd(197-1,7-1) = 2, and for S10, k=269, the divisor is gcd(269+1,10-1) = 9. Besides, for SR3, the divisor of all even k is 1 and the divisor of all odd k is 2.

Thus, for example, for R13, the divisor of k=1, 2, 3, ... are {12, 1, 2, 3, 4, 1, 6, 1, 4, 3, 2, 1, 12, 1, 2, 3, 4, 1, ...}, and for S11, the divisor of k=1, 2, 3, ... are {2, 1, 2, 5, 2, 1, 2, 1, 10, 1, 2, 1, 2, 5, 2, 1, 2, 1, ...}.

OK I understand it now. But wow...these forms are a pain-in-the-arse to search and sieve. Each base has a rotating set of divisors for its k's. So it would have to have multiple and separate sieves done...whereas CRUS and the repeating digit effort that I did a lot of searching on here could be sieved and tested one time for each base/digit combo.

With this much personal effort required to search a single base I doubt that you will have too many interested people. But...it's all in the presentation. You have to create that web page and demonstrate that you can run the correct programs before asking others to do the same. If you do that you may get some more interested people.

sweety439 · 2017-05-11, 14:45

Fixed the "top 10 primes" column for R3, the 10th largest known (probable) prime for R3 should be (7379*3^16856-1)/2, not (8753*3^16533-1)/2 (it is the 11th largest known (probable) prime).

sweety439 · 2017-05-11, 15:01

Quote:

Originally Posted by gd_barnes

No I cannot. As I stated before I will not run these forms until you create a web page that shows all ongoing search depths, statuses, and reservations in one place that can be updated instantly. Furthermore as the administrator of your own project here, you must learn how to run srsieve, LLR, and PFGW. When you create the web page and can demonstrate that you know how to run srsieve then I will consider helping out and sending you some of CRUS's primes that you need.

As I stated in the last post, I think the problem is that you have never run a program from the command prompt. Srsieve, sr1sieve, and sr2sieve must be run from the command prompt. There is some good news for you though: PFGW and LLR have a nice Windows GUI and do not have to be run at the command prompt although I believe they are slightly quicker when run from the command prompt.

No, I don't know how to create a web page.

sweety439 · 2017-05-11, 19:13

Deleted unnecessary forms in the "k's that make a full covering set with all or partial algebraic factors" column.

kar_bon · 2017-05-12, 08:36

Quote:

Originally Posted by sweety439

No, I don't know how to create a web page.

I gave you the ability to do so, even with some better display of all data and state of work for the bases.

sweety439 · 2017-05-15, 15:12

Quote:

Originally Posted by kar_bon

I gave you the ability to do so, even with some better display of all data and state of work for the bases.

Well, I requested an account for mersennewiki in http://mersenneforum.org/showthread.php?t=7026&page=15.

sweety439 · 2017-05-15, 17:55

Fixed a type error (there was an extra comma in the text file before).

sweety439 · 2017-05-16, 18:36

Quote:

Originally Posted by kar_bon

I gave you the ability to do so, even with some better display of all data and state of work for the bases.

I have posted the extended Sierpinski problem and the extended Riesel problem at http://www.mersennewiki.org/index.ph..._definition%29 and http://www.mersennewiki.org/index.ph..._definition%29.

kar_bon · 2017-05-16, 20:59

Ok, now the next steps. Insert the other bases and results.

I would prefer the alternate view: if conditions and/or comments are given, the table entries are broadens too much (see Riesel base 12).

Note to remaining lists (see Sierp base 6):
create subpages to "Sierpinski problem (extended definition)" like "Sierpinski problem (extended definition)/base 6" because the phrase "Extended Sierpinski" is used for another project.

Don't forget to categorize new pages (see "Riesel problem (extended definition)").

For OEIS-sequences in "Repunit" there's a template, see "Template:OEIS".

And here's a new result: Riesel base 7 (extended), k-val = 197
(197*7^181761-1)/2 is PRP, 153608 digits

pfgw -q"(197*7^181761-1)/2"
PFGW Version 3.3.6.20100908.Win_Stable [GWNUM 25.14]
(197*7^181761-1)/2 is 3-PRP!

pfgw -tp -q"(197*7^181761-1)/2"
PFGW Version 3.3.6.20100908.Win_Stable [GWNUM 25.14]
Primality testing (197*7^181761-1)/2 [N+1, Brillhart-Lehmer-Selfridge]
Running N+1 test using discriminant 3, base 3+sqrt(3)
Calling Brillhart-Lehmer-Selfridge with factored part 0.01%
(197*7^181761-1)/2 is Lucas PRP!

sweety439 · 2017-05-17, 14:41

Quote:

Originally Posted by kar_bon

Ok, now the next steps. Insert the other bases and results.

I would prefer the alternate view: if conditions and/or comments are given, the table entries are broadens too much (see Riesel base 12).

Note to remaining lists (see Sierp base 6):
create subpages to "Sierpinski problem (extended definition)" like "Sierpinski problem (extended definition)/base 6" because the phrase "Extended Sierpinski" is used for another project.

Don't forget to categorize new pages (see "Riesel problem (extended definition)").

For OEIS-sequences in "Repunit" there's a template, see "Template:OEIS".

And here's a new result: Riesel base 7 (extended), k-val = 197
(197*7^181761-1)/2 is PRP, 153608 digits

pfgw -q"(197*7^181761-1)/2"
PFGW Version 3.3.6.20100908.Win_Stable [GWNUM 25.14]
(197*7^181761-1)/2 is 3-PRP!

pfgw -tp -q"(197*7^181761-1)/2"
PFGW Version 3.3.6.20100908.Win_Stable [GWNUM 25.14]
Primality testing (197*7^181761-1)/2 [N+1, Brillhart-Lehmer-Selfridge]
Running N+1 test using discriminant 3, base 3+sqrt(3)
Calling Brillhart-Lehmer-Selfridge with factored part 0.01%
(197*7^181761-1)/2 is Lucas PRP!

Great!!! What about S10, k=269?

sweety439 · 2017-05-17, 14:43

Quote:

Originally Posted by kar_bon

Ok, now the next steps. Insert the other bases and results.

I would prefer the alternate view: if conditions and/or comments are given, the table entries are broadens too much (see Riesel base 12).

Note to remaining lists (see Sierp base 6):
create subpages to "Sierpinski problem (extended definition)" like "Sierpinski problem (extended definition)/base 6" because the phrase "Extended Sierpinski" is used for another project.

Don't forget to categorize new pages (see "Riesel problem (extended definition)").

For OEIS-sequences in "Repunit" there's a template, see "Template:OEIS".

And here's a new result: Riesel base 7 (extended), k-val = 197
(197*7^181761-1)/2 is PRP, 153608 digits

pfgw -q"(197*7^181761-1)/2"
PFGW Version 3.3.6.20100908.Win_Stable [GWNUM 25.14]
(197*7^181761-1)/2 is 3-PRP!

pfgw -tp -q"(197*7^181761-1)/2"
PFGW Version 3.3.6.20100908.Win_Stable [GWNUM 25.14]
Primality testing (197*7^181761-1)/2 [N+1, Brillhart-Lehmer-Selfridge]
Running N+1 test using discriminant 3, base 3+sqrt(3)
Calling Brillhart-Lehmer-Selfridge with factored part 0.01%
(197*7^181761-1)/2 is Lucas PRP!

You can submit this PRP in http://www.primenumbers.net/prptop/prptop.php, also the PRP you found for R30, k=1654: (1654*30^38869-1)/29.

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
The dual Sierpinski/Riesel problem	sweety439	sweety439	14	2021-02-15 15:58
Semiprime and n-almost prime candidate for the k's with algebra for the Sierpinski/Riesel problem	sweety439	sweety439	11	2020-09-23 01:42
The reverse Sierpinski/Riesel problem	sweety439	sweety439	20	2020-07-03 17:22
Sierpinski/ Riesel bases 6 to 18	robert44444uk	Conjectures 'R Us	139	2007-12-17 05:17
Sierpinski/Riesel Base 10	rogue	Conjectures 'R Us	11	2007-12-17 05:08

2017-05-16, 20:59	#251
kar_bon Mar 2006 Germany B5C₁₆ Posts	Ok, now the next steps. Insert the other bases and results. I would prefer the alternate view: if conditions and/or comments are given, the table entries are broadens too much (see Riesel base 12). Note to remaining lists (see Sierp base 6): create subpages to "Sierpinski problem (extended definition)" like "Sierpinski problem (extended definition)/base 6" because the phrase "Extended Sierpinski" is used for another project. Don't forget to categorize new pages (see "Riesel problem (extended definition)"). For OEIS-sequences in "Repunit" there's a template, see "Template:OEIS". And here's a new result: Riesel base 7 (extended), k-val = 197 (1977^181761-1)/2 is PRP, 153608 digits pfgw -q"(1977^181761-1)/2" PFGW Version 3.3.6.20100908.Win_Stable [GWNUM 25.14] (1977^181761-1)/2 is 3-PRP! pfgw -tp -q"(1977^181761-1)/2" PFGW Version 3.3.6.20100908.Win_Stable [GWNUM 25.14] Primality testing (1977^181761-1)/2 [N+1, Brillhart-Lehmer-Selfridge] Running N+1 test using discriminant 3, base 3+sqrt(3) Calling Brillhart-Lehmer-Selfridge with factored part 0.01% (1977^181761-1)/2 is Lucas PRP!