ConvexPolytope: temp