Department of Mathematics, Chalmers University of Technology and Göteborg University, S-412 96 Göteborg, Sweden
Abstract:
Let be a totally real algebraic number field and an order in a quaternion algebra over . Assume that the group of units in with reduced norm equal to is embedded into as an arithmetic Fuchsian group. It is shown how Ford's algorithm can be effectively applied in order to determine a fundamental domain of as well as a complete system of generators of .