Użytkownik "Michoo" <m...@v...pl> napisał w wiadomości grup
dyskusyjnych:k7bsn2$97b$...@m...internetia.pl...
> otrzymujesz trzy wartości różne binarnie, ale równe logicznie. Od tego
> jest "epsilonowanie", żeby w toku obliczeń też były traktowane jako równe.

Masz rację.

Jednak ta racja odnosi się do "interpretacji logicznej" (robione z
dokładnością 1%, trzy pomiary 4.02, 4.01, 4.04 są w granicach tolerancji
identyczne).

Mi chodziło o interpretację "formalną" - tj. mam dwie liczby double, jedna
a, druga b, wiem że nie mogą zachodzi jednocześnie ani dwie, ani trzy, z
trzech relacji a > b, a == b, a < b.

Mogę np. sortować "po double". Wiem, że jeżeli a == b w jakimś miejscu
programu oraz gdy c = a, d = b to c == d itd.

Kwestia interpretacji nie jest istotna na tym poziomie abstrakcji. Po prostu
język (C/Algol/cokolwiek) ma operację porównywania "floatsów" - więc
porównywanie "floatsów" jest dobrze określone w danym języku. Wolno je robić
i musi mieć jednoznacznie określone rezultaty - nawet jeżeli nie ma sensu
(jak np. porównywanie liczby chomików z temperaturą w lipcu).