An installation instruction of the programs realizing numerical part of the proofs of symbolic dynamics in the model of Hyperion's inner rotation
A. Gierzkiewicz and P. Zgliczyński
"A computer-assisted proof of symbolic dynamics in Hyperion's inner rotation model."

Requirements:

The program is written in C++ and has been tested under Linux Mint 18.1 with gcc-5.4.0-6ubuntu1 (16.04.11) compiler. The program uses the CAPD library ver. 5.0.6 (see also sourceforge download zone). The CAPD library is also available as debian deb package. There are also prebuilt versions for Debian, Ubuntu and OSX.

Compilation instruction:

It principle it is possible to compile the CAPD library under MS Windows but we strongly recommend to compile and run the program on linux-like systems. The following commands should be executed from the terminal (or msys environment under MS Windows)

unzip the archive
unzip Hyperion-chaos.zip
enter directory of the program
cd Hyperion-chaos
build the programs
make CAPDBINDIR=relative_or_absolute_path_to_capd_bin_directory
for example
make CAPDBINDIR=../../capd-build/bin/
Warning: Do not forget the last slash character.
If the CAPD library is installed in standard directories that are on system path (like /usr/bin/) then you can compile the program just by invoking
make
The lastest command generates an executable files in the current directory.

Programs options:

The programs can be run from the terminal, for example by
./24-HorseshoeP1P3

There are seven programs with computer-assisted proofs in the package:

06-StationaryPointsPi2 proves the existence of stationary points for Poincare map P or its second iteration P² on the x=π/2 line of symmetry via interval Newton method.
Six programs with names containing phrase HorseshoePXPY (numbered 20, 21, 24 and 25abc) check the covering relations between some h-sets related to the connecting orbit between stationary points PX and PY.

Output:

All the programs except 06-StationaryPointsPi2 execute within seconds on a laptop type computer with Intel Core i7 2.7GHz x 2 processor. The program 06-StationaryPointsPi2 works for about half an hour.

The programs do not create output files. They print to the screen what conditions are being checked and the result of this check (true or false).