mpn_gcd documentation [Was: Replacing gcd_1 with gcd_11]

[Niels Möller]

"Marco Bodrato" <bodrato at mail.dm.unipi.it> writes:

> I suggest the following patch:
>
> iff -r 5870bab2f759 doc/gmp.texi
> --- a/doc/gmp.texi      Mon Dec 23 22:47:38 2019 +0100
> +++ b/doc/gmp.texi      Fri Jan 03 12:07:43 2020 +0100
> @@ -5493,8 +5493,9 @@
>  the return value is the actual number produced.  Both source operands are
>  destroyed.
>
> -It is required that @math{@var{xn} @ge @var{yn} > 0}, and the most
> significant
> -limb of @{@var{yp}, @var{yn}@} must be non-zero.  No overlap is permitted
> +It is required that @math{@var{xn} @ge @var{yn} > 0}, the most significant
> +limb of @{@var{yp}, @var{yn}@} must be non-zero, and at least one of
> +the two operands must be odd.  No overlap is permitted
>  between @{@var{xp}, @var{xn}@} and @{@var{yp}, @var{yn}@}.
>  @end deftypefun

Looks good to me. I wonder if mpn_gcdext with two even arguments is
tested, or if its doc needs a corresponding update?

Regards,
/Niels

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