1: \begin{abstract}

2:  In this paper we describe an algorithm for the computation of canonical forms of finite subsets of $\Z^d$, up to affinities over $\Z$. 

3:  For fixed dimension $d$, this algorithm has worst-case asymptotic complexity $O(n \log^2 n \, s\,\mu(s))$, where $n$ is the number of points in the given subset, $s$ is an upper bound to the size of the binary representation of any of the $n$ points, and $\mu(s)$ is an upper bound to the number of operations required to multiply two $s$-bit numbers.

4:  

5:  This problem arises e.g.\ in the context of computation of invariants of finitely presented groups with abelianized group isomorphic to $\Z^d$.

6:  In that context one needs to decide whether two Laurent polynomials in $d$ indeterminates, considered as elements of the group ring over the abelianized group, are equivalent with respect to a change of base.

7: \end{abstract}

8: