Separable polynomial (source code)

= Separable polynomial
{wiki=Separable_polynomial}

A separable polynomial is a polynomial that does not have repeated roots in its splitting field. More formally, a polynomial \\( f(x) \\) over a field \\( K \\) is termed separable if its derivative \\( f'(x) \\) and \\( f(x) \\) share no common roots in an algebraic closure of \\( K \\).