|  |  D.15.35.1 setUniformizingParameter Procedure from librarytropicalNewton.lib(see  tropicalNewton_lib).
 
Example:Usage:
setUniformizingParameter(p); p number
Return:
none, sets the uniformizing parameter as p
Assume:
char(K)==0 and p prime number or
trdeg(K)>0 and p transcendental variable or
 p==0
 
 |  | LIB "tropicalNewton.lib";
// poor man's polynomials over Puiseux series:
ring r = (0,t),x,dp;
setUniformizingParameter(t);
val(t2+t3);
==> 2
val(t^-2+t^-3);
==> -3
// poor man's polynomials over p-adic numbers:
ring s = 0,x,dp;
setUniformizingParameter(2);
val(12);
==> 2
val(1/12);
==> -2
 | 
 
 |