How samuelmoulin/pell_norm_forms works
This is a research-computing repository for exploring, sieving, analyzing, and certifying Pell norm forms, organized as independent pipelines for five papers. The main user workflow is to run a paper’s scripts, produce arithmetic classifications or analytical results, and preserve outputs in its corresponding proof-and-log directory. The graph retains the README’s documented density, orbital-mapping, Kummer-model, structural-arithmetic, and generalization branches. Relationships between unsampled components are included only where the README documents them; the tree uses proof_and_logs/, despite the README’s differing spelling.
Main entry points: proof_and_logs Paper outputs · generateur_diviseurs.c Divisor candidates · crible_nsw_omp.c NSW prime sieve · generateur_certificats.gp ECPP certificates
Components 31
Prime census
- Divisor candidates
scripts/Paper_01/generateur_diviseurs.c - NSW prime sieve
scripts/Paper_01/crible_nsw_omp.c - Sequential sieve
scripts/Paper_01/crible_nsw.c - ECPP certificates
scripts/Paper_01/generateur_certificats.gp - Class numbers
scripts/Paper_01/quadclassunit.py - Pell checks
scripts/Paper_01/pell_lemma.c
Orbit densities
- Orbit density sieve
scripts/Paper_02/pell_orbits_v3.c - Density sieve
scripts/Paper_02/crible_densites_10e9.c - Orbit mapping
scripts/Paper_02/fast_cartographie_pell.c - Mapping variants
scripts/Paper_02/cartographie_pell.c - CSV engine
scripts/Paper_02/moteur_csv.c - Density analysis
scripts/Paper_02/sum_mats.py - Kummer validation
scripts/Paper_02/Pell_validation.py - Immersion analysis
scripts/Paper_02/analyser_grille_immersion.c - Kummer models
scripts/Paper_02/modeles_kummer_chebotarev.py - Pell checks
scripts/Paper_02/pell_lemma.c
Structural arithmetic
- Structural checks
scripts/Paper_03/pell_lemma.c - Pocklington certificates
scripts/Paper_03/certificateur_pocklington.c - Purity analysis
scripts/Paper_03/purity_8192.py - Structural analysis
scripts/Paper_03/modulo.py
Generalization
- Generalized validation
scripts/Paper_04/Pell_validation.py - Fibonacci-Lucas sieve
scripts/Paper_04/crible_fibonacci_lucas.c - Orbit dynamics
scripts/Paper_04/dynamique_orbites.py - Covering systems
scripts/Paper_04/exploration_systemes_couvrants.py - Immersion analysis
scripts/Paper_04/analyser_immersion.c - Pell checks
scripts/Paper_04/pell_lemma.c
Monograph synthesis
- Divisor candidates
scripts/Paper_05/generateur_diviseurs.c - Parallel prime sieve
scripts/Paper_05/crible_nsw_omp.c - ECPP certificates
scripts/Paper_05/generateur_certificats.gp
Other components
- Researcher
- Paper outputs
proof_and_logs
Connections 35
- Researcher → Divisor candidates: runs census
README.md - Researcher → NSW prime sieve: runs sieve
README.md - Researcher → Sequential sieve: runs alternative
README.md - Researcher → ECPP certificates: runs certification
README.md - Researcher → Class numbers: runs analysis
README.md - Researcher → Pell checks: runs checks
README.md - Divisor candidates → Paper outputs: writes candidates
README.md - NSW prime sieve → Paper outputs: writes sieve log
README.md - ECPP certificates → Paper outputs: writes certificates
README.md - Class numbers → Paper outputs: writes logs
README.md - Researcher → Orbit density sieve: runs density jobs
README.md - Researcher → Orbit mapping: runs mapping
README.md - Researcher → Kummer validation: runs validation
README.md - Orbit density sieve → Paper outputs: records density runs
README.md - Orbit mapping → Paper outputs: writes mapping data
README.md - Density sieve → Paper outputs: records density data
README.md - Mapping variants → Paper outputs: writes mapping data
README.md - CSV engine → Paper outputs: writes CSV data
README.md - Density analysis → Paper outputs: records matrices
README.md - Kummer validation → Paper outputs: records validation
README.md - Immersion analysis → Paper outputs: records states
README.md - Kummer models → Paper outputs: records models
README.md - Researcher → Pocklington certificates: runs certification
README.md - Researcher → Structural checks: runs checks
README.md - Pocklington certificates → Paper outputs: writes certificates
README.md - Researcher → Generalized validation: runs validation
README.md - Researcher → Fibonacci-Lucas sieve: runs sieve
README.md - Generalized validation → Paper outputs: records results
README.md - Fibonacci-Lucas sieve → Paper outputs: records results
README.md - Researcher → Divisor candidates: runs synthesis
README.md - Researcher → Parallel prime sieve: runs synthesis
README.md - Researcher → ECPP certificates: runs synthesis
README.md - Divisor candidates → Paper outputs: writes audit data
- Parallel prime sieve → Paper outputs: writes audit data
- ECPP certificates → Paper outputs: writes certificates