General information

The aim of CoxIter is to provide tools to compute some invariants of hyperbolic Coxeter groups. For a given hyperbolic Coxeter group, the program can:

compute the Euler characteristic (and thus the volume when the dimension is even)
compute f-vector
check whether the group is cocompact or not
check whether the group has finite volume
compute the growth series and the growth rate
in some cases, check if the group is arithmetic.

Installing CoxIter

On Linux
It is easy to build CoxIter. See information there: Compilation with GNU/Linux
On OSX
It is easy to build CoxIter. See information there: Compilation on Mac
Note that the OSX version is currently slower (approximatively 4 times) than the Linux and Windows version.
On Windows If you just want to use CoxIter, then use the compiled file in the windows/ folder of the latest version
If you want to build CoxIter, then you have three choices:
- Easy: Build CoxIter with CygWin.
  Information here: Compilation on Windows with CygWin
- Build CoxIter with Visual Studio (it will be easy but the program will be slower and some options won't be available)
  Information here: Compilation on Windows with Visual Studio
- Build CoxIter with GCC (won't able to compute the growth rate)
  Information here: Compilation on Windows with MinGW/MSys

Testing CoxIter

To test CoxIter, browse to "the testing/build/" folder and type the following commands:

tar -xf ../../graphs/testing_index2.tar.gz --directory ../../graphs/
cmake ../
make
./tests

The tests should take several minutes to complete.

More information are available here: https://github.com/rgugliel/CoxIter/blob/master/testing/README.md

Updating CoxIter

Under Linux and OSX, open a terminal and browse to your CoxIter directory. Then, type the following:

git pull origin master
cd build
cmake ..
cmake --build .

That's it.

Table of Contents

General information

Installing CoxIter

Testing CoxIter

Updating CoxIter

Table of contents