#!/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