E.V.E  0.1-beta

◆ is_greater_equal

eve::is_greater_equal = {}
inlineconstexpr

Callable object computing the "greater or equal to" predicate.

Required header: #include <eve/function/is_greater_equal.hpp>

Members Functions

Member Effect
operator() the "greater or equal to" predicate
operator[] Construct a conditional version of current function object

template< value T, value U > auto operator()( T x, U y ) const noexcept requires compatible< T, U >;

Parameters

x, y: values.

Return value

Returns the logical value containing the elementwise comparison test result between x and y. The infix notation x >= y can also be used.

The result type is the common compatible type of the two parameters.

Warning
Although the infix notation with >= is supported, the >= operator on standard scalar types is the original one and so returns bool result, not logical.
auto operator[]( conditional_expression auto cond ) const noexcept;

Higher-order function generating a masked version of eve::is_greater_equal

Parameters

cond : conditional expression

Return value

A Callable object so that the expression is_greater_equal[cond](x, y) is equivalent to if_else(cond,is_greater_equal(x, y),false(as(is_greater_equal(x, y))))


Supported decorators

  • almost

    Required header: #include <eve/function/fuzzy/is_greater_equal.hpp>

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

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

Example

See it live on Compiler Explorer

#include <eve/function/predicate.hpp>
#include <eve/wide.hpp>
#include <eve/constant/inf.hpp>
#include <eve/constant/minf.hpp>
#include <eve/constant/nan.hpp>
#include <eve/constant/mindenormal.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_greater_equal(pf, qf) = " << eve::is_greater_equal(pf, qf) << '\n';
float xf = 1.0f;
float yf = 2.0f;
std::cout << "---- scalar" << '\n'
<< "<- xf = " << xf << '\n'
<< "<- yf = " << yf << '\n'
<< "-> is_greater_equal(xf, yf) = " << eve::is_greater_equal(xf, yf) << '\n';
return 0;
}
constexpr callable_is_greater_equal_ is_greater_equal
Callable object computing the "greater or equal to" predicate.
Definition: is_greater_equal.hpp:92
Wrapper for SIMD registers.
Definition: wide.hpp:65