gcd 0 0 = 0

Ch. A. Herrmann [email protected]
Tue, 18 Dec 2001 12:16:11 +0100

>>>>> "Simon" == Simon Peyton-Jones <[email protected]> writes:

    Simon> Christoph does not like this

It's OK if the definition is clear; it wasn't using
the words "positive" or "greatest integer".

Stating "gcd 0 0 = 0" explicitly is a good thing,
even if it could be expressed verbatim;
people may think about the mathematical background,
but they should not need to think about the
meaning of the definition.

Anyway, I'm still against promoting 1 to a prime number :-)