Thanks for asking this essential question! You can define a polytope in polymake by specifing a matrix of POINTS or INEQUALITIES as follows: $inequalities=new Matrix<Rational>([[1,1,0],[1,0,1],[1,-1,0],[1,0,-1],[17,1,1]]); $p=new Polytope<Rational>(INEQUALITIES=>$inequalities); Then you can ask for ...