Discriminant criterion for prime representation by a binary quadratic form

ID: discriminant-criterion-for-prime-representation-by-a-binary-quadratic-form

For odd prime and an integral-form discriminant , representation of by some form of discriminant is equivalent to solvability of . A primitive representing vector can be completed to a unimodular change giving leading coefficient . Conversely choose with the required parity and use .

New to topics? Read the docs here!