Talk:Integral polytope