Instructions for installing and running the code:

1. Install the CAPD library. The instructions for installation can be fond on http://capd.ii.uj.edu.pl/. In the folder that contains the file you are reading the version of the CAPD library ("capd4_dynsys_20141029.zip") on which the proof was conducted is included. This CAPD version is a natural candidate for running the proof. The proof should also run though on the latest CAPD version, provided that the developers of the library have not changed some syntax conventions.

2. Unzip the "code_lorenz84.zip" file and modify the "makefile" so that the line:

CAPDBINDIR = ...

points to the folder where the capd library has been installed.

3. The computer assisted proof can be compiled from code_lorenz84 folder by calling 

make
./shiln

from terminal.

4. The plot data will be saved in the code_lorenz84/pic folder. The figures can be replotted using gnuplot by executing

load "plot.txt"

from the code_lorenz84/pic folder.

=========================
Suggested order of reading the files:

1 eigenvector
2 LocalVField
3 projections
4 ratecond
5 isolatingBlock
6 WuEnclosure
7 shiln