437b439c6c
Portable proof handoff intended for verified mirror base 1229ab9e61bee936cb1a29c0693ee56922d2d908.
22 lines
723 B
Bash
Executable file
22 lines
723 B
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_parametric_pade_probe.py
|
|
|
|
if command -v wolframscript >/dev/null 2>&1; then
|
|
wolframscript -file certificates/p28_full_closure_certificate.wl
|
|
else
|
|
echo "SKIP: wolframscript is not installed; see the included PASS transcript."
|
|
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 "SKIP: SageMath is not installed; independent Sage checks were not run."
|
|
fi
|