mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Aliquot Sequences

Reply
 
Thread Tools
Old 2021-08-06, 22:26   #1299
Happy5214
 
Happy5214's Avatar
 
"Alexander"
Nov 2008
The Alamo City

10111101102 Posts
Default

Quote:
Originally Posted by garambois View Post
If you look at conjectures 134, 135, 136 and 140 on this page dedicated to conjectures related to this project, they all talk about bases that are primorial numbers.
That's why I think we can say that the primorial bases play a special role in our project, so they are "special".
In principle, we can also add a category for bases that are factorials when we will have several of them, why not ?
None of these bases can be taken out of this category in the future, no matter what.
My bad, thanks for that reminder (of a page I helped you create).

Quote:
Originally Posted by garambois View Post
If you have additional computational resources, you can complete the calculations for some trivial sequences of bases 210, 14316, 14264, 14536 or other still unreserved bases.
Otherwise, you can also advance the non-trivial sequences of these unreserved bases to for example 105 or 110 digits. With a little luck, you will finish one or other non-trivial sequence this way.
But in any case, please report here any work you undertake : it would be too bad if several of you were to calculate the same sequence !
And don't forget to tell me about the new initialized bases, I will include them in the general scan on Monday, even if these sequences are not yet added to our project page.
Um, I know I haven't made much progress on base 210, but I haven't released it yet, nor have I been informed that my reservation has been canceled. You're free to work on the pink sequences, but I want dibs on the trivial orange ones.
Happy5214 is offline   Reply With Quote
Old 2021-08-07, 08:40   #1300
garambois
 
garambois's Avatar
 
"Garambois Jean-Luc"
Oct 2011
France

7·97 Posts
Default

Quote:
Originally Posted by RichD View Post
Bases 52, 54 and 55 should have all exponents (terms) initialized to at least 80 digits and all 80 digit or less trivial terminating sequences completed. Many will be advanced further by late Monday. I'll put emphasis on expected terminating sequences and raise the initial size to 100 (or more) digits in the next couple days.
OK, this is excellent.
I will add all these bases in my list to scan monday.


Quote:
Originally Posted by Happy5214 View Post
Um, I know I haven't made much progress on base 210, but I haven't released it yet, nor have I been informed that my reservation has been canceled. You're free to work on the pink sequences, but I want dibs on the trivial orange ones.
Your reservation for base 210 was not cancelled, I would never have done that without asking your permission !
But when I had extended the base (added more exponents), I did not feel entitled to reserve these new sequences for you without your request.
So the base 210 is "officially" reserved for you until exponent 52.
But I understand your request, and in the next update, I will extend your reservation to exponent 59, i.e. I will add all the orange cells to your reservation.


Note :
We find this same phenomenon of "partially reserved base" following an extension of the number of exponents for many other bases.
For example, the bases : 13 (VBC), 24 (HPP), 28 (LRV), ...
There are others and even some of mine, like the base 6469693230 which is reserved for me only up to exponent 14.
I don't have the computing power to go beyond that !
I am currently calculating the sequence 6469693230^14 and other bases that are disproportionately large for me, such as 223092870^15 (I am at index 15 and an NFS decomposition is underway on my computer for a C144 since July 21 !)
garambois is offline   Reply With Quote
Old 2021-08-07, 12:29   #1301
Aillas
 
Aillas's Avatar
 
Oct 2002
France

15610 Posts
Default

Quote:
Originally Posted by garambois View Post
Thanks a lot.
But forgive my ignorance, I can't compile this program under Linux, here is what my compiler says :

Code:
garambois@floyd:~/sage-9.2$ g++ Alimerge.cpp -o Alimerge
Alimerge.cpp: In function ‘int main(int, char**)’:
Alimerge.cpp:67:5: error: ‘sscanf_s’ was not declared in this scope
     sscanf_s(argv[1], "%d", &base);
     ^~~~~~~~
Alimerge.cpp:67:5: note: suggested alternative: ‘sscanf’
     sscanf_s(argv[1], "%d", &base);
     ^~~~~~~~
     sscanf
  garambois@floyd:~/sage-9.2$
Please, can you help me ?
I think an include is missing. According to the doc I will say it should work if you add
Code:
#include <stdio.h>
I will try to find a Linux to test it...
Aillas is offline   Reply With Quote
Old 2021-08-07, 12:40   #1302
Aillas
 
Aillas's Avatar
 
Oct 2002
France

22×3×13 Posts
Default

New version that compile on my unix
I need to force c++11
I also replace sscanf_s by sscanf

Code:
g++ Alimerge.cpp -std=c++11 -o Alimerge
Attached Files
File Type: cpp Alimerge.cpp (8.3 KB, 21 views)

Last fiddled with by Aillas on 2021-08-07 at 12:41
Aillas is offline   Reply With Quote
Old 2021-08-07, 13:36   #1303
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

76358 Posts
Default

Quote:
Originally Posted by Aillas View Post
New version that compile on my unix
I need to force c++11
I also replace sscanf_s by sscanf

Code:
g++ Alimerge.cpp -std=c++11 -o Alimerge
It seems to compile fine on an Ubuntu machine with just:
Code:
$ g++ Alimerge.cpp -o Alimerge
However, it won't retrieve the txt file (even after I installed curl):
Code:
The 80 digit file was not found - download it? (y/n): y
sh: 1: curl -q -s -o OE_3000000_C80.txt http://www.aliquotes.com/OE_3000000_C80.txt: not found
Trouble has occurred while trying to read the 80 digit file!
Also, it doesn't seem to run the full range of exponents:
Code:
$ ./Alimerge 45 10 30
Running base 45 from 10 through 30 . . .
Downloading base 45^10 : Done
Found the last 80 digit composite in base 45: [72709411053662444980210157745602152977060291142818210791593789587027512665674740]
80 digit composite has a matching in base 427600
Downloading base 427600 : Done

45^10:i1319 merges with 427600:i0
Downloading base 45^11 : Done
Could not find a 80 digit composite in base 45
versus:
Code:
$ ./alimerge3 45 1 30
Running base 45 from 1 through 30 . . .
45^10:i1319 merges with 427600:i0
45^14:i213 merges with 260502:i60
45^24:i448 merges with 39852:i5
Run took 104 seconds.
Thanks for your help!
EdH is offline   Reply With Quote
Old 2021-08-07, 14:19   #1304
Aillas
 
Aillas's Avatar
 
Oct 2002
France

22×3×13 Posts
Default

Quote:
Originally Posted by EdH View Post
It seems to compile fine on an Ubuntu machine with just:
Code:
$ g++ Alimerge.cpp -o Alimerge
However, it won't retrieve the txt file (even after I installed curl):
Code:
The 80 digit file was not found - download it? (y/n): y
sh: 1: curl -q -s -o OE_3000000_C80.txt http://www.aliquotes.com/OE_3000000_C80.txt: not found
Trouble has occurred while trying to read the 80 digit file!
Also, it doesn't seem to run the full range of exponents:
Code:
$ ./Alimerge 45 10 30
Running base 45 from 10 through 30 . . .
Downloading base 45^10 : Done
Found the last 80 digit composite in base 45: [72709411053662444980210157745602152977060291142818210791593789587027512665674740]
80 digit composite has a matching in base 427600
Downloading base 427600 : Done

45^10:i1319 merges with 427600:i0
Downloading base 45^11 : Done
Could not find a 80 digit composite in base 45
versus:
Code:
$ ./alimerge3 45 1 30
Running base 45 from 1 through 30 . . .
45^10:i1319 merges with 427600:i0
45^14:i213 merges with 260502:i60
45^24:i448 merges with 39852:i5
Run took 104 seconds.
Thanks for your help!
Sorry for the inconvenience. I didn't test for a range of exponents.
All the issues are fixed now.
- Fix the URL to Download of the OE_3000000_C80.txt
- If an C80 was not found for an exponent, the application was stopped.
- Remove output. It was too verbose when checking multiple exponents.

I tested with your example:

Code:
./Alimerge 45 1 30
Running base 45 from 1 through 30 . . .
45^10:i1319 merges with 427600:i0
45^14:i213 merges with 260502:i60
45^24:i448 merges with 39852:i5

Total running time   : 1 Minutes : 39 Seconds : 174 Milliseconds (99 seconds.)
Downloading file time: 1 Minutes : 38 Seconds : 770 Milliseconds
Computation only time: 403 Milliseconds
Attached Files
File Type: cpp Alimerge.cpp (8.2 KB, 24 views)
Aillas is offline   Reply With Quote
Old 2021-08-07, 15:37   #1305
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

7·571 Posts
Default

Quote:
Originally Posted by Aillas View Post
Sorry for the inconvenience. I didn't test for a range of exponents.
All the issues are fixed now.
- Fix the URL to Download of the OE_3000000_C80.txt
- If an C80 was not found for an exponent, the application was stopped.
- Remove output. It was too verbose when checking multiple exponents.

I tested with your example:

Code:
./Alimerge 45 1 30
Running base 45 from 1 through 30 . . .
45^10:i1319 merges with 427600:i0
45^14:i213 merges with 260502:i60
45^24:i448 merges with 39852:i5

Total running time   : 1 Minutes : 39 Seconds : 174 Milliseconds (99 seconds.)
Downloading file time: 1 Minutes : 38 Seconds : 770 Milliseconds
Computation only time: 403 Milliseconds
Excellent! Thanks for the quick reply.

All seems to work well now, although "computation only time" is affected by downloading the txt file:
Code:
$ ./Alimerge 45 10 30
The 80 digit file was not found - download it? (y/n): y
Running base 45 from 10 through 30 . . .
45^10:i1319 merges with 427600:i0
45^14:i213 merges with 260502:i60
45^24:i448 merges with 39852:i5

Total running time   : 1 Minutes : 42 Seconds : 232 Milliseconds (102 seconds.)
Downloading file time: 1 Minutes : 43 Seconds : 948 Milliseconds
Computation only time: -1 Seconds : -715 Milliseconds
Of course, this only happens if the txt file is missing.

Thanks for all your help.
EdH is offline   Reply With Quote
Old 2021-08-07, 15:46   #1306
garambois
 
garambois's Avatar
 
"Garambois Jean-Luc"
Oct 2011
France

7×97 Posts
Default

OK, thank you very much !
I manage to compile and everything seems to work fine now !
When I add new bases to the project, I use this program (Edwin's version so far) : I save a lot of time this way, because if I had to search for the merges manually, it would be very very long !



Code:
./Alimerge 12 1 150
Running base 12 from 1 through 150 . . .
12^15:i294 merges with 3366:i2
12^19:i120 merges with 23324:i10
12^29:i790 merges with 1778224:i0
12^35:i380 merges with 3876:i5
12^43:i488 merges with 2484:i8
12^47:i1301 merges with 1374120:i189

Total running time   : 7 Minutes : 20 Seconds : 510 Milliseconds (440 seconds.)
Downloading file time: 7 Minutes : 20 Seconds : 33 Milliseconds
Computation only time: 477 Milliseconds
garambois is offline   Reply With Quote
Old 2021-08-08, 10:31   #1307
garambois
 
garambois's Avatar
 
"Garambois Jean-Luc"
Oct 2011
France

2A716 Posts
Default

I continued to complete the page that summarizes all the conjectures stated through this project.

1) I added all the demonstrations for the "trivial" conjectures that were missing (presence of a prime number at index 1 for some exponents for bases that are prime numbers).
2) I corrected some errors.
3) I corrected the statement of the conjecture (79) : base 7 instead of 5.
4) I invalidated the conjecture (81) in contradiction with the conjecture (82), which is maintained. It must have been an error of formulation.
5) The conjectures (130)* and (132)* were classified as two stars instead of one, this was an error. Note that from conjecture (134) onwards, we no longer used this classification with stars, which was supposed to give an idea of the difficulty to prove them.
6) The conjectures (82), (103) and (116) were really very "obvious". Can you just tell me if this formulation (in red) is correct in English language, please : s(7k) = 1 + 71 + 72 + ... + 7k-1 = 1 modulo 7.

Please let me know if you find an error in the proofs.

Last fiddled with by garambois on 2021-08-08 at 11:12 Reason: Addition of item 6)
garambois is offline   Reply With Quote
Old 2021-08-08, 10:56   #1308
Happy5214
 
Happy5214's Avatar
 
"Alexander"
Nov 2008
The Alamo City

2×379 Posts
Default

Initialization on base 564 is done. I also did the trivial sequences under 70 digits (and a couple past) for all of the remaining three-digit bases on https://oeis.org/A131884. One termination at 6 and a few at 3 were found, but it was mostly large primes.

210^52 and 210^54 also have been terminated with primes.

Edit: Conjecture (82) has a rather trivial proof: s(7^k) = (7^k-1)/6, and since 7^k-1 can never be divisible by 7 (being one less than a power of 7), neither can (7^k-1)/6. Similar proofs apply for the other prime bases.

Last fiddled with by Happy5214 on 2021-08-08 at 11:07 Reason: Add proof for conjecture
Happy5214 is offline   Reply With Quote
Old 2021-08-08, 11:19   #1309
garambois
 
garambois's Avatar
 
"Garambois Jean-Luc"
Oct 2011
France

7·97 Posts
Default

Quote:
Originally Posted by Happy5214 View Post
Edit: Conjecture (82) has a rather trivial proof: s(7^k) = (7^k-1)/6, and since 7^k-1 can never be divisible by 7 (being one less than a power of 7), neither can (7^k-1)/6. Similar proofs apply for the other prime bases.

Yes, we wrote our posts at the same time, I added point 6) in my post #1307 !
Can you just tell me if the word "modulo" is correct please and if the proofs of conjectures 82, 103 and 116 are written in an acceptable way ?
garambois is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Broken aliquot sequences fivemack FactorDB 46 2021-02-21 10:46
Broken aliquot sequences schickel FactorDB 18 2013-06-12 16:09
A new theorem about aliquot sequences garambois Aliquot Sequences 34 2012-06-10 21:53
poaching aliquot sequences... Andi47 FactorDB 21 2011-12-29 21:11
New article on aliquot sequences schickel mersennewiki 0 2008-12-30 07:07

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


Fri Oct 15 21:12:29 UTC 2021 up 84 days, 15:41, 0 users, load averages: 2.15, 2.21, 2.18

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.