polytope > $p1 = new Polytope(POINTS=>[[1,0,0,0,0,0],[1,0,0,0,0,1],[1,0,0,0,1,0],[1,0,0,0,1,1],[1,0,0,1,0,0],[1,0,0,1,0,1],[1, 0,0,1,1,0],[1,0,0,1,1,1],[1,0,1,0,0,0],[1,0,1,0,0,1],[1,0,1,0,1,0],[1,0,1,0,1,1],[1,0,1,1,0,0],[1,0,1,1,0,1],[1,0,1,1,1,0],[1, 0,1,1,1,1],[1,1,0,0,0,0],[1,1,0,0,0,1],[1,1,0,0,1,0],[1,1,0,1,0,0],[1,1,1,0,0,0]]); polytope > print $p1->FACETS; polymake: used package cdd cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda.   http://www-oldurls.inf.ethz.ch/personal/fukudak/cdd_home/                                                                    polymake: used package ppl The Parma Polyhedra Library (PPL): A C++ library for convex polyhedra and other numerical abstractions.   http://www.cs.unipr.it/ppl/                                                                                                  0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 -1 0 -1 0 0 0 0 1 0 0 0 2 -1 0 0 -1 -1 1 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 0 -1 0 2 -1 -1 0 -1 0 3 -2 -1 0 -1 -1 2 -1 -1 0 0 -1 1 0 -1 0 0 0 polytope > $p1 = new Polytope(POINTS=>[[1,0,0,0,0,0],[1,0,0,0,0,1],[1,0,0,0,1,0],[1,0,0,0,1,1],[1,0,0,1,0,0],[1,0,0,1,0,1],[1, 0,0,1,1,0],[1,0,0,1,1,1],[1,0,1,0,0,0],[1,0,1,0,0,1],[1,0,1,0,1,0],[1,0,1,0,1,1],[1,0,1,1,0,0],[1,0,1,1,0,1],[1,0,1,1,1,0],[1 , 0,1,1,1,1],[1,1,0,0,0,0],[1,1,0,0,0,1],[1,1,0,0,1,0],[1,1,0,1,0,0],[1,1,1,0,0,0]]); polytope > print $p1->FACETS; 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 2 -1 0 0 -1 -1 1 0 0 -1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 0 -1 0 2 -1 0 -1 -1 0 3 -2 0 -1 -1 -1 2 -1 0 -1 0 -1 3 -2 -1 -1 0 -1 1 -1 0 0 0 0 3 -2 -1 0 -1 -1 2 -1 -1 -1 0 0 2 -1 -1 0 0 -1 1 0 -1 0 0 0 2 -1 -1 0 -1 0 3 -2 -1 -1 -1 0 4 -3 -1 -1 -1 -1