Twin-float arithmetic |
| |
Authors: | John Abbott |
| |
Affiliation: | Università di Genova, Dipartimento di Matematica, Via Dodecaneso 35, 16146 Genova, Italy |
| |
Abstract: | We present a heuristically certified form of floating-point arithmetic and its implementation in CoCoALib. This arithmetic is intended to act as a fast alternative to exact rational arithmetic, and is developed from the idea of paired floats expounded by Traverso and Zanoni (2002). As prerequisites we need a source of (pseudo-)random numbers, and an underlying floating-point arithmetic system where the user can set the precision. Twin-float arithmetic can be used only where the input data are exact, or can be obtained at high enough precision. Our arithmetic includes a total cancellation heuristic for sums and differences, and so can be used in classical algebraic algorithms such as Buchberger’s algorithm. We also present a (new) algorithm for recovering an exact rational value from a twin-float, so in some cases an exact answer can be obtained from an approximate computation. |
| |
Keywords: | Heuristically guaranteed finite-precision arithmetic |
本文献已被 ScienceDirect 等数据库收录! |
|