Unimodular reduction of a discriminant-minus-four form to two squares

ID: unimodular-reduction-of-a-discriminant-minus-four-form-to-two-squares

The identity
comes from an integer change-of-variable matrix of determinant . It therefore preserves the set of integers represented and reduces the form to .

New to topics? Read the docs here!