  The aim of this paper is to present an explicit reduction algorithm for
Hilbert modular groups over arbitrary totally real number fields. An
implementation of the algorithm is available to download from [19]. The
exposition is self-contained and sufficient details are given for the reader to
understand how it works and implement their own version if desired.
