i1 : P = hypercube 3 o1 = P o1 : Polyhedron
i2 : vertices P o2 = | -1 1 -1 1 -1 1 -1 1 | | -1 -1 1 1 -1 -1 1 1 | | -1 -1 -1 -1 1 1 1 1 | 3 8 o2 : Matrix QQ <--- QQ