Abstract
We study the 1/2-Complex Bruno function and we produce an algorithm to evaluate it numerically, giving a characterization of the monoid M = MT ∪ Ms . We use this algorithm to test the Marmi-Moussa-Yoccoz Conjecture about the Holder continuity of the function z ← −i B(z) + log U(e 2 π iZ) on {z ∊ C : z ≥ O}, where B is the 1/2-complex Bruno function and U is the Yoccoz function. We give a positive answer to an explicit question of S. Marmi et al [Marmi et al. 01].