Every proper equivalence class of a positive definite form contains a unique reduced form , where
with when equality occurs in either inequality. Its discriminant is
For a reduced positive definite form, , so . Also is even and
Checking the finitely many possibilities with gives
Each 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 (0)

There are currently no matching articles.