Ch. A. Herrmann
Tue, 11 Dec 2001 11:06:28 +0100
>>>>> "Simon" == Simon Peyton-Jones <email@example.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"