Next: 3.1.2 Constant Functions
Up: 3.1 Floating Point
Previous: 3.1 Floating Point
Consider the n-ary function .
The function g is exact if:
this is equivalent to being closed over .
If g is exact then
.
The functions |x|, x, -x, , ,
, and are all exact.
Allow to be an exact implementation of one
of the preceding exact functions. An implementation
of or may simply invoke .
Next: 3.1.2 Constant Functions
Up: 3.1 Floating Point
Previous: 3.1 Floating Point