Function two_product

pub fn two_product<F>(x: F, y: F) -> (F, F)where
    F: TwoProduct,

Expand description

Product transformation

Transforms a product a * b into the pair (x, y) so that

x = fl(a * b)

is the product of a and b with floating point rounding applied and

y = a * b - x

is the remainder of the product.

§References