Sollya User's Manual

Name:

< less-than operator

sollya_obj_t sollya_lib_cmp_less(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 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".

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

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

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