External link http://www.iacr.org/jofc/jofc for details.
... discriminates between three qualitatively different cases: If the discriminant is zero, then there is a repeated solution x, and this solution is real. (Geometrically, ...