Triangulations and basic definitions of algebra of polyhedra

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Generating functions and Euler characteristic

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Some copy-editing

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Signed decompositions and Brion's theorem

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Evaluation of f(P;1) and some copy-editing

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Ehrhart polynomial: k >= 1

Signed-off-by: Nicolai Hähnle <nhaehnle@gmail.com>
Small fixes and clarifications

Signed-off-by: Nicolai Hähnle <nhaehnle@gmail.com>
Note convolution and Hadamard bound

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Merge git@github.com:Loofmodnar1/lattices.git master

Closed balls are kept as B, which is the more common notation in this context.

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Make the exercise on inverses much more explicit, plus various clarifications and fixes

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Lattice programming WIP

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Complete proof of the full generalized half-ball lemma

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Outline of lattice programming algorithm

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Fixed typos and similar errors.
Suggesting different notation for "variable goes to zero from above".
more typos
Suggest a different definition of tangent cone.
The old definition gives a tangent cone that is not necessarily the empty set for a point not in P. This makes a the remark after Brion's theorem incorrect.
Slightly changed the formulation in Minkowski's theorem.
The theorem was correct, but it seems a bit strange to require a convex and measurable set.
Added definition of Voronoi diagram, which was previously undefined.
Fixed another typo (basis -> generating system)