Sollya User's Manual

Name:

!= negated equality test operator

sollya_obj_t sollya_lib_cmp_not_equal(sollya_obj_t, sollya_obj_t)

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

The operator != evaluates to true iff its operands expr1 and expr2 are syntactically unequal and both different from error or constant expressions that are not constants and that evaluate to two different 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 negation of the mathematical equality.

Note that the expressions !(expr1 != expr2) and expr1 == expr2 do not evaluate to the same boolean value. See error for details.

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

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

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

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

> error != error;
false

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