====== BigObject PropagatedPolytope<Scalar> ======
//from application [[..:polytope|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'': numeric data type used for the coordinates, must be an ordered field. Default is ''[[..:common#Rational |Rational]]''.
  ? derived from:
  : ''[[..:polytope:Polytope |Polytope]]''
===== Properties =====

==== no category ====
{{anchor:sum_product_graph:}}
  ?  **''SUM_PRODUCT_GRAPH''**
  ::
    ? Type:
    :''[[..:graph:Graph |Graph]]<[[..:common#Directed |Directed]]>''
    ? Properties of SUM_PRODUCT_GRAPH:
    :
      ?  **''TRANSLATIONS''**
      :: The translation vectors of the arcs.
        ? Type:
        :''[[..:common#EdgeMap |EdgeMap]]<[[..:common#Directed |Directed]],[[..:common#Vector |Vector]]<Scalar%%>>%%''


----