User blog comment:Sait2000/Goodstein Hierarchy/@comment-1605058-20141122132841

Your base changing algorithm is wrong, when evaluating, i got that R_a^b(a)=b^(a-1)*(a-1)+a-1.