## DiscriminantThe discriminant Δ of an -th
degree polynomial with roots is
the symmetric product .
(See "Algebra of polynomial roots,"
With the Groebner basis for the coefficients,
we can use to express the discriminant in terms of the coefficients β and γ.
The last term of this expression is the discriminant.
It is straightforward to turn these steps into a .
Here is the discriminant for :
We can also compute the discriminant using in the standard package .
Another method is to express the -th root of the general cubic as a object and use .
Document converted by Mathematica of Wolfram Research |