Cofactor canonicalisation of mpn_gcdext

[Niels Möller]

Marc Glisse <marc.glisse at inria.fr> writes:

> the documentation of mpz_gcdext leaves a lot of room for
> different output:
> "The values in s and t are chosen such that abs(s) <= abs(b) and
> abs(t) <= abs(a)."
>
> Should a tighter bound be documented there too?

I've tried to clarify the mpz_gcdext documentation now. Feel free to
double check that the conditions on S and T make sense (including the
borderline cases where one or both inputs are zero). I also edited the
description of mpz_gcd, to document that we define gcd(0,0) = 0.

/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.