Now I take the facets from this output, which are a inequality description of the polytope, and create a polytope with that description: The facets do not suffice to describe the polytope, as it is not full-dimensional. You also need the subspace that contains the polytope, which is given in the AF...