1: \begin{abstract}

2: We consider Voronoi's reduction theory of positive definite quadratic

3: forms which is based on Delone subdivision.  We extend it to forms and

4: Delone subdivisions having a prescribed symmetry group. Even more

5: general, the theory is developed for forms which are restricted to a

6: linear subspace in the space of quadratic forms.  We apply the new

7: theory to complete the classification of totally real thin algebraic

8: number fields which was recently initiated by Bayer-Fluckiger and

9: Nebe.  Moreover, we apply it to construct new best known sphere

10: coverings in dimensions $9,\dots,15$.

11: \end{abstract}

12: