An installation instruction of the program realizing the proof of the existence of homoclinic tangencies
in forced-damped pendulum and the Henon map as described in the paper
D. Wilczak and P. Zgliczyński,
Computer assisted
proof of the existence of homoclinic tangency for the Henon map
and for the forced-damped pendulum
IMPORTANT:
The program requires gcc-3.4 or newer. Earlier versions of gcc are not supported.
We tested the program under several Linux distributions, both 32 and 64 bit architectures, gcc-compilers and processors, in particular:
- Ubuntu, Fedora, Suse, PLD
- gcc 4.1.2, 4.2.1, 4.3.2
- Intel Pentium IV, Intel Core 2 Duo, Intel Xeon, AMD Quad Core
Installation instruction under linux on PC
- create an empty directory and copy the archive to this directory
- please unzip the archive
tar xvfz homtan.tgz
-
call 'make' program in the main directory.
make
The last command generates two executables in the current directory: homtanHenon and homtanPendulum.
-
We may run the programs
./homtanHenon
or
./homtanPendulum
Both programs execute in the text mode hence the graphics environment is unnecessary.
OUTPUT:
There is no output files of the program. The program just verifies the covering relations and the cone conditions. In case a desired inequality is not verified, the program stops with a message about the error (which should not happen).
NOTE:
More informations about libraries can be found on the web page of CAPD group:
http://capd.ii.uj.edu.pl.