Discriminant criterion for a quadratic congruence modulo an odd prime (source code)

= Discriminant criterion for a quadratic congruence modulo an odd prime

For $p\nmid a$, the congruence $aX^2+bX+c=0\pmod p$ has a solution exactly when its discriminant $b^2-4ac$ is zero or a quadratic residue modulo $p$.