"Marco Bodrato" <bodr...@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. _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel