"An unusual cubic representation problem" by Bremner & Macleod (2014) describes an infinite set $S$ of even positive integers, such that for each $n\in S$, the equation $$\frac{a}{b+c} + \frac{b}{a+c} + \frac{c}{a+b}=n\tag{1}$$ has positive integer solutions $(a>0,b>0,c>0).$ In particular, for each $n\in S$, there is a smallest such solution $(a,b,c)$, whose maximum element ($\max\{a,b,c\}$) has a number of digits we denote by $M(n)$. The function $M()$ is unbounded but not monotonic, with occasional very large increases; e.g. (from results in the paper), $$M(4)=81\\ M(136)=26942\\ M(178)=398605460\\ M(198)=726373\\ M(896)\gt 2187147111901. $$
Now, Equation (1) is shown to correspond to an elliptic curve $$ y^2 = x^3 + (4n^2 + 12n − 3)x^2 + 32(n + 3)x\tag{2}$$ in which the coefficients are increasing functions of $n$, and [this Quora posting] asserts that "The negative solution of Hilbert’s 10th problem means that the growth of the solutions as the coefficients get larger is an uncomputable function", and that "the correspondence 4→ 80-digit numbers, 178→ hundreds-of-millions-digit numbers and 896→ trillions of digits gives us a glimpse into the first few tiny steps of that monstrous, uncomputable function."
Question: Is $M()$ an uncomputable function? If so, how does this follow from the negative solution of Hilbert’s 10th problem, or how is it otherwise proved?
I'm aware that certain one-parameter families of Diophantine equations (e.g. this one) supply a negative solution to Hilbert's 10th problem, but is the present case such a family?
The negative solution to Hilbert's 10th problem says there is no algorithm that decides solvability over the integers for all possible Diophantine equations. This negative result is silent on particular Diophantine equations, and this is a particular one.
Edit: I may have been a bit hasty in reading the method description prior to table 2. The method is given for rank one curves. The method may or may not work, or work with modification, for other ranks of curves.
At this point, the following shows that $M_1(N)$, the version of $M$ restricted to rank one curves, is computable. The argument does not eliminate an obstruction to computability for other ranks.
The described method to construct table 2 (in section 4) of the Bremner & Macleod (2014) paper shows that $M$ is not uncomputable. We see it has been sequentially computed for $S \cap [1,200]$. Continuing the computation in the paper, we could extend $M$ as far as desired (at relatively rapidly increasing computational cost). (They clearly computed $M$ for some arguments greater that $200$. For instance, they know that $M(896) > 2.187 \times 10^{12}$ (penultimate paragraph of p. 40).)
Aside: The method they used is essentially the method of using enumerators for decidability and semidecidability. In other words, it was running $|m|$ sequentially through the natural numbers (the parameter $m$ is described in section 6 of the paper) until two inequalities (the paper's (4.1) and (4.2)) are satisfied, then computed the maximum of the number of digits of $a$, $b$, or $c$ for the corresponding solution. This is entirely do-able for a Turing Machine and the results in the sections prior to section 6 show that such a TM computation will terminate for each element of $S$ (although it could take a very long time to do so). Thus, $M$ is computable.