Every proper equivalence class of a positive definite form contains a unique reduced form , wherewith when equality occurs in either inequality. Its discriminant isFor a reduced positive definite form, , so . Also is even andChecking the finitely many possibilities with givesEach coefficient triple has greatest common divisor one. By uniqueness of reduced representatives, these are four distinct classes. Hence the requested number is
Articles by others on the same topic
There are currently no matching articles.