Verification code for "Supersymmetric Yang-Mills theories with several times reduce to ten dimensions".

  pip install numpy scipy matplotlib
  cd code && python3 verify.py          (34 checks; ends with "34 checks passed, 0 failed")

verify_output.txt is the output of the last run. figures/make_figures.py draws the plotted figures
(it writes into ../../paper/tex/figures when run from the repository; edit OUT at the top otherwise).
Every statement of the paper is proved in the text; no proof depends on this code.
Repository: https://github.com/creelie/cs-grav