Skip to main content
. Author manuscript; available in PMC: 2017 Aug 10.
Published in final edited form as: Proc CGO. 2010 Apr;2010:230–237. doi: 10.1145/1772954.1772987

Figure 2.

Figure 2

Gappa input script for bounding the rounding error in the expression from Figure 1. A note about syntax and convention: the rounding operator on the left-hand side of the equals is applied to all operations, but not variables, on the right-hand side; we use the suffixes _m, _f, and _fx to represent mathematically ideal, floating and fixed point variables, respectively.