Lattice polytope
= Lattice polytope
A lattice polytope is the convex hull of finitely many points of a <Euclidean lattice>. It need not contain the origin. Integral translation changes its associated homogeneous semigroup ring by a grading-preserving isomorphism.
// Target: geometry-and-topology.bigb