share/simplification/ineq.dem

   1 /* load the file with the rules */
   2 load('ineq);
   3 /* a sample inequality */
   4 a>=4;
   5 /* add a second, strict inequality, and note that the result is strict */
   6 (b>c)+%;
   7 /* multiply an inequality by a positive number */
   8 7*(x<y);
   9 /* multiply an inequality by a negative number, and note change of > to < */
  10 -2*(x>=3*z);
  11 /* MACSYMA knows that 1+a^2 is a positive number */
  12 (1+a^2)*(1/(1+a^2)<=1);
  13 /* you can tell it p or n, though with z it errs on the conservative side and
  14    does not simply return 0... */
  15 x*(2<3);
  16 /* another inequality */
  17 a>=b;
  18 /* add something */
  19 3+%;
  20 /* subtract it out */
  21 %-3;
  22 /* yet another inequality */
  23 a>=c-b;
  24 /* add b to both sides */
  25 b+%;
  26 /* subtract c from both sides */
  27 %-c;
  28 /* multiply by -1 */
  29 -%;
  30 /* use inequality manipulation to determine truth of assertion */
  31 (z-1)^2>-2*z;
  32 /* expand this and add 2*z to both sides */
  33 expand(%)+2*z;
  34 %,pred;