For a lattice polytope , its Ehrhart polynomial counts integer points in dilates: for nonnegative integers . Ehrhart's theorem makes this counting function a polynomial. For the unit square, : there are choices for each coordinate. This turns a geometric counting problem into algebra.[ref]
New to topics? Read the docs here!