Binary Quadratic Forms and the Ideal Class Group by Seth Viren Neel (2012-08-06)

Summer tutorial notes. Section 2.2, Definition 1 and Theorem 2.3 state primitive positive definite reduction and uniqueness; the following argument bounds the reduced coefficients. The primitive-form hypotheses must be retained when counting a class number of a negative discriminant.