50 lines
1.5 KiB
Bash
Executable file
50 lines
1.5 KiB
Bash
Executable file
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
cd "$(dirname "$0")"
|
|
|
|
python3 certificates/p28_rank_ode_bound_verifier.py
|
|
python3 certificates/p28_convergence_constants.py
|
|
python3 certificates/p28_standalone_equations.py
|
|
python3 certificates/p28_dominant_product_algebra.py
|
|
|
|
python3 - <<'PY'
|
|
from pathlib import Path
|
|
|
|
forbidden = {
|
|
Path("solution.tex"): (
|
|
"Birkhoff",
|
|
"Poincar",
|
|
"standard ascension",
|
|
"analytic solution normalized at",
|
|
),
|
|
Path("certificates/p28_kernel_contiguity_certificate.sage"): ("quo_rem",),
|
|
Path("certificates/all_four_columns_certificate.sage"): (
|
|
"is_irreducible",
|
|
"gcd(",
|
|
),
|
|
}
|
|
for path, needles in forbidden.items():
|
|
text = path.read_text(encoding="utf-8")
|
|
for needle in needles:
|
|
if needle in text:
|
|
raise SystemExit(f"FAIL: forbidden proof shortcut {needle!r} in {path}")
|
|
print("PASS: no forbidden proof shortcuts in the mandatory path")
|
|
PY
|
|
|
|
echo "DIAGNOSTIC (not an all-N proof): finite Padé regression"
|
|
python3 certificates/p28_parametric_pade_probe.py
|
|
|
|
if command -v wolframscript >/dev/null 2>&1; then
|
|
wolframscript -file certificates/p28_full_closure_certificate.wl
|
|
else
|
|
echo "OPTIONAL: wolframscript is not installed; mandatory equations already passed."
|
|
fi
|
|
|
|
if command -v sage >/dev/null 2>&1; then
|
|
sage certificates/p28_kernel_contiguity_certificate.sage
|
|
sage certificates/p28_lattice_hypotheses_certificate.sage
|
|
sage certificates/all_four_columns_certificate.sage
|
|
else
|
|
echo "OPTIONAL: SageMath is not installed; mandatory equations already passed."
|
|
fi
|