Weak dual residuations applied to tropical linear equations

An extension to an algorithm of R.A. Cuninghame-Green and K. Zimmermann for solving equations with residuated functions is presented. This extension relies on the concept of weak residuation and in the so-called “strong property”. It is shown that a contextualization of this method to tropical linear equations, which will be denoted as Primal Method (in contrast with the Dual Method, another algorithm described in literature), generates a non-decreasing sequence which converges to the smallest solution in a special semimodule. It is also shown the connections of this method with previously published works.