FIRSTPRIMES(1)

💅 FIRSTPRIMES — primality certification for the first primes

okay bestie, so firstprimes is a General Commands Manual girlie and she does exactly one thing but she does it so well: she hands you a primality certification for the first primes. no cap. 👑

✨ SYNOPSIS ✨

firstprimes [-o filename] -base maxindex
firstprimes [-o filename] minindex maxindex

🌸 DESCRIPTION 🌸

so here's the tea 🫖 — this tool writes out, into the file filename (and if you don't say anything, the default is FirstPrimes.v), the proof of primality for all the primes sitting between the minimum and the maximum indexes.

it's carrying around a rather large list — we're talking thousands — of the first primes, and it can absolutely produce a proof of primality for every single one of them. the indexes? they're relative to that list, so they're positions in the lineup, not the prime values themselves. iykyk 💖

🎀 OPTIONS 🎀

• -o <filename> — prints the proof script into the file named <filename>. if you don't pass it, it's gonna be FirstPrimes.v. 💅
• -base <maxindex> — gives proofs for the primes from 0 (included) all the way up to <maxindex> (excluded). so the top one is not invited to the party, periodt. 🦋
• <minindex> <maxindex> — gives proofs for the primes from <minindex> (included) up to <maxindexoo> (excluded). same deal: bottom one's in, top one's out. 🌈

ngl bestie, watch those boundaries — included/excluded is doing a lot of heavy lifting here, and it is not a vibe you wanna get wrong. 👀

💜 SEE ALSO ✨

hmm, the original page didn't give us a SEE ALSO section, so we're just gonna sit here and be iconic on our own. that's main character energy fr fr. 🧚

from your girlie, with love: this lil cutie lives in the General Commands Manual, dated July 15th, 2022, and it goes by FIRSTPRIMES(1) — go forth and certify some primes, you absolute legend. 🔥👑💖