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