maxPolyhedra -- displays the generating Polyhedra of a PolyhedralComplex

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 = PC o1 : PolyhedralComplex i2 : L = maxPolyhedra PC o2 = {({0}, {}), ({1}, {}), ({2}, {}), ({3}, {})} o2 : List i3 : vertPC = vertices PC o3 = | -1 1 -1 1 | | -1 -1 1 1 | 2 4 o3 : Matrix QQ <--- QQ i4 : apply(L, mp -> vertPC_(mp#0)) o4 = {| -1 |, | 1 |, | -1 |, | 1 |} | -1 | | -1 | | 1 | | 1 | o4 : List

Ways to use maxPolyhedra :

• "maxPolyhedra(PolyhedralComplex)"

For the programmer

The object maxPolyhedra is .