Notes on the Decidability of Addition and the Frobenius Map for Polynomials and Rational Functions