Polyhedral complexes in polymake

Polyhedral complexes are contained in the application fan, so you hanve to switch application to access the full functionality.

> application "fan";

To define polyhedral complexes in polymake, you need to provide an array of input points and a list of polytopes represented as an array of arrays of point indices.

fan > $pc1 = new PolyhedralComplex(POINTS=>[[1,0,0],[1,0,1],[1,1,0],[1,1,1]],INPUT_POLYTOPES=>[[0,1,2],[2,3],[1]]);

Since some of the input polytopes may be redundant, you should ask for the MAXIMAL_POLYTOPES.

fan > print $pc1->MAXIMAL_POLYTOPES;
{0 1 2}
{2 3}

Triangulations

Triangulations of polytopes form an important special class of polytopal complexes. In polymake they are objects of type SimplicialComplex (and thus belong to the application topaz). However, it is easy to convert them as follows:

fan > $c=cube(3);
fan > $triangulation=new PolyhedralComplex(VERTICES=>$c->VERTICES,MAXIMAL_POLYTOPES=>$c->TRIANGULATION->FACETS);

Voronoi Diagrams and regular subdivisions

There are seperate tutorials for Voronoi diagrams and regluar subdivisions of point sets.

tutorial/pcom.txt · Last modified: 2017/07/28 17:28 by oroehrig
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki