Cofactor canonicalisation of mpn_gcdext
nisse at lysator.liu.se
Tue May 10 11:01:18 CEST 2011
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 Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.
More information about the gmp-devel