This repo refers to the article "Counter-examples in first-order optimization: a constructive approach"
Running main.py generates the figures presented in the paper.
lyapunov_bisection_search.py generates results related to the existence of a Lyapunov function for a given method, in a folder called results/lyapunov.
cycle_bisection_search.py generates results related to the existence of a cycle of a given length for a given method, in a folder called results/cycle.
Running tools/file_management.py generates the figures from the data generated by both lyapunov_bisection_search.py and cycle_bisection_search.py.