Primo

[retina]

Originally Posted by Uncwilly

With or without the www, the site does not like a cut and paste or off-site link, only clicking on the link onsite.

That would tend to indicate a referer [sic] block. If the referer field in the header is not from the page then no download for you.

[sweety439]

Originally Posted by jnml

I'm not a Windows user, but I was under the impression that nowadays Windows can run
any Linux binary.

I asked for that since 2019, I only have Windows10, didn't Primo update?

[jnml]

Originally Posted by sweety439

I asked for that since 2019, I only have Windows10, didn't Primo update?

I don't follow. Linux program does not need any update to run on Windows nowadays,
IINM.

It's probably Windows that need to be updated to have WSL, if that's not the default.

[kruoli]

And you will need some kind of Windows X window server, like XMing etc.

[chris2be8]

Hello,

Does anyone know of an equivalent of Expect that I could use to run primo from a script? Given that I could write a script to prove most of the smallish PRPs in factordb.

Chris

[Batalov]

Originally Posted by chris2be8

Hello,

Does anyone know of an equivalent of Expect that I could use to run primo from a script? Given that I could write a script to prove most of the smallish PRPs in factordb.

Chris

With one input, you can get any number of different valid proof certificates. (Like different proofs for the same theorem.)
So simple "expect" will not work, but you can check what verifier Markus uses in factordb.com (a script used to be somewhere on this forum - for v3 certificates, but Markus has a validator for v4 as well. This script has to "simply" check that every curve/test is valid).

[EdH]

Originally Posted by chris2be8

Hello,

Does anyone know of an equivalent of Expect that I could use to run primo from a script? Given that I could write a script to prove most of the smallish PRPs in factordb.

Chris

I used xdotool with my "farm" machines to "scriptify" them back quite some time ago. They were running GUIs, so I didn't actually run Primo within a terminal, but rather within its window. I had a RPi machine serve the candidates and send the certificates to factordb. Then I had many machines as clients doing the certificates with Primo.

It took quite a bit to set it up and any time the window layout (like a Primo version) change occurred, the scripts all had to be adjusted. It was also a little finicky, in that the Primo window had to stay in focus while the xdotool was running its key sequence.

If interested, I could maybe dig out the particulars for you. (Maybe I should make another "How I . . ." thread for it. I wonder how much interest there is.)

[chris2be8]

Many thanks for telling me about xdotool. I'm now running a script to generate proofs for smallish PRPs in factordb so expect to see a lot fewer of them in a few days.

Chris

[EdH]

Originally Posted by chris2be8

Many thanks for telling me about xdotool. I'm now running a script to generate proofs for smallish PRPs in factordb so expect to see a lot fewer of them in a few days.

Chris

Glad that worked out. I haven't done anything with PRPs since Masaki UKAI started racing toward the top of the stats and I was able work just enough of the right size PRPs to establish a round figure. Now, I kind of hate to disturb that score.

-Ed

[MisterBitcoin]

Originally Posted by sweety439

I asked for that since 2019, I only have Windows10, didn't Primo update?

There is a thing that is called *hosting*. You should be able to find an server that is hosted for not an large amount of money, but be careful. Get an dedicated server.

OR, even cheaper, create an second OS on your PC! Its easy to create an other partition and boot up Linux on it.



I bet you can do it, if not google is your friend.





Dont EXPECT that people will do YOUR work for free or out of the blue. Do your own work instead of strg+c and strg+v.

[RichD]

A new version in the usual place.

Changes:
v4.3.3 (December 12, 2020)
• Candidates up to 50,000 decimal digits (instead of 40,000).