Installing the Tubex library

The installation is supported on Linux systems. The current version of Tubex has not been tested on Windows. Any support is more than welcome.

Requirements and dependencies

Tubex uses several features of the IBEX library that you have to install first. The last version of IBEX is available on the official development repository:

sudo apt-get install -y cmake g++-5 flex bison    # requirements to compile IBEX
git clone https://github.com/ibex-team/ibex-lib   # download the sources from Github
cd ibex-lib                                       # move to the IBEX directory
./waf configure --with-debug --interval-lib=gaol  # configure IBEX before installation
sudo ./waf install                                # building + installing

Note that a CMake installation procedure will be soon available for IBEX.

Note also that the --with-debug option will slightly slow down your computations, but display useful error messages in case of failure conditions such as access violations. It is highly recommended for your developments.

Tubex uses the GAOL library by default, but Filib++ is also supported. Use --interval-lib=filib during the configuration of IBEX to use it.

Tubex library

The last sources are available on the official Tubex development repository. You can download the files and compile the sources with:

git clone https://github.com/SimonRohou/tubex-lib
cd tubex-lib ; mkdir make ; cd make ; cmake .. ; make
sudo make install

Graphical tools

VIBes is a visualization system that aims at providing people working with interval methods a way to display results (boxes, pavings), without worrying about GUI programming. Some methods have been implemented in Tubex in order to extend VIBes’ features to tubes purposes.

The last sources are available on the official VIBes development repository. A fast installation can be made using the following command lines:

git clone https://github.com/ENSTABretagneRobotics/VIBES
cd VIBES/viewer ; mkdir make ; cd make ; cmake .. ; sudo make install

Then, the VIBes viewer can be launch independently by executing:

VIBes-viewer

Build the examples

All the examples can be built using the following script:

./build.sh examples   # to compile both the library and examples

Otherwise, to compile one specific example, use CMake in the example directory. For instance:

cd examples/basics/ex_01_arithmetic     # moving to the example directory
mkdir make ; cd make ; cmake .. ; make  # cmake compilation
./basics_01                             # running example

Do not forget to launch the VIBes viewer before running the example.