-
Notifications
You must be signed in to change notification settings - Fork 13
/
README
116 lines (77 loc) · 3.5 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
This is LattE integrale, the official new version of LattE.
In addition to the traditional LattE function of counting lattice
points in polytopes by variants of Barvinok's algorithm, LattE
integrale can also compute volumes and integrate polynomial functions
over polytopes. It supersedes LattE macchiato, an improved version of
LattE.
LattE requires the following programs and libraries:
* GMP, compiled with --enable-cxx
* NTL, version 5.4 or newer
* cddlib
* (optional) LRS
* (optional) LiDIA
* (optional) 4ti2
* (optional) TOPCOM
* (optional) Maple (non-free)
If you do not have these libraries installed yet, follow the
instructions below to install them. However, we also package a source
code distribution called
"latte-integrale"
(also called LattE integrale "for tea, too") that includes all of
these libraries (except, of course, Maple) and will build them
automatically. You can get it at the same place where you got this
package,
http://www.math.ucdavis.edu/~latte/
Building and installing LattE
-----------------------------
It is STRONGLY RECOMMENDED to use the source code distribution called
"latte-integrale". It contains all prerequisite libraries and also
PATCHES for some of the libraries that fix configuration and build
problems that are not yet included in upstream releases of the library.
If you do not wish to use "latte-integrale", follow the instructions
below. The 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
Obtain it from your distribution, or else https://gmplib.org/
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 your distribution, or else 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 package cddlib
Obtain it from your distribution, or else https://github.com/cddlib/cddlib
4. Put $HOME/latte/bin into your $PATH
and $HOME/latte/lib into your $LD_LIBRARY_PATH:
export PATH="$HOME/latte/bin:$PATH"
export LD_LIBRARY_PATH="$HOME/latte/lib:$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.
6. Optionally, install 4ti2.
7. Optionally, install TOPCOM.
8. Optionally, if you have Maple, make sure that the directory where
the command-line executable of Maple lives ("maple" or, on Windows,
"cmaple.exe") is in your $PATH:
export PATH="/path/to/maple/directory:$PATH"
N. Build and install LattE
From the source directory of LattE:
./configure --prefix=$HOME/latte --with-default=$HOME/latte
make
make install
Now the LattE executables (count, integrate, 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 the LattE manual (file `doc/manual.pdf') to get started.
* Changes since the official release 1.2: see NEWS and ChangeLog
* Website: http://www.math.ucdavis.edu/~latte