Python 3.11+ recommended. Deterministic reference analyses use NumPy, SymPy and scikit-learn. Exact quotient and rank-safety logic uses rational SymPy arithmetic where stated.
