#### D.13.3.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";
    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");

User manual for Singular version 4-0-3, 2016, generated by texi2html.