Ch. A. Herrmann ([EMAIL PROTECTED]) wrote:

: In contrast, 0*x=0, thus 0 "divides" 0 (somehow).
: But I have problems with "gcd being the greatest positive integer ..."

[snip]

: - 0 is not positive, it is non-negative or natural
: - 2 also divides 0 and 2 is a "greater integer" than 0
:   (0 is the top element of the lattice formed by the division relation
:    but that is not clear by the expression "greatest")
: 

gcd a b is the greatest non-negative integer dividing both a
and b such that anything that divides both a and b also divides
gcd a b (so gcd a b is the greatest thing that divides both a
and b).

Regards,


Marc van Dongen
-- 
Marc van Dongen             | [EMAIL PROTECTED] |
Computer Science Department |     Western Road | () ASCII ribbon campaign
University College Cork     |    Cork, Ireland | /\ against HTML mail
phone: +353 (0)21 4903578   |     fax: 4903113 |

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to