gcd 0 0 = 0
Ch. A. Herrmann
Tue, 18 Dec 2001 12:16:11 +0100
>>>>> "Simon" == Simon Peyton-Jones <firstname.lastname@example.org> 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 :-)