Изменения

Допустим, нам нужно точно определить знак некоторого выражения (это может потребоваться, например, при вычислении предиката [[Предикат "левый поворот" |"левый поворот"]]). Будем использовать для его вычисления интервальную арифметику. Все исходные переменные, входящие в него, будут вырожденными интервалами. При выполнении одной из элементарных операций, описанных выше, будем вычислять нижнюю границу с округлением вниз, а верхнюю - — с округлением вверх. Из-за погрешностей, возникающих при округлении вещественных чисел, истинные значения операций нам неизвестны, но они обязательно будет содержаться в посчитанных интервалах. Если левая и правая границы интервала для всего выражения оказались одного знака, то и само выражение однозначно будет иметь тот же знак. В противном случае требуются дополнительные действия.

В Visual С++ режим округления и другие настройки вещественной арифметики можно изменить с помощью функции <tt>_controlfp </tt> (MSDN рекомендует использовать более безопасную версию <tt>_controlfp_s</tt>).

* [http://ru.wikipedia.org/wiki/Интервальная_арифметика Интервальная афифметика арифметика (Википедия)]