[Gmp-commit] /home/hgfiles/gmp: Describe S range for mpn_gcdext.

[mercurial at gmplib.org]

details:   /home/hgfiles/gmp/rev/2750fd7a9b4e
changeset: 13346:2750fd7a9b4e
user:      Niels M?ller <nisse at lysator.liu.se>
date:      Thu Jan 07 11:06:08 2010 +0100
description:
Describe S range for mpn_gcdext.

diffstat:

 doc/gmp.texi |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (13 lines):

diff -r b9edb959b0b2 -r 2750fd7a9b4e doc/gmp.texi
--- a/doc/gmp.texi	Thu Jan 07 05:16:36 2010 +0100
+++ b/doc/gmp.texi	Thu Jan 07 11:06:08 2010 +0100
@@ -5386,7 +5386,8 @@
 @var{U}*@var{S}) / @var{V}} (the division will be exact).  It is required that
 @math{U @ge V > 0}.
 
-FIXME: Say something about the range of @math{S}.
+ at math{S} satisfies @math{S = 1} or @math{@GMPabs{S} < V / (2 G)}. @math{S =
+0} if and only if @math{V} divides @math{U} (i.e., @math{G = V}).
 
 Store @math{G} at @var{gp} and let the return value define its limb count.
 Store @math{S} at @var{sp} and let |*@var{sn}| define its limb count.  Some