Reduced forms of discriminant minus thirty-two
ID: reduced-forms-of-discriminant-minus-thirty-two
The reduced-form bound leaves . Checking and the boundary sign convention gives precisely the displayed forms. The middle one is imprimitive and represents the prime two. Odd represented primes are or modulo eight by the discriminant criterion for prime representation by a binary quadratic form. The first form represents only modulo eight among odd integers, and the last only , so a prime is represented by exactly when it is modulo eight.
New to topics? Read the docs here!