These files accompany the paper

"Towards computational Morse-Floer homology:
forcing results for connecting orbits 
by computing relative indices of critical points"

Authors: 
Jan Bouwe van den Berg
Marcio Gameiro
Jean-Philippe Lessard
Robert van der Vorst

Year: 2022

This directory contains the code for Theorem 1.3, Figure 3 and Section 6,
i.e. the Ohta-Kawasaki equation.

Additional details of the estimates implemented can be found in
Ohta-Kawasaki_bounds.pdf

To run the proofs and produce the graphs 
you need to have intlab installed and have it started.
Then run the script 
script_proofs_OK.m 
to run the proofs for parameter value lambda=9.
