POCKLINGTON(1)

📦 version 8.20.1, in debian bookworm, debian trixie, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking

💖 POCKLINGTON(1) 💖

okay bestie, gather round — this is the General Commands Manual page for pocklington, and we're gonna make primality certificates together like it's a group project where literally everyone gets an A. 🎀

✨ NAME ✨

pocklington — generate a Pocklington primality certificate for a prime number 🦋

🌸 SYNOPSIS 🌸

pocklington [-o filename] prime
pocklington [-o filename] -next num
pocklington [-o filename] -size s
pocklington [-o filename] -proth k n
pocklington [-o filename] -lucas n
pocklington [-o filename] -mersenne n
pocklington [-o filename] -dec filename

💅 DESCRIPTION 💅

So basically: you hand this tool a prime number, and it tries to generate a Pocklington primality certificate for you. That's it, that's the whole vibe. 💖

note the "tries" — it's giving best-effort, not bestie-guaranteed, okay? 😭

👑 OPTIONS 👑

  • -v — enable verbose mode. she will talk. 🗣️
  • -o <filename> — prints the proof script into the file named <filename>. if you don't pass this, the output filename is gonna depend on how you gave the prime in the first place. ✨
  • <prime> — a prime number. the default output filename is either prime<prime>.v or, if that's too long, Prime.v. 💀 (yes, capitalized. she has range.)
  • -next <num> — generate a certificate for the next prime number following <num>. the default output filename works out exactly as if you'd just given that right number yourself. 🦋
  • -size <s> — generate a certificate for a prime number with at least <s> decimal digits. default output filename again acts as if the right number had been given. 🌸
  • -proth <k> <n> — generate a certificate for the Proth number k*2^n+1. default output filename, same deal: as if the right number had been handed over. 🔥
  • -lucas <n> — generate a certificate for the Mersenne number 2^n-1 using Lucas' test. it's more efficient, she ate. 💅 default output filename is lucas<n>.v.
  • -mersenne <n> — generate a certificate for the Mersenne number 2^n-1 using Pocklington's test. default output filename is mersenne<n>.v. 👑
  • -dec <filename> — generate a certificate for the number given in the file <filename>. heads up, that file should also contain a partial factorization of the predecessor. 🙈 the output filename is <filename>.v.

and that's the whole page, no cap. this icon was served up on July 15th, 2022 under the General Commands Manual banner, and honestly? slay. 🫶💜

📦 where this page comes from