Hi! I have a problem of having more knowledge about a polytope making computation much much slower. Here is a simple example: Take a cyclic polytope: VERTICES 1 0 0 0 1 1 1 1 1 2 4 8 1 3 9 27 1 4 16 64 Suppose we know an inequality description but don't know that they're facets (although in this cas...