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         
       dimension of lineality space => 0    dimension of lineality space =>
       dimension of polyhedron => 2         dimension of polyhedron => 2   
       number of facets => 4                number of facets => 4          
       number of rays => 0                  number of rays => 0            
       number of vertices => 4              number of vertices => 4        
     ------------------------------------------------------------------------
      }, {ambient dimension => 3           }, {ambient dimension => 3      
     0    dimension of lineality space => 0    dimension of lineality space
          dimension of polyhedron => 2         dimension of polyhedron => 2
          number of facets => 4                number of facets => 4       
          number of rays => 0                  number of rays => 0         
          number of vertices => 4              number of vertices => 4     
     ------------------------------------------------------------------------
         }, {ambient dimension => 3           },
     => 0    dimension of lineality space => 0  
             dimension of polyhedron => 2       
             number of facets => 4              
             number of rays => 0                
             number of vertices => 4            
     ------------------------------------------------------------------------
     {ambient dimension => 3           }}
      dimension of lineality space => 0
      dimension of polyhedron => 2
      number of facets => 4
      number of rays => 0
      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