Home Online Manual
Top
Back: tropicalNewton_lib
Forward: val
FastBack:
FastForward:
Up: tropicalNewton_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.37.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