11 Dec
2001
11 Dec
'01
10:06 a.m.
"Simon" == Simon Peyton-Jones <simonpj@microsoft.com> writes:
Simon> gcd x y is the greatest POSITIVE integer that divides Simon> both x and y. Simon> I don't think that changes the specification in fact, but Simon> experience has led me to always check these things! I find it confusing to read a definition which contains redundant information. Instead, I'd suggest to add something like: "Note: this number is always positive" Cheers -- Christoph Herrmann