I wonder how can one describe the generators of the triangle group for the tesselation of Poincare unit disk by triangles with angles $\pi/4, \pi/4 , \pi/4 $ in terms of the action of the modular group on a fundamental triangle. In other words, I mean how can one write the generators of this tesselation in terms of Mobius transformations. I'm completely unfamiliar with the theory of hyperbolic tesselations, and there may be many inaccuracies in my understanding and even with the specific terminology i use.

**Side remark:**

My purpose is to verify an historical hypothesis i have on Gauss's tesselation of the unit disk as described in John Stilwell "Mathematics and its history". Looking at the relevant pages in Gauss's Nachlass (volume 8, p.102-105), I read that the commentor (Robert Fricke) on this fragment of Gauss says that Gauss's drawing (the (4 4 4) tesselation) is intended to be a geometrical illustration for composition of substitutions other then the fundamental generators of the modular group. The following sentences are a citation of Fricke about the substitutions Gauss used:

Gauss has repeatedly dealt with composition of other substitutions of the group defined from these generators. In addition to the information in fragment [i], the following formula should also be mentioned $$\frac{[\alpha, \beta,\dots,v]\theta + [\beta,\gamma,\dots,v]i}{-i[\alpha,\beta,\dots,\mu]\theta+[\beta,\gamma,\dots,\mu]}$$ which can be found in a booklet entitled “Cereri Palladi Junoni sacrum, Febr. 1805”. The continued fraction expansions of the two substitutions are given as examples:$$\frac{128\theta + 37i}{-45i\theta + 13}$$ $$ \frac{121\theta+36i}{-84i\theta+25}$$

Just to explain the words of Fricke, "the group defined from these generators" is the modular group (since the generators mentioned before this sentence are addition of $i$ and inversion with respect to the unit circle), and the $[,,\dots,]$ is Gauss's notation for a continued fraction. I think $\theta$ is just a notation for the complex variable that is transformed under the Mobius transformation.

Checking the determinants of these substitutions gave $-1$ for the first one and $+1$ for the second one, so this made me suspect that these are isometric Mobius transformations (the only thing that doesn't settle is that $a,b,c,d$ in the Mobius transformation should be real integers, not imaginary integers). In addition, the diagonal elements of the second Mobius transformation ($121$ and $25$) are both reduced to $1$ modulo $12$, while the off-diagonal elements reduce to $0$ modulo $12$ (if one allows imaginary sizes for $b,c$). In other words, this shows that the second Mobius transform belongs to a congruence subgroup of level 12 in $SL_{2}(Z[i])$.

Although it seems at first that these Mobius transformations are just examples of a general principle of certain continued fractions developement, immediately after that Fricke says:

Both to explain the continued fraction development of the substitutions and to draw conclusions from the theory of functions, Gauss made use of the geometrical representation which has become the basis of the more recent theory of module functions. In the booklet just mentioned, Gauss drew the figure shown here. Since the above-mentioned continued fraction expansions of substitutions are also to be found, Gauss must have used the figure as a means to illustrate these continued fraction expansions. In fact, one has here the beginning of the well-known network of circular arc triangles, which is the basis of the theory of modulus functions. It's evident that Gauss generally understood the "principle of the symmetrical multiplication of curved triangles", which comes into consideration here, and even the character of the "natural limit" of a triangular network to be obtained in this way did not remain hidden... These are circular arc triangles of the angles $\frac{\pi}{4},\frac{\pi}{4},\frac{\pi}{4}$, and the orthogonal circle highlighted in the drawing represents their natural limit. In addition to the drawing, the following information was written by Gauss: "Center of the first circle: $2^{\frac{1}{4}}$, radius of the first circle: $\sqrt{\sqrt{2}-1}$, center of the second circle: $\frac{1}{2}(\sqrt{\sqrt{2}+1}+\sqrt{\sqrt{2}-1})$, radius of the second circle:$\frac{1}{2}(\sqrt{\sqrt{2}+1}-\sqrt{\sqrt{2}-1})$.

Therefore, it seems that these Mobius substitutions are actually the generators for the (4 4 4) tiling of the hyperbolic disk. But this conclusion is a result of a very shallow reading of Fricke's comments and i lack the proffesional knowledge needed to verify my reading. In addition, there are two drawings in these pages (one on p.103 and the Gauss's tesselation on p.104), and i'm not sure to which drawing Fricke refers.

**Historical significance of Gauss's results:**

Being the first drawing of it's kind, the tessellation drawed by Gauss and his related results have planted some the seeds of Felix Klein's "Erlangen program" (with the other influences being Galois's theory of equations and Riemann's geometric ideas). Klein read Gauss's fragments very closely and seems to have been influenced by them, so i think it's not an exaggeration to say that Gauss's drawing was one of his sources of inspiration. Therefore i believe that for a correct historic appreciation of the roots of Erlangen program, it's important to know wethever the substitutions written by Gauss are related to his drawing or not.

Concerning the results stated by Gauss on the location and radiuses of the centres of the first and secondary circles in his tessellation, my posted answer already confirms them (although it might not be the original method of Gauss). The main issue that remains to be resolved is therefore the meaning of the Mobius transformations.