Canonical translation surfaces for computing Veech groups

For each stratum of the space of translation surfaces, we introduce an infinite translation surface containing in an appropriate manner a copy of every translation surface of the stratum. Given a translation surface $(X, \omega)$inthestratum,amatrixisinitsVeechgroup$$\mathrm{S}\mathrm{L}$(X,\omega)$ if and only if an associated affine automorphism of the infinite surface sends each of a finite set, the marked" {\em Voronoi staples}, arising from orientation-paired segments appropriately perpendicular to Voronoi 1-cells, to another pair of orientation-paired marked" segments. We prove a result of independent interest. For each real $a\ge \sqrt{2}$ there is an explicit hyperbolic ball such that for any Fuchsian group trivially stabilizing $i$, the Dirichlet domain centered at $i$ of the group already agrees within the ball with the intersection of the hyperbolic half-planes determined by the group elements whose Frobenius norm is at most $a$. %When $\mathrm{S}\mathrm{L}(X,\omega )$ is a lattice we use this to give a condition guaranteeing that the full group $\mathrm{S}\mathrm{L}(X,\omega )$ has been computed. Together, these results give rise to a new algorithm for computing Veech groups.