application 'tropical';
$P=new TropicalPolytope(POINTS=>[[2,1,0],[0,2,0],[0,0,1]]);
print $P->ENVELOPE;
$l=["14","24","34","15","25","35","16","26","36"];
print rows_labeled($P->ENVELOPE->FACETS_THRU_VERTICES->minor(~$P->ENVELOPE->FAR_FACE,All),$P->ENVELOPE->BOUNDED_VERTICES,$l);
$P->ENVELOPE->VISUAL_BOUNDED_GRAPH;
$P->VISUAL;
#
$HS=polytope::hypersimplex(3,6);
$HS->VERTEX_LABELS=["123","124","125","126","134","135","136","145","146","156","234","235","236","245","246","256","345","346","356","456"];
$MD=polytope::regular_subdivision($HS->VERTICES,pluecker($P->POINTS));
print rows_labeled($MD,undef,$HS->VERTEX_LABELS);