Data and code for the paper New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

This repository contains all the data and code necessary to generate the results and figures presented in the 2022 CASC paper of Tereso del Río and Matthew England.

It contains a dataset in a .csv file, a .tex describing the dataset and seven .py files containing the code used to analyse the dataset.

To generate the figures in the paper and the dataset used to create the table in the paper run the Python code named 'run_for_paper.py' inside the folder 'Code'.