|  |  D.13.4.24 texDrawTriangulation Procedure from librarytropical.lib(see  tropical_lib).
 
Example:Usage:
texDrawTriangulation(triang,polygon); triang,polygon list
Assume:
polygon is a list of integer vectors describing the
lattice points of a marked polygon;
 triang is a list of integer vectors describing a
 triangulation of the marked polygon
 in the sense that an integer vector of the form (i,j,k) describes
the triangle formed by polygon[i], polygon[j] and polygon[k]
 
Return:
string, a texdraw code for the triangulation described
by triang without the texdraw environment
 |  | LIB "tropical.lib";
==> Welcome to polymake version
==> Copyright (c) 1997-2015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
// the lattice polygon spanned by the points (0,0), (3,0) and (0,3)
// with all integer points as markings
list polygon=intvec(1,1),intvec(3,0),intvec(2,0),intvec(1,0),intvec(0,0),
intvec(2,1),intvec(0,1),intvec(1,2),intvec(0,2),intvec(0,3);
// define a triangulation by connecting the only interior point
//        with the vertices
list triang=intvec(1,2,5),intvec(1,5,10),intvec(1,2,10);
// produce the texdraw output of the triangulation triang
texDrawTriangulation(triang,polygon);
==> 
==>         \drawdim cm  \relunitscale 1.2 \arrowheadtype t:V
==>    
==>         \setgray 0
==>         \move (1 1)
==>         \fcir f:0 r:0.08
==>         \move (3 0)
==>         \fcir f:0 r:0.08
==>         \move (0 0)
==>         \fcir f:0 r:0.08
==>         \move (0 3)
==>         \fcir f:0 r:0.08
==>         \move (1 1)
==>         \lvec (3 0)
==>         \move (3 0)
==>         \lvec (0 0)
==>         \move (0 0)
==>         \lvec (1 1)
==>         \move (0 0)
==>         \lvec (0 3)
==>         \move (0 3)
==>         \lvec (1 1)
==>         \move (3 0)
==>         \lvec (0 3)
==>         \move (1 1)
==>         \fcir f:0.7 r:0.04
==>         \move (3 0)
==>         \fcir f:0.7 r:0.04
==>         \move (2 0)
==>         \fcir f:0.7 r:0.04
==>         \move (1 0)
==>         \fcir f:0.7 r:0.04
==>         \move (0 0)
==>         \fcir f:0.7 r:0.04
==>         \move (2 1)
==>         \fcir f:0.7 r:0.04
==>         \move (0 1)
==>         \fcir f:0.7 r:0.04
==>         \move (1 2)
==>         \fcir f:0.7 r:0.04
==>         \move (0 2)
==>         \fcir f:0.7 r:0.04
==>         \move (0 3)
==>         \fcir f:0.7 r:0.04
 | 
 
 |