for computing the state polytope of an ideal