next up previous notation contents
Next: 3.2.24 Charts Up: 3.2 Constant Interval Arithmetic Previous: 3.2.22 Common Binary Functions

3.2.23 Binary Functions

Given the binary function tex2html_wrap_inline35173 ,   let tex2html_wrap_inline35175 and tex2html_wrap_inline35177 denote unary functions, for any tex2html_wrap_inline35179 . These functions are one-dimensional slices of g, for a constant x or constant y. The functions are defined as follows:

align14306

We now restrict our attention to grid functions. The function g is a grid function if it is defined over a grid:

math14311

where, for any tex2html_wrap_inline35189 :

math14315

A grid function tex2html_wrap_inline35191 may be classified using the scheme set out for unary functions:

math14320

A function tex2html_wrap_inline35191 fits into a class if it may be extended into a grid function which fits into that class:

math14331

With this classification scheme, the function g may be cut into sections where each section fits into a class:

math14336

As with unary functions, tex2html_wrap_inline34489 denotes a preferred sectioning from which covers are formed.

An upper bound for tex2html_wrap_inline35199 , where tex2html_wrap_inline35201 , is determined by considering tex2html_wrap_inline35203 , for all tex2html_wrap_inline35205 , and then tex2html_wrap_inline35207 , for a particular tex2html_wrap_inline35209 . Since tex2html_wrap_inline35201 , the same tex2html_wrap_inline35209 produces an upper bound of tex2html_wrap_inline35203 . Exceptional functions, whether they are partial, discontinuous or bumpy, are handled as before. For g, where tex2html_wrap_inline35219 :

math14347

math14354

where tex2html_wrap_inline35221 . We assume that tex2html_wrap_inline35223 ; if not we may extend g|D, as was done with unary functions.


next up previous notation contents
Next: 3.2.24 Charts Up: 3.2 Constant Interval Arithmetic Previous: 3.2.22 Common Binary Functions
Jeff TupperMarch 1996