Cofactor canonicalisation of mpn_gcdext

Marc Glisse marc.glisse at
Sat Apr 30 13:39:27 CEST 2011

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.)


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) <= 

Should a tighter bound be documented there too?

Marc Glisse

More information about the gmp-devel mailing list