maxPolyhedra -- displays the generating Polyhedra of a PolyhedralComplex

Synopsis

Usage:

L = maxPolyhedra PC
Inputs:
- PC, an instance of the type PolyhedralComplex
Outputs:
- L, a list

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 a method function.