Available versions of this document: latest release, release 3.5, nightly master

Reference documentation for older polymake versions: release 3.4, release 3.3, release 3.2

BigObject PropagatedPolytope<Scalar>

from application polytope

Polytope propagation means to define a polytope inductively by assigning vectors to arcs of a directed graph. At each node of such a graph a polytope arises as the joint convex hull of the polytopes at the translated sources of the inward pointing arcs. For details see

Joswig: Polytope Propagation on Graphs.
Chapter 6 in Pachter/Sturmfels: Algebraic Statistics for Computational Biology, Cambridge 2005.
Type Parameters:

Scalar: inherited from Scalar

derived from:

no category

Properties of SUM_PRODUCT_GRAPH:

The translation vectors of the arcs.


  • documentation/latest/polytope/propagatedpolytope.txt
  • Last modified: 2019/08/13 10:31
  • (external edit)