Home Online Manual
Top
Back: drawTropicalCurve
Forward: tropicalJInvariant
FastBack: realizationMatroids_lib
FastForward: Miscellaneous libraries
Up: tropical_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.13.3.7 drawNewtonSubdivision

Procedure from library tropical.lib (see tropical_lib).

Usage:
drawTropicalCurve(f[,#]); f poly, # optional list

Assume:
f is list of linear polynomials of the form ax+by+c with integers a, b and a rational number c representing a tropical Laurent polynomial defining a tropical plane curve;
alternatively f can be a polynomial in Q(t)[x,y] defining a tropical plane curve via the valuation map;
the basering must have a global monomial ordering, two variables and up to one parameter!

Return:
NONE

Note:
- the procedure creates the files /tmp/newtonsubdivisionNUMBER.tex, and /tmp/newtonsubdivisionNUMBER.ps, where NUMBER is a random four digit integer;
moreover it desplays the tropical curve defined by f via kghostview; if you wish to remove all these files from /tmp, call the procedure cleanTmp;
if # is empty, then the tropical curve is computed w.r.t. minimum, if #[1] is the string 'max', then it is computed w.r.t. maximum
- note that lattice points in the Newton subdivision which are black correspond to markings of the marked subdivision, while lattice points in grey are not marked

Example:
 
LIB "tropical.lib";
ring r=(0,t),(x,y),dp;
poly f=t*(x3+y3+1)+1/t*(x2+y2+x+y+x2y+xy2)+1/t2*xy;
// the command drawTropicalCurve(f) computes the graph of the tropical curve
// given by f and displays a post script image, provided you have kghostview
drawNewtonSubdivision(f);
// we can instead apply the procedure to a tropical polynomial
poly g=x+y+x2y+xy2+1/t*xy;
list tropical_g=tropicalise(g);
tropical_g;
drawNewtonSubdivision(tropical_g);