application 'polytope';
$c=cross(3);
print rows_numbered($c->VERTICES);
print rows_numbered($c->GALE_TRANSFORM);
print rows_numbered($c->GALE_VERTICES);
$c->GALE;
print rows_numbered($c->VERTICES_IN_FACETS);
print rows_numbered($c->FACETS);
$sc=(new Polytope(VERTICES=>cube(3)->VERTICES->minor([0..6],All)));
$sc->GALE;
print rows_numbered($sc->VERTICES_IN_FACETS);
perles_irrational_8_polytope()->GALE;