PackageDescription: SYSBUG-timesTwoPowerTest


SYSBUG -times Two Power Test

Last published: August 30, 2015 by 'nice'

Defines 1 Classes
Extends 1 Classes


#timesTwoPower: is multiplying a floating point by a power of two, so is generally exact.
But it might be inexact in case of underflow.
Two consecutive inexact rounding operations can lead to an incorrect rounding (known as "double rounding")
It is thus vital that the first operation be exact if ever we have to decompose timesTwoPower: in two operations.

This package provides a test demonstrating the double rounding problem with naive implementation.