
14
The Hermite Normal Form
CONTENTS
14.1 The row canonical form over a field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
14.2 The Hermite normal form over the integers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
14.3 The HNF with lattice basis reduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
14.4 Systems of linear Diophantine equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
14.5 Using linear algebra to compu te the GCD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234
14.6 The HMM algorithm for the GCD . . . .