Given the binary quadratic form a x^2 + 2b x y + c y^2 with polynomial discriminant b^2 - a c, let x | = | p X + q Y y | = | r X + s Y.

algebraic invariant | quadratic