# Singular          #### D.13.4.2 displayTropicalLifting

Procedure from library `tropical.lib` (see tropical_lib).

Usage:
displaytropcallifting(troplift[,#]); troplift list, # list

Assume:
troplift is the output of tropicalLifting; the optional parameter # can be the string 'subst'

Return:
none

Note:
- the procedure displays the output of the procedure tropicalLifting
- if the optional parameter 'subst' is given, then the lifting is substituted into the ideal and the result is displayed

Example:
 ```LIB "tropical.lib"; ==> Welcome to polymake version ==> Copyright (c) 1997-2015 ==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt) ==> http://www.polymake.org ring r=0,(t,x,y,z),dp; ideal i=-y2t4+x2,yt3+xz+y; intvec w=2,-4,0,4; displayTropicalLifting(tropicalLifting(i,w,3),"subst"); ==> LP algorithm being used: "cddgmp". ==> Groebner basis Engine being used: "gfan". ==> 0 ==> 0 ==> 0 ==> The procedure has created a list of lists. The jth entry of this list ==> contains a ring, an integer and an intvec. ==> In this ring lives an ideal representing the wanted lifting, ==> if the integer is N then in the parametrisation t has to be replaced by t\ ^1/N, ==> and if the ith component of the intvec is w[i] then the ith component in \ LIFT ==> should be multiplied by t^-w[i]/N in order to get the parametrisation. ==> ==> Suppose your list has the name L, then you can access the 1st ring via: ==> ==> def LIFTRing=L; setring LIFTRing; LIFT; ==> ==> The lifting of the point in the tropical variety lives in the ring ==> Q[[t^(1/2)]] ==> ==> The lifting has the form: ==> x=(1)*t^(4/2) ==> y=(1) ==> z=(-1)*1/t^(4/2) + (-1)*t^(2/2) ==> ==> Substituting the solution into the ideal gives: ==> i=0 ==> i=0 ```

### Misc 