From: Thorsten Ottosen (thorsten.ottosen_at_[hidden])
Date: 2007-02-11 05:31:55
Gennadiy Rozental wrote:
> "Thorsten Ottosen" <thorsten.ottosen_at_[hidden]> wrote in message
>>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
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).
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk