two_sub

auto eve::two_sub = functor<two_sub_t>

inlineconstexpr

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
   // Regular overload
   constexpr auto two_sub(floating_value auto x, floating_value auto y)            noexcept; //1
   constexpr auto two_sub[raw](floating_value auto x, floating_value auto y)       noexcept; //2
 
   // Semantic options
   constexpr auto two_sub[pedantic](floating_value auto x, floating_value auto y)  noexcept; //3
}

Parameters

• x, y: floating-point arguments.

Return value

Computes elementwise a pair of values [a, e] such that:

• a is x - y
• e is a value such that a \(\oplus\)e is equal to x \(\oplus\)(-y) where \(\oplus\) adds its two parameters with infinite precision.

1. Classical algorithm, always valid.
2. 'Fast' algorithm, valid only if |x| < |y|.
3. Handles overflow.

External references

• On the Computation of Correctly-Rounded Sums

Example