share/solve_rat_ineq/rtest_solve_rat_ineq.mac

   1 (kill(all),
   2   %start : absolute_real_time(),
   3   load("solve_rat_ineq"),
   4   'done);
   5 'done$
   6
   7 solve_rat_ineq(1<0);
   8 [] $
   9 solve_rat_ineq(foo^2<=0);
  10 [[foo = 0]] $
  11 solve_rat_ineq(x<=0);
  12 [[x <= 0]] $
  13 solve_rat_ineq(x^2<=0);
  14 [[x = 0]] $
  15 solve_rat_ineq(x^2>0);
  16 [[x < 0],[x > 0]] $
  17 solve_rat_ineq(x^2>=0);
  18 all $
  19 solve_rat_ineq(x^2<0);
  20 [] $
  21 solve_rat_ineq(t^2<0);
  22 [] $
  23 solve_rat_ineq(x/2+2/x<=20);
  24 [[x < 0],[x >= 20-6*sqrt(11),x <= 6*sqrt(11)+20]] $
  25 solve_rat_ineq((x-1)^2*(x+1)^2>=0);
  26 all $
  27 solve_rat_ineq((x-1)^2*(x+1)^2>0);
  28 [[x < -1],[x > -1,x < 1],[x > 1]] $
  29 solve_rat_ineq((x-1)^2*(x+1)^2<0);
  30 [] $
  31 solve_rat_ineq((x-1)^2*(x+1)>0);
  32 [[x > -1,x < 1],[x > 1]] $
  33 solve_rat_ineq( x^2 > 1b0 ),ratprint=false;
  34 [[x < - 1], [x > 1]] $
  35 solve_rat_ineq( x^7+x^3 > 1/x );
  36 [[x > -.8866517524235645,x < 0],[x > .8866517524235645]] $
  37 solve_rat_ineq((x^2+5.5)>(-3*x^2+5.5)/(2*x+1.3)),ratprint=false;
  38 [[x < -13/20],[x > -.1591705900030051]] $