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:

Description:

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:

   > NaN != NaN;
   true
   > [NaN,NaN] != [NaN,NaN];
   true
   > 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