E.V.E
v2023.02.15

◆ is_not_greater

eve::is_not_greater = {}
inlineconstexpr

Returns a logical true if and only if the element value of the first parameter is not greater than the second one.

Defined in Header

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
template< eve::value T, eve::value U >
eve::as_logical<T> is_not_greater(T x,U y) noexcept;
}
constexpr callable_is_not_greater_ is_not_greater
Returns a logical true if and only if the element value of the first parameter is not greater than th...
Definition: is_not_greater.hpp:78
Definition: abi.hpp:18

Parameters

Return value

The call eve::is_not_greater(x,y) is semantically equivalent to !(x > y):

Example

#include <eve/module/core.hpp>
#include <eve/wide.hpp>
#include <iostream>
int main()
{
wide_ft pf = {0.0f, 1.0f, -1.0f, -2.0f};
wide_ft qf = {1.0f, -1.0f, 0.0f, -2.0f};
std::cout << "---- simd" << '\n'
<< "<- pf = " << pf << '\n'
<< "<- qf = " << qf << '\n'
<< "-> is_not_greater(pf, qf) = " << eve::is_not_greater(pf, qf) << '\n';
float xf = 1.0f;
float yf = 2.0f;
std::cout << "---- scalar" << '\n'
<< "<- xf = " << xf << '\n'
<< "<- yf = " << yf << '\n'
<< "-> is_not_greater(xf, yf) = " << eve::is_not_greater(xf, yf) << '\n';
return 0;
}
Wrapper for SIMD registers.
Definition: wide.hpp:65

Semantic Modifiers

  • Masked Call

    The call eve;is_not_greater[mask](x,y) provides a masked version of eve::is_not_greater which is equivalent to if_else (mask, is_not_greater(x), eve::false( eve::as(x,y))).

    Example

    #include <eve/module/core.hpp>
    #include <eve/wide.hpp>
    #include <iostream>
    int main()
    {
    wide_ft pf = {0.0f, 1.0f, -1.0f, 2.0f};
    wide_ft qf = {1.0f, -1.0f, -1.0f, 2.0f};
    std::cout << "---- simd" << '\n'
    << "<- pf = " << pf << '\n'
    << "<- qf = " << qf << '\n'
    << "-> is_not_greater[pf > 0](pf, qf) = " << eve::is_not_greater[pf > 0](pf, qf) << '\n';
    return 0;
    }
    • almost

      The expression almost(is_not_greater)(x, y, t) where x and y must be floating point values, evals to true if and only if and only if x is not almost greater than y. This means that:

      • if t is a floating_value then \((x < y + t \max(|x|, |y|))\)
      • if t is a positive integral_value then \((x < \mbox{next}(y, t)\);
      • if t is omitted then the tolerance t default to 3*eps(as(x)).

      Example

      #include <eve/module/core.hpp>
      #include <eve/wide.hpp>
      #include <iostream>
      int main()
      {
      wide_ft pf = {0.0f, 1.0f, -1.0f, 2.0f};
      wide_ft qf = {1.0f, -1.0f, 0.0f, 3.0f};
      std::cout << "---- simd" << '\n'
      << "<- pf = " << pf << '\n'
      << "<- qf = " << qf << '\n'
      << "-> almost(is_not_greater)(pf, qf) = " << eve::almost(eve::is_not_greater)(pf, qf) << '\n';
      return 0;
      }
      constexpr almost_type const almost
      Higher-order Callable Object imbuing a tolerant to little errors semantic onto other Callable Objects...
      Definition: fuzzy.hpp:58