must be the opposite of the slope of this edge. This is a rational number as soon as all valuations v(a_i) are rational numbers, and this is the reason for introducing rational exponents in Puiseux series.
