Sollya User's Manual

Name:

<= less-than-or-equal-to operator

sollya_obj_t sollya_lib_cmp_less_equal(sollya_obj_t, sollya_obj_t)

expr1 <= expr2 : (constant, constant) -> boolean

The operator <= evaluates to true iff its operands expr1 and expr2 evaluate to two floating-point numbers a1 respectively a2 with the global precision prec and a1 is less than or equal to a2. The user should be aware of the fact that because of floating-point evaluation, the operator <= is not exactly the same as the mathematical operation "less-than-or-equal-to".

   > 5 <= 4;
   false
   > 5 <= 5;
   true
   > 5 <= 6;
   true
   > exp(2) <= exp(1);
   false
   > log(1) <= exp(2);
   true

   > prec = 12;
   The precision has been set to 12 bits.
   > 16385.1 <= 16384.1;
   true

See also: ==, !=, >=, >, <, in, !, &&, ||, prec, max, min