Sollya User's Manual

Name:

> greater-than operator

sollya_obj_t sollya_lib_cmp_greater(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 greater 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 "greater-than".

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

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

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