user_guide:tutorials:pcom

This tutorial is probably also available as a Jupyter notebook in the demo folder in the polymake source and on github.

Different versions of this tutorial: latest release, release 4.11, release 4.10, release 4.9, release 4.8, release 4.7, release 4.6, release 4.5, release 4.4, release 4.3, release 4.2, release 4.1, release 4.0, release 3.6, nightly master

This is an old revision of the document!


Polyhedral complexes are contained in the application fan. There are two ways to define polyhedral complexes in polymake. First, a polyhedral complex can be defined by an array of input points and, firstly, by a list of polytopes or, secondly, by a list of cells. In both cases the indices refer to the given points. The distinction between them is done due to the definition of regular subdivisions, where a point projected back to the subdivision may be an inner point of a cell and not a vertex of it. In both cases the indices refer to the given points.

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]]);
fan > $pc2 = new PolyhedralComplex(POINTS=>[[1,0],[1,1],[1,2]], MAXIMAL_CELLS=>[[0,2],[0,1,2]]);

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

fan > print $pc->MAXIMAL_POLYTOPES;

  • user_guide/tutorials/pcom.1304588734.txt.gz
  • Last modified: 2014/01/03 15:45
  • (external edit)