Cofactor canonicalisation of mpn_gcdext

Niels Möller nisse at
Tue May 10 11:01:18 CEST 2011

Marc Glisse <marc.glisse at> 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 Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.

More information about the gmp-devel mailing list