rectification; Abhyankar-Sathaye embedding problem; variable mean-payoff games; tropical polyhedra; tropical algebra; linear independence; assignment problem; Perron-Frobenius theory; nonexpansive maps 