Separable polynomial (source code)

= Separable polynomial
{wiki}

A polynomial over a field is separable when it has no repeated root in a splitting field. Equivalently, it is coprime to its <formal derivative>.