
Gennadiy Rozental wrote:
"Thorsten Ottosen" <thorsten.ottosen@dezide.com> wrote in message news:45C75E5A.7030309@dezide.com...
I see this as bunch of garbage chars. I don't know why. Could you include the file in the message itself?
Strange, I do not have any problems reading my post. Here it is:
Thanks. I guess it may be a thunderbird problem. It looks good. I'm don't think it is necessary to check for // Check for transitivity of equivalence: // !cmp(a,b) & !cmp(b,c) -> !cmp(a,c) doesn't that follow from antisymmetri and transitivity? I would also like to see check for equality with operator==() and operator !=(). And then a test that combines the two, like I did, s.t. one may test that == only holds when !cmp(a,b) && !cmp(b,a). -Thorsten