Notes on the decidability of addition and the Frobenius map for polynomials and rational functions. - Dimitra Chompitaki; Manos Kamarianakis; Thanases Pheidas (Reports Math. Log., 2022)