lattice polytope