Interval square range

ID: interval-square-range

The interval square range treats squaring as one function of one input. For it is exactly
It retains the relationship that ordinary interval multiplication loses: for , the interval square range is , whereas the independent-input product is .
Consequently, completing the square for and using the interval square range gives
This is the exact image of a function on . Merely rewriting the expression and evaluating gives , so it does not achieve the same sharpening. A mathematical must be interpreted explicitly here: a square range operation and an independent-input interval product have different meanings. Choosing an operation that preserves known structure can save many steps of interval subdivision.

New to topics? Read the docs here!