1: \begin{abstract}

2: We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\Z G$

3: of a finite nilpotent group $G$, this provided the rational group algebra $\Q G$ does not have simple components that are division classical quaternion algebras or two-by-two matrices over a classical quaternion algebra with centre $\Q$. The main difficulty is to deal with orders in

4: quaternion algebras over the rationals or a quadratic imaginary extension of the rationals. In order to deal with these we

5: give a finite and easy implementable algorithm to compute a fundamental domain in the hyperbolic three space  $\HQ^3$ (respectively hyperbolic two space $\HQ^2$) for a discrete subgroup of $\PSL_2(\C)$ (respectively $\PSL_2(\R)$) of finite covolume.

6: Our results on group rings are a continuation of earlier work of Ritter and Sehgal,  Jespers and Leal.

7:  \end{abstract}

8: