tg at gmplib.org
Fri Sep 5 19:59:53 UTC 2014
nisse at lysator.liu.se (Niels Möller) writes:
tg at gmplib.org (Torbjörn Granlund) writes:
> I don't think gcd(0,0) is possible to define.
At least Knuth claims "it is convenient to set gcd(0,0) = 0", TAoCP,
4.5.2. Then gcd(u, 0) = |u| for *all* integers u. Also PARI/GP seems to
follow Knuth here. Which doesn't necessarily make that definition
appropriate in the mpn interface, of course.
Curious. 0 is not a divisor and it is not greatest (but smallest)...
(Will reply to the rest later.)
Please encrypt, key id 0xC8601622
More information about the gmp-devel