One further question: As a test I'm trying to get the facet description of a polytope in R^81, with about 600 vertices. The computation does not finish after about 5 hours. Now, I know that the polytope is not full dimensional, actually I know that it has dimension 48, so I can reduce the size of th...