1: \begin{abstract}

2: We exhibit an explicit, deterministic algorithm for finding a canonical form for a

3: positive definite matrix under unimodular integral transformations.  We use characteristic sets of short vectors and partition-backtracking graph software.  The algorithm runs in a number of arithmetic operations that is exponential in the dimension $n$, but it is practical and more efficient than canonical forms based on Minkowski reduction. 

4: % , and it extends to the symplectic group.  We explain applications to a database of lattices, genera enumeration, perfect form enumeration, and algebraic modular forms.  %\refc{The authors ought to make it clear (in the abstract) that the %computation of their canonical form requires $n^n$ work.}

5: \end{abstract}

6: