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.
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.
We use the MinGW compiler (Minimalist GNU for Windows - http://www.mingw.org).
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.
More informations about libraries can be found on the web page of CAPD group: http://capd.ii.uj.edu.pl