Environment in which all programs of this package were run (10 October 2026)

Python 3.12.14 (macOS, arm64), in a private virtual environment created with

    uv venv --python 3.12 venv
    uv pip install --python venv/bin/python snappy==3.3.2 spherogram==2.4.1 regina==7.4.1 \
        database_knotinfo==2026.10.5 sympy==1.14.0

Packages which the programs import, with the installed versions:

    regina              7.4.1       HOMFLY and Jones polynomials (original/, verification_run_B/)
    snappy              3.3.2       census of Hoste and Thistlethwaite; hyperbolic structures in qp_test.py
    snappy-manifolds    1.4         (data of the census, dependency of snappy)
    spherogram          2.4.1       link diagrams, PD codes, simplification of diagrams, Seifert matrices
    database-knotinfo   2026.10.5   tables KnotInfo and LinkInfo
    sympy               1.14.0      parsing of the table polynomials in verification_run_B/programs/tables.py

Dependencies installed with them (not imported directly): cypari 2.5.7, networkx 3.7, plink 2.4.9,
FXrays 1.3.6, low-index 1.3, knot-floer-homology 1.2.2, mpmath 1.3.0.

Standard library only:
    writing_stage/check_paper.py
    verification_run_A/programs/*.py  except  export_census.py (snappy)  and  tables_qp_check.py (database_knotinfo)
    original/scripts/knotlib.py

The first version of the results (original/) and verification run B used environments with the same
versions of these packages; verification run A used the standard library for all invariants.
