Cofactor canonicalisation of mpn_gcdext

[Marc Glisse]

On Thu, 3 Dec 2009, Torbjorn Granlund wrote:

> We need to improve the doc/gmp.texi text.  (I could do that if I am told
> the exact canonicalisation rules for the singularities.)

Hello,

the documentation of mpn_gcdext looks nice and precise. On the other hand, 
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?

-- 
Marc Glisse