mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > And now for something completely different

Reply
 
Thread Tools
Old 2022-05-07, 16:47   #12
ixfd64
Bemusing Prompter
 
ixfd64's Avatar
 
"Danny"
Dec 2002
California

2,477 Posts
Default

Quote:
Originally Posted by Puzzle-Peter View Post
I wonder how big the code can go? There are so many interesting numbers from 50K to 100K digits.
I'm wondering about this too. I know Primo supports numbers up to 50,000 digits but didn't see anything about limits in the documentation for this program.

Also, does this program have a GUI or just a command-line interface?

Last fiddled with by ixfd64 on 2022-05-07 at 18:11
ixfd64 is offline   Reply With Quote
Old 2022-05-07, 18:28   #13
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

3×13×293 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
Some entity should set up fastECPP for a proof-over-the-net. Clients could latch onto the main server. This way a 60k proof might be computed in a reasonable amount of time.
Yes indeed. Someone should do so.

I will contribute some computrons when you have set it up for us.

Last fiddled with by xilman on 2022-05-07 at 18:29
xilman is offline   Reply With Quote
Old 2022-05-07, 22:32   #14
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

5×7×283 Posts
Plus

I built the ecpp and ecpp-mpi ver.0.4.0 per instructions. Everything works like a clock, - Andreas is a pro.

And so far, - it is blazingly fast. And it is a command-line tool. I am afraid to say that I likely will never use Primo again. No need!

Additional note:
Latest Pari/GP changed the exposed syntax of Jared's internal ecpp* function family.
Quote:
Date: Wed, 14 Feb 2018 22:04:37 +0100
Dear PARI developpers,

Karim has merged ECPP with isprime.
Now the following GP interface is provided:

isprime(N): will use best algorithm given the size of N
isprime(N,3): force use of ECPP

primecert(N): return ECPP certificate
primecert(N,1): return P-1 certificate (old isprime(P,1))

primecertexport(C): as previous ecppexport
primecertisvalid(C): as previous ecppisvalid.

Cheers,
Bill.
TL;DR version - use latest gp, then use the certificate created by fastECPP like this:
Code:
gp -q
? C=read("cert-1000m");
? primecertisvalid(C)
1
write("cert-1000m.out",primecertexport(C,1));
\q
..and you can submit that to FactorDB if you ever so desired.
Batalov is offline   Reply With Quote
Old 2022-05-08, 00:46   #15
ixfd64
Bemusing Prompter
 
ixfd64's Avatar
 
"Danny"
Dec 2002
California

9AD16 Posts
Default

I'm hoping the eccp developers would consider releasing a GUI version in the future. In my opinion, the Primo UI is very nice and clean.
ixfd64 is offline   Reply With Quote
Old 2022-05-08, 01:16   #16
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

5×7×283 Posts
Default

Quote:
Originally Posted by ixfd64 View Post
I'm hoping the eccp developers would consider releasing a GUI version in the future. In my opinion, the Primo UI is very nice and clean.
If one likes to watch the paint dry, it does show you the drying paint. Look --
Code:
time mpirun ecpp-mpi -g -n '(2^43081+1)*3/(2^643+1)/(2^67+1)/6879834114993710683' -c -f cert-12k &> 12k.log &

tail -f 12k.log
MPI with 31 workers initialised, of which 31 are local.
GMP: include 6.1.2, lib 6.1.2
MPFR: include 4.1.0, lib 4.1.0
MPC: include 1.2.1, lib 1.2.1
MPFRCX: include 0.6.3, lib 0.6.3
PARI: include 2.13.4, lib 2.13.4
Could not open file 'cert-12k.cert1' for reading.
Writing to 'cert-12k.cert1'.
-- Time for class numbers up to Dmax=447555180: 2099.9 (133.5)
-- Time for primorial of B=9241752992: 1089.5 (115.9)
-- hmaxprime: 41
-- Size [0]: 42311 bits
   Time for discriminant   -93588: 6878.3 (677.6)
   largest prime of d: 709
   largest prime of h: 7
       discriminants: 12.2 (23.7)
       93 qroot:      715.0 (58.1)
   292698 Cornacchia: 1179.2 (106.1)
     4394 trial div:  1775.7 (147.7)
      403 is_prime:   3196.2 (341.8)
-- Size [1]: 42243 bits
   Time for discriminant -58533160: 5929.9 (574.4)
   largest prime of d: 149
   largest prime of h: 7
       discriminants: 12.7 (24.8)
      155 qroot:      1167.1 (114.5)
   555219 Cornacchia: 2260.1 (209.0)
     9724 trial div:  3987.5 (328.8)
      682 is_prime:   5380.7 (574.7)
-- Size [2]: 42166 bits
   Time for discriminant -230844307: 6053.1 (521.9)
   largest prime of d: 1193
   largest prime of h: 23
       discriminants: 13.8 (27.2)
      403 qroot:      3057.8 (250.3)
  1050059 Cornacchia: 4160.9 (380.9)
    13550 trial div:  5509.7 (462.7)
      775 is_prime:   6119.1 (652.6)
-- Size [3]: 42077 bits
   Time for discriminant -2518187: 11288.5 (989.0)
   largest prime of d: 2207
   largest prime of h: 5
       discriminants: 15.0 (29.6)
      868 qroot:      6488.8 (492.8)
  1592100 Cornacchia: 6213.1 (578.9)
    17282 trial div:  6946.7 (581.9)
     1333 is_prime:   10486.1 (1079.5)
-- Size [4]: 42019 bits
   Time for discriminant -1722407: 8304.9 (808.7)

...and so on
Batalov is offline   Reply With Quote
Old 2022-05-08, 03:01   #17
mathwiz
 
Mar 2019

5·59 Posts
Default

Quote:
Originally Posted by ixfd64 View Post
I'm hoping the eccp developers would consider releasing a GUI version in the future. In my opinion, the Primo UI is very nice and clean.
I'd honestly prefer that none of these tools had a UI. Why is it necessary to have a visual X window?
mathwiz is offline   Reply With Quote
Old 2022-05-08, 03:52   #18
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

425210 Posts
Default

Quote:
Originally Posted by Batalov View Post
I built the ecpp and ecpp-mpi ver.0.4.0 per instructions. Everything works like a clock, - Andreas is a pro.

And so far, - it is blazingly fast. And it is a command-line tool. I am afraid to say that I likely will never use Primo again. No need!
I am sticking wih Primo for now. A) I have started a couple numbers on my 3990x and B) running two numbers seems to keep all cores busy.
paulunderwood is offline   Reply With Quote
Old 2022-05-08, 04:15   #19
frmky
 
frmky's Avatar
 
Jul 2003
So Cal

2·3·11·37 Posts
Default

Quote:
Originally Posted by Batalov View Post
TL;DR version - use latest gp, then use the certificate created by fastECPP like this:
Code:
gp -q
? C=read("cert-1000m");
? primecertisvalid(C)
1
write("cert-1000m.out",primecertexport(C,1));
\q
..and you can submit that to FactorDB if you ever so desired.
FactorDB says "No input number found in file." The beginning of the converted file is below. What needs tweaking?

Code:
[PRIMO - Primality Certificate]
Format=4
TestCount=274

[Comments]
Generated by GP/PARI CALCULATOR Version 2.13.4 (released)
https://pari.math.u-bordeaux.fr/

[Candidate]
N=0x23C8345711530EDEBB67CBACA4B82AD9B46BAA4A794C45B78EC809236C7D8DB548ED5089BFF0A1207090C283B8DCAB3167D96ACED350AF04644689DC4AE06A43F97241D1B544B664A5CB5F34712F64D63F7AC31F71C39DA78B0D36872BB0AB2FBC73DA4D83375147397A54C83AF10A195218C233A308FD4C02735AA58A447D22DDDAF6CA8E546307D3C2504FB73B117C56E0142B98135D96580994C5F4C716C51657E7A8907DE4BC26C938C8F5986F42EB93A358CEDC1925C2655823526093839DFD1FEC102B6A1A412EB0C6546B820605BB82D3987B641D019BB2D1B7FABFCC78F5C12593A3D24E758BA18864F93F4E8522161873DEB65B9BE8021F43FB2F7D90E0C6A58706DE43A272780D98F468484DC393B94B30D1DBF81958AAFEEF6B7CCB862EBE3FA801294B9E4B6F10C8F40AD4565158A13FAA68A5910C1EB7D10B3152F63B68B2DE6476CF3035F06FA83C33C754B3134E28128C7CD3E2EBBF0C0548286813AE078A0F3855178F5837699853108CE69A3C92018E0897B7682AEC0DBFAF0CC99D3A47C1111B30326F7BBFEFC996C1A66B539F570AA1B895DD312DDA825E67C9E0B1BCD57D1C5C0AC73266829E4EC7AA2463F98E398278052B8F994ACAFA1614F507283F1E6B812129DE9C4BD930C0602638D99A23BE094F4C998B87B9CE0FD3D3FC804A488D61CBB4D3B4BE7466CAC3CC9D62DF23B1448A9602C48A0082F52D89C711548D8CA9495356E721501C68A6C8EE2F16A98DC324B9436617AD58BBFC8C0CAA5C8764519AD8B006A1ECB8A4F7596E964A30B9B1A532BADD9901D3B5925C21444A96D4B617E316330822CE325F8AD6AE4B20A2C747136BB9E76E5BC03B6916761959C41F421D7063E375DD89FDF81F5A0F190DE330E9DFCDF11B1DB5F8BF6768E1A4FE5868AF59978387D3B41E2B263C7D7814AFE0A1653B3162F0A3BAA11C9977390A2E40C66F76CD91F315495B9BE5724BBF46C034B96AA808983C4000157A875EF5E1CE3841AE30593B18D73E10CDE8460590537386EA0A844B301C8F38116E2EC24AFFED925E663EDA77BCD11943E1C59BE521A0C79871FE36DCD4CC3A866E25180776FFAA93B9B3382026FB7A08171BC16091EB866165BB7AD1E049E0213D504C66AC22C53EAB562659BE1AB13470682FD81EBD6A3B1D0E5658E4AD58CD5CCA144176F0DF451D623DB1EF29E1B600AB58E51455F456B7E1BFD2A827DF7EC59781A930E471E7FDE503944058FA7E18915B8FE038DFE74BD57AE16944F010A6347E3B684D05FFE6512E6CDE59C40862FA061BA4334331A963A85CAAF5E46352CF90914FE95340FA49CE671404E76F06DFD8674E6BDFF522AA796E430B049E6437191DAAE5C698165ECB34D73F14B670D10E8A0F2D67E9F039736686EDD09C5CA96E73BFC7A9FA2A85D41710853F3A0BF2515949E07F59B4010A5F494FF82E14318A1E16E9A9A661086CCB2B65F792DAB07C2DFA0CE11B109B4FD2494D228A46D172698EC6C6BF5024FF9AA2DA9AD682570A9C99701ED983694C889B3A546696DAAE7CAE787AFBA90CDF1D66B144CAB8521C2DC7171DFBB73C4C42524C62C40964B045B3732885796A86277D60B79C15EF24C17AD7CB76903F5C0853DC3DFF08D56DC8B0FDAC9CC73F53BFE3B1090A3F70757D4D969D442AFA4326BB503B2246C8D092AD32B2FF3D946B8D31F5E7ACD076E126237AFAA23B810EBAC2ECB5B19313227978B89A8D477F140D135789ABDC810EC1A03B61332902FCFD778CC91F39C7C8086986953D1E1E7348B2E3EDEE076E765C447EFC5703A51FA68EDB798ECE072A0694BFAC1ED3D37512EC012BACF039C06E685B79D009A3644603AE16BD91FA5D20E3E5C9E581C9C01684941AC862FA22E9216EA52FD8004D18E1C46930C8C66056C92244075EC6F0366679ABF885F823F09D74FE646C1BE8C4AF7451F8F78524834871EE63BD1AA5DEA4CCEEB3C8D9132E66B43D9D27C1590BADFEF554252F938EEACE842957F0C3B5CDB52800AFD2E04A3297B62D9AE66FD85DFBA165582E560DD1EAAA152EA4432AD6198399F022B379543FEF6DF0EFA4DF4A7B7DE0F312621875C1375471D04C326E01957363B8209719F3425E90FB811B7E730822DBD481F3BD5F7778BE44A974044EDC8A444FA078BD24CCAE6B7855CCF5C8E58D92E7CCF7203E657695F7C14036285CA95CF63AC546AF49B3BCA61A42F5A45B8AC2951CD26317ECEB5EEC7A4AAD3FFE6FF0E3C93463249DCAC922F8550EDF11663C39CDA2E9C1E4F60F8AB3E7104DF33CEC9F8CCC0E23FE5EF5E42A31498B33F92E0E3053FB693ECBB3E6B5C51A21EB9F1FA705262FD7921C37DBE355E0C7A333B76D61EAFCC199D54D752E2C686B80F15EFA1B18ACA0D5FB0B28E2269DBB0D5BC65DE802ED2B3F97A4F5951942248B63E69175D1817DE805661A868AF6311A565B14DAA5A0A3809D8C9A59EA09BD30D66C153AD8E9DB803E48EF08589BE11FE91D5929F29B605A3A296EF7300DBE5C41E782F30ADCEB7C5F722080183B04F94EC23ED98B6987A35EDFF36A384B82B9B3D3A3FA0750A6DEBF54703E94136A444B3FB7ABFB575445463D5793521BCDC3FA0937147EA0D36444308A79FE50451FD65AD9B82B9CBF4AD41064FA460FE42FE95DF5831264EA5CF30A55D1C781C9D342794E5AA0D94B47DA23E35B524FE5A2F7E6C2E9E687C536C5190272689EF7A16D24672FCE2B24D09B5D19D51FD8926AC0EC4FD77E172EE45A39CBFBF282A4E9AEFB3F99E194AF8397DBB93C398FA43E78D70D9220B8648C7DC7FEC4B74AACEF17122FD90DD70AD1396764A81A33707801152CD0AD40435CF36F27B9F79EA3DB3345F00DEFA6DD52A2352448C8662B82FDAF639B39B8543303D821D4848ECA4A66B763780ABA4EFDEE5FB37D4AAB7844819BB618B1A8901

[1]
S=0x7EB532C99D729E44
W=0x26D5E61B06CDAF773A21E7F1448EB1B5972DC85367BC1F233CF128C724E68413F9473745B0C53CAE15F0AAA8418D35A6C6EB4C9CBBC58262DB2A681BD46C7D8F6A021BEED67CE6D617F1C4582FBBB79D47CF54D9BB09868177FA62B3C5D6598349796441067AC67304D0732BD12B83F7FE0B936A6F35BCBFCAE8A876D82CB0A3531F83BE63C9EEAFA80199C210F6C15DD7B27C01E7739D2C8D2C7C4DAE0D8AE890902D0930057A8FCB87BDE51397079DCE0FC44E877EEB51D103BFD3A942F7B687764138026B6C2E520596F9BAA4E9460EFBBA1816FBFBCDE6048ED300750FACDC4F461EFCEE6F9BAEF29A28AA3FF3A79D5DF09A686D166BC8CABCD5774D942AD1BBC9C146525E99EAF49CA6A0F5B9A82FFBF218098090BB38206C6B411FF4EA5193889DB830BA999DCF64821E02E4D0C138F47792AE87B1B9409EA15EC2E54DEFBBDD74AAFE1A08644F2E708F8265EF05C14EA10E8F19B32AD7DF046C1AFDB2C1216205F71FAD06AC920E1881DC1DADCCA3018ECC170DF88F12CAEB21917E261B1943F688326FDFA5E73D54EEC8A175B33F1050B804A57D39452944D13C1A5EBA0DBD2DF36E6DAFFDC825554F9845B76A43B5E7B833F64F73C4B810205B302EFBBDBF6DB2C1745A73E6F9D3C37932625053D839958568B2EE4A67CF5551FD0E9A98F85612584BFC100E374E55CC2201566BAAC76A8CDA783A78E7F4246B97354FF919FF7A3F3034DF9DC63BCD8278BA0C2C2028ABBDDE618B1EF4034E798CCEA4B3C7ACBE07289CEC9A7928D8779DD4541080F1073D51A0105F22E80141307ED38C01974BBD07DE3667B9DAA35A70610D3CD42CE37D120B78BA183F67C2ACFE8437CB0BE4B8025C1AB89E5D22155A5A16CFD935A64755F8CC4B27FD8CB395F3CC3C96E27C400B7D29D09D4B0AB36BD8A99EA38DB27B8AD14F1E13DFB123AEE7B00C3DFF24FBED55B1412826214B8D2D50911284E7FE9BA37951F9CBE0CB6A9565B6C007034A3A5A3135D689D1E93BEEC4B9D5BF3BA660705627DF901BB8CC934D84BBEDC8C809003974DD990054D74EE75B678FAA1C224B78CF773D286F01E8E0F1DDD6EC3CB2DCAE9B2535ECB007E4AA68085BE84134298DEFCDD0902FF84F6560DA96FE06BFAA81ECE9C667F20FDA51AC10A56BDCACF3C801F7D51A846B558BEA7320E9BC3C510F8B1AD87A03DEBC930BDE032171CD6B818ED6D71E7F1C3ADA34987A1EE80468DF1E57409490196843843ECF8331C6C43308C1AAD7114B3BA8AFC5C36573D17AE3CA6D2B1C4333C38294CBBB0E54C3AF0178DDCEA5643DE4FBCEFECAF47B7F570F15380704E3F7585FC4B4EFFECAD9A0DDA314C11BA36AFCDAAD634A41D86CEE91A516DCB81F167E82FD2D83505669452709D775F6CCFFB1C5CB4FCF992C2599C1E0C203F4B64122EE3BBE00816AAA4D14A955C41BD573140E03A25A06212CCF9AF8A80A85FE
J=0x89C4F5C637F6024C936132319392124EBFE25B011994C50F7C436E6A9749DFBA8588672DEC33C2F35BAEA93D92B1CA4D6DEA83A0995F936345A8BEA3D95DCF10B0A572C827C8D57DC4715DAF23922D8F6B2D474D888DE99E917EDC20D69B9D2D1169C855FB21C30E86078E5BD196BB409487F324C15731547A0FA3BDE0DCADF21DC458900469D51613A07DBA6330A6FE093875ACAECD61E1B3E26391DDBFE46B487F5EB2BD19F78D8DBA31E4A77777DEB1C44F5181016216AF5023FA57A7D7DCA4EFC705C01DF5BB7CC4B1238DBF3A147C8B6264DED67BA433DD81DD786CA3B4E422171BCDF379D735B3141DD76C61185CC6EC77371E7543C3ED204C51D480E29D0B9405F4F957551B0563C33746FB9EB48B299EFEDFA2405DFB80EB6599926684EED749C3169D1196D0DC145BBC6D574068EB5B78E02B43E2BDD9764DD6A477B757A2BA09457719A265CB88AC3F2846E02ADE92501F21720AA23B2411E2FB366F13E30D9BFB8C9C1412A9893EC509DBFB45114BB958CB6C0EEAF58ABFD596A8FBE0E0C82E2BB958BF56A44B21454F713ED8F75CCF60BD4C7B4C3B2215F481F04E58EA1908EDD337AA4CD40BAA7B6E9DDF232F4C7C6E9C6FC94312363A9E3CB987935ADAD2861ACFC849528B05C4C27A82422395745CE34A837A625192C89908126D463D88513DC2810D8EF9C95ACED96774A4B200445497CB20BDCC05947E9F1612B15D9D890690E9DE77FC4838956573E8FBD4EA4FEEE6F337C2FDEFD82AE4FC0CCF522D606EEE6E4D719BAB0E64B44D1457B8EC2F6EA2F58EEBEA891336B35162DA265348FD8C72A51E6A0844D58361BF085AAB2C0C6D19982D4DD225003F9A97392B489947A4B8F1F5863BF34C48E2338310406FC3F41178D0698A15F6CB6623905EB949F656FA309E7C7C6886A903EFA002CE19AEF6A8818CA376F07C259027809000C65E6C3329F7E318B840C245F295E24B225ECCED16CC65972539D9216C3AB80F17762B3D9254BE3F914AA1122268F3B220B4841F2BF21C3FD5608C5C533122664B3DB9E135D8902D810FEB2E1ECFCA20FF604C1C7404680A72687C0BE3D61F2DB87C9DAD949FB25C667B5A9612FE95F2E3BE1DDF3D02B4A022810BDB47B1AF9823ABBDD27F7BB3A6F7D6D9BD3C15942C07E8D57C788277A1D6DDD0F2FC74398887F1E51A9DDB59E08A1FBBDF44026FE4B8C3191ADFFA6FEA2ED95840AC2A243590011A0557E5B5B4891D1BE18338659B7233B83277523695604E89192095220E0F7D581C91260A11083800F29255A4A312E3F176BD6F106FAF53ADA898002DCBB502487191F36298002B1866A93D8F62F549BE17FB28F1C71A4F8AF6F4578AB7E9FB6A6B2C3E1490C2A44CD564441755B60EC7E4F9A7AD1AE42B03BAF0A861FF358FD8FCDBABB502BA8DF017BDD08F303C932D6FC7244D32F42BA4F7CFA6E3F4DE23ADFC4EBCABE1F6151B849783202A62F63B928278DE950E84D5AA2A3B6C3321A23C81183847B65F59587312D587AAF0AE826283DE3C8764712B3701B2B20521836F1E59FA593CD25E45BD22FD12682B92DA1986F56C3C6187CBDED8F75A883950A9AE1209392E6C36E8F33E0274811DFA0C99E4D7D4A860BC70FCF296598323A67FF88F7D922CF54099A6B496D1BA0ABA40AC01B108761C25C8963A138ABF1D2EA28DC44A2F6A434E2592C6A6174D49DCB7CC2D440738B00C976A1B50419046F9C4C2F7E38FA53D1CD73F1C4B95EAA83CCFFA628299B08541C933ECE6B3DF8C2B7051E119D79C2E75556562B43253D3248AB59E569C3AFCCF44B55D0E9F171492FBB32B3CFA6101BEBB5F8F512AA0E77D3D14E490B0DA25039946ADA9ACC595F423DF9B196E6057105EE86AC30CA8601B881A63FA5F40CB727A3285141D5CE83465DA5B9A3AAEB80D4B0E33CA109E755925F4E7352264CE0BEA41355A052CD954E5BAF5A5B1F4043F9F83C4ADEFCE599868EDF456D6038029A8770A7AEA58D6EBAD0B2410178EA7F11813952A695F7FC8E9CBC5FFCB3BC56EDD50C5C5FD41E7EBDDCD2C73714E28BC5A4E373B4E02A8FC78A74A734002CCFCF0A3630054CF87F9E3910A29ED0F464AD79DDEA35F8AC32FF5E4B67532A8704AFF8B04F6A6EBA06B3E8EF23C059DC470F86C5D34680A25F4A8F295740090254238ACC7F1BB2E640DC474AFD1D122E0725D8E63C0435F64FE6640A899CD27D327722D6BD8DA3BCF87ACDFFB4BCC960EFEEE2360FD39D13F5C2659E76DC6B496D038A3FDD0FDBF6DFC076905DB8EF148810890E9C37E80FC8C94FF4F019F46BD1C5B665D63C4864A33383B597EA7440EFE1C6B49349E414AB9FE5FEAE5E2152D6561F7F2B5F12E94C316390D99303737D1BF9223FED4928EC73C8324E2D28F3C8230342C05597604EF0862F99BE7F01D53489B45DC09556DAC78D34EA6D4F7032381285481D35952D030C8FD4C969D4F2AB519C90D13EAA1281AA84DA6F1BEA5A513F25D446C26D2370D10AA053B2309A88858D7E85E3D9F2F9806725976F491B48390B15EA4A6E43CAFB980C54DFE6DDDF82F5C26D946DD723A3D87288BA2DA6347B24CD6AD6CC8DF43A0E0FDD166723FE0D999B7841F7BB7EE4EA936FB501590A723C5AAF836DE428C2FDDA755CF2CB0F7B1AD43BF708E5B2C6620DB0275B2E7364260F2EEFF3D57243D4A58D58C9609200F54BC013D80137CCEA875A40041EB51A142069CE82F35EE1CB308CC14BEB258C89CB368AD10BCDA16A3ECA447B9CE28505588C49B5A831C496774FE10E0C70E939FCBE26774D95C9F45D4D8A1976F1012061D8F2CC492E36927439DF0913B5B45205104DE9390D77154B7924E207E22A22B8E8A6021E2273EDFE1824B765C577814FE18DE4971C210D5A88F777BE52B0DFE6D7B9FC5F7D4ED48E6223508FB8CC44094DDFB3D9147F517DE20
T=0x467A4D7FBF901EE786890C522A55369864BC15E8D2D10E7A406BF5039587A1AC9994AC62EB567570677F20333CADE40E0558A5CA941A727BB5F2F4EE0FA545DDAA37A86442C6E9D45674E1EFE48A9E39EA5AD1BFBA93B671E981275AEAC28896FF325E03C088E06057B42A832232BC0AD81A8C612EF15B78AF7A1BB59EBE5B33F312CF69064E54F5FEEC9D6F85D0D978837D2644C9D89388E0E04A5659C0441E8785CC5ED1AD476453CB0333400BB5828444BFF44D86587B6AB5DC87CD5D1AA87A19FD2E6E306C5E88A27752469A3DABC5D87919E87BD9648E83F51A9D5AED940A84C10E56FC355D99D6B4C6D485CBAAB42E9084424503D378B48A6FA91B8503CE0F4BF12A21B8D5C1D0FE329D8063BA2D8BCD517164934096CDE9615C4076D2EC933383E40BB413B53ACB7861C71273014FFDB47FE7CCC0AD0E88878650E35EF280BF27C52226A8FAE779B51E223BC6C66D40A4F121EE7B17D701950A522C1BBC0FFC51133246BFD6148644D1D758273C40CE013B9599682F70C61B818FB651279A674FAEA487D9DFD141B602D85A10F516F46C4B1E22AF746671C5A622EF4CA59255327B17CCEF3460327068A46C3DDA0C99A90E714FC87BFC808225224462BC80DD269649193A2635C6F69A820C48DC9932B951C00F644D9A004132B06F99E2F09234B1376E5C31E01DA05147F6C90DB45E349B3C9F1E3EF20ABFB73383A1E273F2F79422774A802FD227C0B69C72EEB2118D977ABED2ACB5D355DD8DE7AB6844F4F16442CB7B33B1BA9A7656E36B0F415C12F7A2D9F9B58EC61E9FD067CE0C1479FABEB9C383FA32542DBBD02ACFE9EAD007728764095C158BB8EB14F400631D72DD5D36F9A1148FFD59D1C342419B83964D5366D74293BC461B24C84A534C5141258B99180B48F2319D397783CA55B2E947C12217953778365789EA3B3F3A3170E6771693C849308EBDFDF3C592F2D25CC0ACE22B39E4AAFC0B0C2B8ED0D3A9435414C9959B1E5EDD0ED5C31F74246B774D7529206D9569897039B9FC8FE44330FAC0DFC09C79867CBBB3773BF650771418DF448D999116F4D3000EB8B1F8DB79D672A961E57B103FC84AB22B2A61689179781B9C2F4E9897764FAAC6494437EDC855AB6085A510416782268B6C1F4A13EE331C423605D44F039B5D153CF08E756CED06850B98835E8B0F41640851734AA4F184B345C81C9786CC89D79A10738BC0CF6CFB8EDF314CB4982C24EF5A17B893D10A0E191C77A3DAA0E9BD60062CFE9B91D2486E65EA7974D7EA02525D5A6C9988508FAB37DF7886FA3F0D9617BEA1432119BEA00BBC4DB2DA0735D70E70A2B4507342FE11C1613A6CC9DC0015E7226B5055D6C4AFC0E8F6F5074EC2C68301E68F69CD3D1FF7994015CDC347708D525F8E19F8FB5CD7105085A7521270516F51D71528428A07985FA1B579B3141AEBC41BB53357448D8084D15DF376D306793C689B8DDD8F68C2A2A3E2ADBCEDDDA689A1CC0829F6543425E0AB5DD14A79039ABC2A26C37BA335A130947FA6A789908F2F21380305F48A9EBC238913C1073E6E76573F9392CBADE05756745BFF3DB0AAEB43CA2DC202BF2F177E1B409536E15E8BD46ED567406D8A31B8DF3E9EBD55CA780D287746F287C5950AB789FE042FD915CC09D5225C41CC2BD5B2A97CAA96ECBAA4777947477F0E528BCEEF523368776246461F190EF51CE3E71C3A1D971A50101C57BFBE1B3823B67BE9B7D33D848B40B2A423174ADE3DF60F5F0E9C432ADD8CCD3196C4D24B45BA4F0C36DB30A39EDDCA12EAE79D923B6D02D52C0CF03828F5E93358E8B22984EF3B0231BB1D2CA26C28315BF47638E711D080C42D6862F8DA8DC3D9C3737AF3D63A1EDF9BD469EADC98358380384C759E20A8671E77E25BE429B72B72D7BCE4B3E9A760122A4242565120B721E46D164D09C921B954F44ADA640ACDEC6C3E59530CC064D14572050E65132B2B522A80746038CCF5BC7DA9E23BA4C675B8718609D75266A60E10C506DB52CFC1E237917FE9573D71AD8A4E2049BF9F96CA03090CE5FD57845AB043A0E6A579859387FDDF9B91E25D5B8725F581F83C01C2EBD6BBEBABBDC7701D18696CDC08854F52F2D7B651F573B4ABB4BF1530A2E46AF6BF34562893E7B6B2657EC5BA57DCE879A413DBF2CC91422C7C428D34E18EA3BB9D2651F61814695F2596EC5B74DA21FBEF7AB2B53A2412F08A411A9FBC7C4E805D8EF8FCEDA56B4551F5905CDA6D710DF8BF697C51CF3E20880C66E27A0FE762900197B2675593DB04002C866BDF34B6FB1A18A3401AE56DDFF72E756AA88AC14307FAD54F672B148019466B66499042CD707E38C5AB5E4DCAAB7A9679510944DDFFCF9EAC2B40FE3AE56ED3DF948D698048DB756967FF811215EE0F0C330AA9F4A5475A86FEE0EC807BA45EE1A417C7951A5806B0C080F4E757A7144A69367062A31571D2CB6D97BB210D9F14DD30DFB46601B36F3ACC5BF05256A547B36DB4CFFCF34DAA2408A791BC4F525874A3E0E1E89B648A2582C5D7A86299ADC7A815199E3D673B71C201BEAA02ACB857A48954ECF3472EF66BE386BD13346FF5A77A7917A4E6FB428F74DBCF5CC2896B0117FD2577390208CCE8DA119C9EFC8D76591BB9769C5C7A4E7E0D3C832F35A69A4F181540DE40400492DCA5A3E488760DA107BB4348498475C4DC84A941C71DC444687379E36C0F8B1F9E385CCC6DAE0C311CFD6DFD6CC9C9C8B6B095BFCD9FC4406B1352B644351D97F68027B74BA031F4A3B9684EEEFDE6C0329BDF5009D3DCFB1E92CD5560DBBE69545FDA6FD7ABF17E3F2CC648A06A7D9764D2B5E91120D94D1BB0DD2C02DF1A99407FD68A92FEEDDB21A1B0D94DD10D6A72A2B306CFFFFB5CFEEE573E6B5C0A8AE4FFE45214CFD7DEC757513EF4D1D0A948CECD7DE8305C92C0
frmky is offline   Reply With Quote
Old 2022-05-08, 05:36   #20
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

232618 Posts
Default

Correct, primecertexport(C,1) goes 99% of the way toward FactorDB compatibility, but not all the way.
Quote:
Originally Posted by Batalov View Post
Btw, I had to "massage" their cert a little bit, but then factorDB took it. Took 3 iterations slightly reformatting the file (and to rename it into .out file)
I actually blame FactorDB implementation (it surely doesn't use Primo to validate). I suspect that Jared implemented his exported cert compatibility for back-to-Primo compatibility. I doubt he submitted any to FactorDB.

In 50001-file (which looks like Andreas also created it merely with primecertexport(C,1)), I replaced N=0x... by N=$.. (but I didn't replace any other 0x by $ in the file)
as well as created a full header of the file from some previous Primo-generated files. I added "Expression=..." row and some more as follows:
Code:
[PRIMO - Primality Certificate]
Version=4.3.2 - LX64
WebSite=http://www.ellipsa.eu/
Format=4
ID=B427A03BFE679
Created=May-4-2021 05:30:38 PM
TestCount=1645
Status=Candidate certified prime

[Comments]
...

[Candidate]
File=/tmp/D/cu1/primo432/work/ttt.in
Expression=10^50000+65859
N=$152E81DCC5CF9B751C028E9<<...>>
HexadecimalSize=41524
DecimalSize=50001
BinarySize=166096

[1]
... <<no more changes below>>
Maybe FactorDB needs some of those added rows, e.g. DecimalSize.
When FactorDB's intake validator is not happy, it reports: "1 zip file found, 0 certs added."
Then it means that you have to muck with the file some more.
Batalov is offline   Reply With Quote
Old 2022-05-08, 15:13   #21
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

22·1,063 Posts
Default

Quote:
Originally Posted by ixfd64 View Post
I'm hoping the eccp developers would consider releasing a GUI version in the future. In my opinion, the Primo UI is very nice and clean.
What is stopping Marcel Martin studying the source of FastECPP to improve Primo?

Last fiddled with by paulunderwood on 2022-05-08 at 15:19
paulunderwood is offline   Reply With Quote
Old 2022-05-08, 18:54   #22
frmky
 
frmky's Avatar
 
Jul 2003
So Cal

244210 Posts
Default

Quote:
Originally Posted by Batalov View Post
I replaced N=0x... by N=$.. (but I didn't replace any other 0x by $ in the file)
That's all that was needed.
frmky is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
For which types of primes is GPU primality test software available? bur GPU Computing 6 2020-08-28 06:20
Fastest software for Mersenne primality test? JonathanM Information & Answers 25 2020-06-16 02:47
APR-CL as primality proof f1pokerspeed FactorDB 14 2014-01-09 21:06
Proof of Primality Test for Fermat Numbers princeps Math 15 2012-04-02 21:49
PRIMALITY PROOF for Wagstaff numbers! AntonVrba Math 96 2009-02-25 10:37

All times are UTC. The time now is 07:33.


Tue Aug 16 07:33:24 UTC 2022 up 40 days, 2:20, 1 user, load averages: 1.59, 1.34, 1.18

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, 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.

โ‰  ยฑ โˆ“ รท ร— ยท โˆ’ โˆš โ€ฐ โŠ— โŠ• โŠ– โŠ˜ โŠ™ โ‰ค โ‰ฅ โ‰ฆ โ‰ง โ‰จ โ‰ฉ โ‰บ โ‰ป โ‰ผ โ‰ฝ โŠ โŠ โŠ‘ โŠ’ ยฒ ยณ ยฐ
โˆ  โˆŸ ยฐ โ‰… ~ โ€– โŸ‚ โซ›
โ‰ก โ‰œ โ‰ˆ โˆ โˆž โ‰ช โ‰ซ โŒŠโŒ‹ โŒˆโŒ‰ โˆ˜ โˆ โˆ โˆ‘ โˆง โˆจ โˆฉ โˆช โจ€ โŠ• โŠ— ๐–• ๐–– ๐–— โŠฒ โŠณ
โˆ… โˆ– โˆ โ†ฆ โ†ฃ โˆฉ โˆช โŠ† โŠ‚ โŠ„ โŠŠ โŠ‡ โŠƒ โŠ… โŠ‹ โŠ– โˆˆ โˆ‰ โˆ‹ โˆŒ โ„• โ„ค โ„š โ„ โ„‚ โ„ต โ„ถ โ„ท โ„ธ ๐“Ÿ
ยฌ โˆจ โˆง โŠ• โ†’ โ† โ‡’ โ‡ โ‡” โˆ€ โˆƒ โˆ„ โˆด โˆต โŠค โŠฅ โŠข โŠจ โซค โŠฃ โ€ฆ โ‹ฏ โ‹ฎ โ‹ฐ โ‹ฑ
โˆซ โˆฌ โˆญ โˆฎ โˆฏ โˆฐ โˆ‡ โˆ† ฮด โˆ‚ โ„ฑ โ„’ โ„“
๐›ข๐›ผ ๐›ฃ๐›ฝ ๐›ค๐›พ ๐›ฅ๐›ฟ ๐›ฆ๐œ€๐œ– ๐›ง๐œ ๐›จ๐œ‚ ๐›ฉ๐œƒ๐œ— ๐›ช๐œ„ ๐›ซ๐œ… ๐›ฌ๐œ† ๐›ญ๐œ‡ ๐›ฎ๐œˆ ๐›ฏ๐œ‰ ๐›ฐ๐œŠ ๐›ฑ๐œ‹ ๐›ฒ๐œŒ ๐›ด๐œŽ๐œ ๐›ต๐œ ๐›ถ๐œ ๐›ท๐œ™๐œ‘ ๐›ธ๐œ’ ๐›น๐œ“ ๐›บ๐œ”