Test Sets for Integer Programs.

In this paper I discuss various properties of the simplicial complex of maximal lattice free bodies associated with a matrix A . If the matrix satisfies some mild conditions, and is generic , the edges of the complex form the minimal test set for the family of integer programs obtained by selecting a particular row of A as the objective function, and using the remaining rows to impose constraints on the integer variables.