“…In [2], a separant σ f of an arbitrary (unitary) polynomial f over a valued field F = F, R was defined to be an element of a value group Γ R 0 for any algebraically closed extension F 0 = F, R F. Namely, let f = i<n (x − α i ) be a factorization of f into linear factors over F 0 . For i < n, a local (in α i ) Krasner constant κ f,α i is defined thus:…”