Le discriminant de f est le nombre réel Δ défini par Δ = b² - 4 ac .
Le discriminant de cette équation (de degré 3) est ∆ = 4p³ + 27q².
Revenons maintenant à une matrice réelle A ∈ Mat(n,n), la condition de racine simple revient à écrire que le discriminant du polynôme caractéristique P(A) est non nul.
A ce titre ils constituent une sorte de paramètres des types articles. Mentionnons également que la notion de discriminant se rencontre également dans d’autres contextes (types tâches et types protégés) non présentés dans cet ouvrage.