Re: mini-gmp mpz_gcdext Bézout coefficients do not match documentation

[Guido Vranken]

I've confirmed with my fuzzer that the committed patch resolves the issues.
Thanks.

On Sun, Feb 18, 2024 at 8:27 PM Niels Möller <nisse at lysator.liu.se> wrote:

> marco.bodrato at tutanota.com writes:
>
> > The only reason why I prefer my solution is: when cmp<0, there is no
> need to compute
> > mpz_sub (t1, t0, t1);
>
> That's certainly a micro optimization, but let's keep things simple.
>
> I've pushed this fix now, I think there were only comment and ChangeLog
> changes since the previous version of the patch.
>
> Thanks for the review,
> /Niels
>
> --
> Niels Möller. PGP key CB4962D070D77D7FCB8BA36271D8F1FF368C6677.
> Internet email is subject to wholesale government surveillance.
>