see also: list of recipes, other How-tos, Longdrink[?]
... it discriminates between three qualitatively different cases: If the discriminant is zero, then there is a repeated solution x, and this solution is real. ...