Splitting field (source code)

= Splitting field
{wiki}

The splitting field of a polynomial over $K$ is the smallest field extension of $K$ in which the polynomial is a product of linear factors.