|
|
D.13.7.1 setUniformizingParameter
Procedure from library tropicalNewton.lib (see tropicalNewton_lib).
- 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
Example:
| | 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
|
|
