Ch. A. Herrmann herrmann@infosun.fmi.uni-passau.de
Tue, 11 Dec 2001 11:06:28 +0100

>>>>> "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"

 Christoph Herrmann