Generalizations of Hensel’s lemma and the nearest root method

How to Find (Compute) a Separant

“…In a series of papers [2][3][4][5][6], separants of polynomials were found for some important (interesting) classes of polynomials. If we use the notion of a constructive model [7] or, which is equivalent, of a computable model [7,8], then it is not hard to see that in the case where F 0 is a constructive field, the definition of a separant σ f itself shows a way of computing the separant.…”