<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Il Mer 1 Mag 2024, 20:18 Toby Thurston <<a href="mailto:thurston@eml.cc" rel="noreferrer noreferrer" target="_blank">thurston@eml.cc</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
> On 29 Apr 2024, at 19:11, luigi scarso <<a href="mailto:luigi.scarso@gmail.com" rel="noreferrer noreferrer noreferrer" target="_blank">luigi.scarso@gmail.com</a>> wrote:<br>
> <br>
> <br>
> Hm I fear that <br>
>  @<Update |arc| and |t_tot| after |do_arc_test| has just returned |t|@>;<br>
> implicitly uses the fact that scaled is an integer type, i.e.<br>
> set_number_from_div (n1, arc, d1); /* n1 = (arc / d1) */<br>
> and <br>
> number_add (v1, epsilon_t);       /* v1 = n1+1 */<br>
> look suspicious in double mode  ( epsilon_t is not 1 but 2^-52, 1 is unity  )<br>
> <br>
> --<br>
> luigi<br>
<br>
Surely the comment should be "/* v1 = v1 + 1 */" ???<br>
<br>
I notice also that the same idiom <br>
<br>
`number add(t,epsilon_t);`<br>
<br>
is used in §414. `mp_solve_rising_cubic` that is used in arc_test, so may need to be fixed there as well...<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Hm, it's always better to have an example that shows the problem...</div><div dir="auto">I have committed r71144  to the texlive repo.</div><div dir="auto"><br></div><div dir="auto">--</div><div dir="auto">luigi</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote></div></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> </blockquote></div></div></div>