Sollya User's Manual

Name:

== equality test operator

expr1 == expr2 : (any type, any type) -> boolean

The operator == evaluates to true iff its operands expr1 and expr2 are syntactically equal and different from error or constant expressions that are not constants and that evaluate to the same floating-point number with the global precision prec. The user should be aware of the fact that because of floating-point evaluation, the operator == is not exactly the same as the mathematical equality. Further remark that according to IEEE 754-2008 floating-point rules, which Sollya emulates, floating-point data which are NaN do not compare equal to any other floating-point datum, including NaN.

   > "Hello" == "Hello";
   true
   > "Hello" == "Salut";
   false
   > "Hello" == 5;
   false
   > 5 + x == 5 + x;
   true

   > 1 == exp(0);
   true
   > asin(1) * 2 == pi;
   true
   > exp(5) == log(4);
   false

> sin(pi/6) == 1/2 * sqrt(3);
false

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

> error == error;
false

   > a = "Biba";
   > b = NaN;
   > a == a;
   true
   > b == b;
   false

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