The finiteness conjecture holds in (SL2Z⩾0)2 *
The finiteness conjecture holds in (SL2Z⩾0)2 *
Let A,B be matrices in SL(2,R) having trace greater than or equal to 2. Assume the pair A,B is coherently oriented, that is, can be conjugated to a pair having nonnegative entries. Assume also that either A,B^(-1) is coherently oriented as well, or A,B have integer entries. Then the Lagarias-Wang …