Back to files

This is LattE macchiato, an improved version of LattE derived from the official Release 1.2.

It requires the following programs and libraries:

• GMP, compiled with --enable-cxx
• NTL, version 5.4 or newer
• CDD+ 0.77 or newer
• cddlib
• (optional) LRS
• (optional) LiDIA

Building and installing LattE

The following instructions assume you want to install LattE and all its prerequisites into your home directory, namely into a hierarchy rooted at the directory $HOME/latte.

1. Install the GNU Multiple Precision Library

   Download it from http://www.swox.com/gmp/ Unpack it, then in the source directory do:

   ./configure --prefix=$HOME/latte --enable-cxx make make install

2. Install Victor Shoup's Number Theoretic Library

   Obtain it from http://www.shoup.net/ntl/ Unpack it, then in the source directory do:

cd src
./configure PREFIX=$HOME/latte GMP_PREFIX=$HOME/latte NTL_GMP_LIP=on make
make install

3. Install Komei Fukuda's packages CDD+ and cddlib

Obtain then from http://www.ifor.math.ethz.ch/~fukuda/cdd_home

4. Put $HOME/latte/bin into your $PATH

and $HOME/latte/lib into your LD_LIBRARY_PATH.

5. Optionally, install the non-free library LiDIA.

If you are using LiDIA 2.2.0, note that it installs the directory include/lidia but expects its header files in include/LiDIA. We advise to put a symbolic link after installation of LiDIA.

N. Build and install LattE

From the source directory of LattE:

./configure --prefix=$HOME/latte --with-default=$HOME/latte --program-prefix=lattemake
make install

Now the LattE executables (latte-count, latte-ehrhart, latte-minimize, latte-maximize) should be available in $HOME/latte/bin.

More information

• License: GNU General Public License, see COPYING
• Authors: see AUTHORS
• Documentation: see manual_v1.1.pdf
• Changes since the official release 1.2: see NEWS and ChangeLog
• Website: http://www.math.uni-magdeburg.de/~mkoeppe/latte