An algorithm for 2-generator Fuchsian groups (Q2644772)

N. Purzitsky and G. Rosenberger [see for instance \textit{G. Rosenberger}; Arch. Math. 46, 198-204 (1986; Zbl 0563.20043) and the references given there] described necessary and sufficient conditions, in the form of an algorithm, for two elements in PSL(2,\({\mathbb{R}})\) to generate a non- elementary discrete group. Their approach is mainly algebraic combined with some geometric arguments, especially for the sufficiency of the conditions. They show that the problem can be solved in finitely steps in a trace minimizing manner. Here we find a some more geometric explanation of the meaning of this procedure.