It is an iterated twisted function field in two variables D(x, σ)(y, τ) over a quaternion division algebra D which is defined over the number field Q(√ 3, √ 7). The automorphisms σ and τ are computed by solving relative norm equations in extensions of number fields. The example...