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!