CoxIter
1.2
CoxIter - Computing invariants of hyperbolic Coxeter groups
|
The development and testing of CoxIter were carried out on Linux and I strongly recommend this system to use the program (also, the OSX version and the Windows version built with Visual Studio are slower than the one built on Linux).
This page is divided into the following sections:
The following steps were tested on Ubuntu, Linux Mint and Fedora. With other distributions the commands may vary slightly.
First, install everything you will need to compile the program.
On Ubuntu, Linux Mint or any Debian-based distribution, type the following commands in a Shell:
On Fedora, type the following commands in a Shell:
With a shell, go to the directory where you want to install CoxIter and type the following:
The compilation should be done withour error or warning. Now, CoxIter is usable.
Remark: If you don't have Git, you can simply download CoxIter here: https://github.com/rgugliel/CoxIter/archive/master.zip
If one of the library (PCRE, PARI/GP) is installed but is not found, try to run the following command:
If you want to manually install PCRE, you can do as follows: Get the latest 8.x version on the officiel website or use version 8.39 (do not use PCRE2). To do that, type the following commands in a shell:
Then, you can delete the temporary files:
First, open a terminal and enter the following command to install the prerequisites:
Now, download the last version of GMP from the official website.
Extract the downloaded file and open a terminal in GMP folder. Then, use the following commands:
Once this is done, we will be able to download and install CoxIter. Open a terminal in the folder where you want to install CoxIter and type the following commands:
That's it. CoxIter should be ready to use.
First, we need to download CygWin: https://cygwin.com/install.html
Then, we need to install CygWin together with the following packages:
We will suppose that CygWin was installed in "c:/cygwin/". You can choose any path you want but be sure not to include any space.
Once this is done, download PARI (http://pari.math.u-bordeaux.fr/) into your CygWin folder (c:/cygwin/home/YOURNAME/) and extract it. Then, to install PARI, open the CgyWin terminal, and type the following:
Copy the file "c:/cygwin/usr/local/lib/libpari-gmp.dll" to "c:/cygwin/bin/libpari-gmp.dll"
Now, download and install CoxIter
That's it. CoxIter should be ready to use.
First, we need to download MinGW and MSys which will be used to build CoxIter.
Download and install MinGW (for example, you can use the "mingw-w64-install.exe" here: https://sourceforge.net/projects/mingw-w64/files/Toolchains%20targetting%20Win32/Personal%20Builds/mingw-builds/installer/).
Note: it is important to choose an installation path without space. The easiest way is to choose "c:/mingw"
Download MSys: MSys
Extract the file and execute the "msys/postinstall/pi.bat" file. You will be asked to give the path to MinGW.
Once this is done, you can open the MSys console (the "msys.bat" file in the MSys folder).
Now, you can download PCRE here: ftp://ftp.csx.cam.ac.uk/pub/software/programming/pcre/pcre-8.39.zip
Extract the file. With the MSys console, browse to the PCRE folder and type the following commands:
Download the last version of GMP from the official website.
Again, extract the file and use MSys console to browse to the extracted folder. Type the following commands:
You can browse now to the folder "CoxIter/Windows" and type the following:
You can now use CoxIter.
You will need at least Visual Studio 2013 to compile CoxIter (see here for a free version: Visual Studio Community).
As explained above, the program will run slower than with other compilers.
To create a project from scratch, please follow the following steps:
If you cannot build CoxIter, you can try to use the file I built on my computer.
Note that this file is given WITHOUT ANY WARRANTY
First, install the "Visual C++ Redistributable Packages for Visual Studio 2013" for x86 (the file is named 'vcredist_x86.exe').
You can find it here: http://www.microsoft.com/en-gb/download/details.aspx?id=40784
Then, you can use the CoxIter.exe file which is located in "CoxIter/windows"