From: Thorsten Ottosen (thorsten.ottosen_at_[hidden])
Date: 2007-02-11 06:13:03
Thorsten Ottosen wrote:
> 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?
If we should believe the SGI docs, the property does not follow.
However, you seem to have misread the property.
It should be
!cmp(a,b) && !cmp(b,a)
!cmp(b,c) && !cmp(c,b)
!cmp(a,c) && !cmp(c,a)
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk