| Contents | 5 |
|---|
| List of Figures | 11 |
|---|
| List of Algorithms | 12 |
|---|
| Introduction | 14 |
|---|
| Content | 16 |
| Acknowledgments | 19 |
| Chapter references and further reading | 19 |
| 1 Binary Quadratic Forms | 21 |
|---|
| 1.1 Computational problems | 21 |
| 1.2 Discriminant | 24 |
| 1.3 Reducible forms with integer coefficients | 27 |
| 1.4 Applications | 29 |
| 1.5 Exercises | 32 |
| Chapter references and further reading | 32 |
| 2 Equivalence of Forms | 33 |
|---|
| 2.1 Transformation of forms | 33 |
| 2.2 Equivalence | 34 |
| 2.3 Invariants of equivalence classes of forms | 35 |
| 2.4 Two special transformations | 36 |
| 2.5 Automorphisms of forms | 38 |
| 2.6 A strategy for finding proper representations | 42 |
| 2.7 Determining improper representations | 44 |
| 2.8 Ambiguous classes | 44 |
| 2.9 Exercises | 45 |
| 3 Constructing Forms | 47 |
|---|
| 3.1 Reduction to finding square roots of . modulo 4a | 47 |
| 3.2 The case a | 47 |
| 48 | 47 |
|---|
| 3.3 Fundamental discriminants and conductor | 49 |
| 3.4 The case of a prime number | 50 |
| 3.5 The case of a prime power | 61 |
| 3.6 The case of a composite integer | 65 |
| 3.7 Exercises | 66 |
| Chapter references and further reading | 68 |
| 4 Forms, Bases, Points, and Lattices | 69 |
|---|
| 4.1 Two-dimensional commutative R-algebras | 69 |
| 4.2 Irrational forms, bases, points and lattices | 79 |
| 4.3 Bases, points, and forms | 81 |
| 4.4 Lattices and forms | 87 |
| 4.5 Quadratic irrationalities and forms | 91 |
| 4.6 Quadratic lattices and forms | 94 |
| 4.7 Exercises | 95 |
| 5 Reduction of Positive Definite Forms | 97 |
|---|
| 5.1 Negative definite forms | 97 |
| 5.2 Normal forms | 98 |
| 5.3 Reduced forms and the reduction algorithm | 99 |
| 5.4 Properties of reduced forms | 102 |
| 5.5 The number of reduction steps | 103 |
| 5.6 Bit complexity of the reduction algorithm | 104 |
| 5.7 Uniqueness of re
|