next | previous | forward | backward | up | top | index | toc | Macaulay2 website
OldPolyhedra :: maxPolyhedra

maxPolyhedra -- displays the generating Polyhedra of a PolyhedralComplex

Synopsis

Description

maxPolyhedra displays the List of generating polyhedra of the PolyhedralComplex, i.e. all Polyhedra that are not a face of one of the other Polyhedra. These are all of the same dimension if and only if the PolyhedralComplex is pure (see: isPure).

i1 : PC = skeleton(1,polyhedralComplex hypercube 2)

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

o1 : PolyhedralComplex
i2 : L = maxPolyhedra PC

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

o2 : List
i3 : apply(L,vertices)

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

o3 : List

Ways to use maxPolyhedra :

For the programmer

The object maxPolyhedra is a method function.