Sollya User's Manual

Name:

!= negated equality test operator

Library name:

sollya_obj_t sollya_lib_cmp_not_equal(sollya_obj_t, sollya_obj_t)

Usage:

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

Parameters:

expr1 and expr2 represent expressions

Description:

The operator != evaluates to true iff its operands expr1 and expr2 are syntactically unequal and both different from error, constant expressions that are not constants and that evaluate to two different floating-point number with the global precision prec or polynomials that are unequal while automatic expression simplification is activated. 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. Further, expressions that are polynomials may not be structurally equal when != evaluates to false; in order to obtain purely structural tests, the user should deactivate automatic simplification using autosimplify.

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

Example 1:

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

Example 2:

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

Example 3:

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

Example 4:

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

Example 5:

> error != error;
false

Example 6:

   > p = x + x^2;
   > q = x * (1 + x);
   > autosimplify = on;
   Automatic pure tree simplification has been activated.
   > p != q;
   false
   > autosimplify = off;
   Automatic pure tree simplification has been deactivated.
   > p != q;
   true

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

Go back to the list of commands