- expr1 and expr2 represent expressions

- 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.

true

> "Hello" == "Salut";

false

> "Hello" == 5;

false

> 5 + x == 5 + x;

true

true

> asin(1) * 2 == pi;

true

> exp(5) == log(4);

false

false

The precision has been set to 12 bits.

> verbosity = 1!;

> 16384.1 == 16385.1;

Warning: Rounding occurred when converting the constant "16384.1" to floating-point with 12 bits.

If safe computation is needed, try to increase the precision.

Warning: Rounding occurred when converting the constant "16385.1" to floating-point with 12 bits.

If safe computation is needed, try to increase the precision.

true

false

> b = NaN;

> a == a;

true

> b == b;

false