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