Zitat von
Chemiker:
bei mir führt das aber zu falschen Ergebnissen.
Das liegt daran, daß du es falsch benutzt.
x < ε ^ x > -ε ist ja eine Überprüfung auf Null, nicht ein Vergleich zweier Zahlen. Um damit zwei Zahlen vergleichen zu können, bildet man die Differenz. Und mit ein wenig Mathematik kommt man dann auf das, was du im ersten Teil des Programmes benutzt:
x := b - a
=> b - a < ε ^ b - a > -ε
<=> b - ε < a ^ a < b + ε
Wie du aber auf a < ε ^ b > -ε kommst, kann ich nicht nachvollziehen.