Prime Records

A frontend to submit records to prime-gap-list

Performs validation then submits record.

pip install gmpy2 primegapverify

# Setup
git clone https://github.com/sethtroisi/prime-gap-record-server
cd prime-gap-record-server

git clone https://github.com/primegap-list-project/prime-gap-list.git
cd prime-gap-list
sqlite3 gaps.db < allgaps.sql
sudo chmod 664 gaps.db
cd ..

python flask_serve.py

A local server should now be running at http://localhost:5090

For the official server a few extra steps are needed

git remote add upstream [email protected]:primegap-list-project/prime-gap-list.git
git remote remove origin
git fetch
git config --global user.name
git config --global user.email
# Make sure ssh works

# Because of complicated configs
truncate -s0 gaps.db; sqlite3 gaps.db < allgaps.sql
touch records.txt submissions.txt
sudo chown -R www-data records.txt submissions.txt prime-gap-list/

TODO

• Write failed verifications to error.txt
• Handle multiple records for same gap in same batch
• Test permissions page
  • write to records
  • verify git setup
  • can write to db
• Create PR for new contributor
• Push for regular contributor
• C?? for very large gaps.
• Change to multiprocess
• Figure out out how to correctly compute merit for existing records.
• Bundle same discoverer into batches
• Replace line in allgaps.sql if record already exists
• Scroll areas in status