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