Re: [boost] [test] testing for strict weak ordering

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 
>>news:45C75E5A.7030309_at_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?

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)

right?

-Thorsten