Thorsten Ottosen wrote:
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?
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