polyhedra -- computes all polyhedra of a polyhedral complex of a certain dimension

i1 : PC = polyhedralComplex hypercube 3

o1 = {ambient dimension => 3             }
      number of generating polyhedra => 1
      top dimension of the polyhedra => 3

o1 : PolyhedralComplex

i2 : L = polyhedra(2,PC)

o2 = {{ambient dimension => 3           }, {ambient dimension => 3           }, {ambient dimension => 3           },
       dimension of lineality space => 0    dimension of lineality space => 0    dimension of lineality space => 0  
       dimension of polyhedron => 2         dimension of polyhedron => 2         dimension of polyhedron => 2       
       number of facets => 4                number of facets => 4                number of facets => 4              
       number of rays => 0                  number of rays => 0                  number of rays => 0                
       number of vertices => 4              number of vertices => 4              number of vertices => 4            
     ----------------------------------------------------------------------------------------------------------------------------
     {ambient dimension => 3           }, {ambient dimension => 3           }, {ambient dimension => 3           }}
      dimension of lineality space => 0    dimension of lineality space => 0    dimension of lineality space => 0
      dimension of polyhedron => 2         dimension of polyhedron => 2         dimension of polyhedron => 2
      number of facets => 4                number of facets => 4                number of facets => 4
      number of rays => 0                  number of rays => 0                  number of rays => 0
      number of vertices => 4              number of vertices => 4              number of vertices => 4

o2 : List

i3 : apply(L,vertices)

o3 = {| -1 -1 -1 -1 |, | 1  1  1  1 |, | -1 1  -1 1  |, | -1 1  -1 1 |, | -1 1  -1 1  |, | -1 1  -1 1 |}
      | -1 1  -1 1  |  | -1 1  -1 1 |  | -1 -1 -1 -1 |  | 1  1  1  1 |  | -1 -1 1  1  |  | -1 -1 1  1 |
      | -1 -1 1  1  |  | -1 -1 1  1 |  | -1 -1 1  1  |  | -1 -1 1  1 |  | -1 -1 -1 -1 |  | 1  1  1  1 |

o3 : List