Polynomial discriminant
= Polynomial discriminant
For a monic polynomial with roots $r_i$, its <discriminant> is $\prod_{i<j}(r_i-r_j)^2$ and vanishes exactly for a repeated root.
= Polynomial discriminant
For a monic polynomial with roots $r_i$, its <discriminant> is $\prod_{i<j}(r_i-r_j)^2$ and vanishes exactly for a repeated root.