Modulo-two orbit conjecture for the Hecke group of the double heptagon
Modulo-two orbit conjecture. An element s=xy∈Q[λ7]s=\frac{x}{y}\in\mathbb{Q}[\lambda_7]s=yx∈Q[λ7] belongs to H7⋅∞H_7\cdot\inftyH7⋅∞ if and only if [x‾:y‾][\overline{x}:\overline{y}][x:y] belongs to the orbit of…