Discriminant of a binary quadratic form (source code)

= Discriminant of a binary quadratic form

The discriminant of $[a,b,c]$ is $D=b^2-4ac$. It is invariant under proper equivalence, and a real form with $a>0$ is positive definite exactly when $D<0$.