two_prod

auto eve::two_prod = functor<two_prod_t>

inlineconstexpr

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
   constexpr auto two_prod(floating_value auto x, floating_value auto y) noexcept;
}

Parameters

• x, y: floating 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 \(\otimes\)y, where \(\oplus\) (resp. \(\otimes\)) adds (resp. multiplies) its two parameters with infinite precision.

External references

• [Error free transformations](https://www-pequan.lip6.fr/~graillat/papers/nolta07.pdf

Example

// revision 1
#include <eve/module/core.hpp>
#include <iostream>
 
int main()
{
  eve::wide wf0 = {3.0, 2.5, -32.7, 1.0};
  eve::wide wf1 = {4.2, 1.5, -100.834, eve::eps(eve::as<double>())/2};
 
  std::cout << "<- wf0                = " << wf0 << "\n";
  std::cout << "<- wf1                = " << wf1 << "\n";
 
  std::cout << "-> two_prod(wf0, wf1) = " << eve::two_prod(wf0, wf1) << "\n";
}