Implementations of the results in the following paper using Python and JAX with the purpose of reproducing and eventually extending results.
Keren, D., Osadchy, M. and Poranne, R., 2024. A practical, fast method for solving sum-of-squares problems for very large polynomials. arXiv preprint arXiv:2410.19844.
To reproduce the figures and run the code, make sure that uv is installed on the system.
To install the pre-commit hooks (format and lint) run uvx pre-commit install.