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 |
The object maxPolyhedra is a method function.