Discriminant of a polynomial/Definition

An invariant of a polynomial which vanishes if it has a repeated root: the product of the differences between the roots.