GCD

[Ch. A. Herrmann]

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