next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Polyhedra :: 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 = 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 :

For the programmer

The object maxPolyhedra is a method function.