A lattice polytope is a bounded object of the type Polyhedron
. This package is focused on functions that are specific for lattice polytopes rather than general polyhedra. Examples of such methods are isCayley
. Moreover the package contains known classifications of smooth 2-polytopes with up to 12 lattice points and smooth 3-polytopes with up to 16 lattice points. These classifications are accessible via the functions listSmooth2D
uses the Polyhedra
package by René Birkner
and the NormalToricVarieties
package by Gregory Smith
The following is an example illustrating the main functions provided in the package.
For an introduction to polytopes, we recommend Günter M. Ziegler's Lectures on Polytopes
, Graduate Texts in Mathematics 152, Springer-Verlag, New York, 1995.