the state polytope of an ideal