Instruction on installation of the program realizing the proof of an existence of symmetric periodic orbits in a four-dimensional map as described in paper

Wilczak and Zgliczynski "Topological method for symmetric periodic orbits for maps with a reversing symmetry"

Requirements:

Compiler - The program should be compiled with gcc-3.4 or newer.

Graphics - When run in graphics mode, the minimal required resolution is 1024x768. In the case of smaller resolution only a part of the screen will be visible.


Installation instruction under linux or MS Windows with wxWidgets graphics library (recommended)

    If you have installed wxWidgets library (devel packages also required)
  1. unzip the archive
    tar xfvz symcov.tgz
  2. change directory to 'symcov' and call 'make'.
    cd symcov
    make target=wx
    The last command generates an executable file symcov in the current directory.

graphics mode:
We can run the program under X Windows by
./symcov
The program display a menu - one can show a numerical simulations of the existence of the required covering relations or start the rigorous proof.

no graphics:
We can run the program with nograph option
./symcov nograph
or
./symcov nograph&
In this case the program starts the rigorous proof and does not display computed bounds. In this case the computations are much faster and the report of the computations is wrtitten to report file.


Installation instruction under linux (libx11-devel package required)

  1. unzip the archive
    tar xfvz symcov.tgz
  2. change directory to 'symcov' and call 'make'.
    cd symcov
    make
    The last command generates an executable file symcov in the current directory.

graphics mode:
We can run the program under X Windows by
./symcov
The program display a menu - one can show a numerical simulations of the existence of the required covering relations or start the rigorous proof.

no graphics:
We can run the program with nograph option
./symcov nograph
or
./symcov nograph&
In this case the program starts the rigorous proof and does not display computed bounds. In this case the computations are much faster and the report of the computations is wrtitten to report file.


Installation instruction under MS Windows with MinGW compiler:

We use the MinGW compiler (Minimalist GNU for Windows - http://www.mingw.org).

  1. unzip the archive
  2. change directory to 'symcov' and call 'mingw32-make'.
    cd symcov
    mingw32-make target=win
  3. The last command generates an executable file symcov.exe in the current directory.

graphics mode:
We can run the program under MS Windows by
symcov.exe
The program display a menu - one can show a numerical simulations of the existence of the required covering relations or start the rigorous proof.

no graphics:
We can run the program with nograph option
symcov.exe nograph
In this case the program starts the rigorous proof and does not display computed bounds. In this case the computations are much faster and the report of the computations is wrtitten to report file.


NOTE:

More informations about libraries can be found on the web page of CAPD group: http://capd.ii.uj.edu.pl