|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.13.7.1 setUniformizingParameter
Procedure from librarytropicalNewton.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
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 |