share/simplification/rtest_rncomb.mac

   1 (kill(all), load("rncomb"), 0);
   2 0;
   3
   4 rncombine(c/b+a/b);
   5 (c+a)/b;
   6
   7 rncombine(c/b+a*b/2);
   8 c/b+a*b/2;
   9
  10 rncombine(c/b+a/(2*b));
  11 (2*c+a)/(2*b);
  12
  13 rncombine(c/d+a*b/2);
  14 c/d+a*b/2;
  15
  16 rncombine(c/d+a/b);
  17 c/d+a/b;
  18
  19 rncombine(a/b+c/d);
  20 c/d+a/b;
  21
  22 rncombine(1/2+a/b+c/d);
  23 c/d+a/b+1/2;
  24
  25 rncombine(f/(3*e)+1/2+a/b+c/d);
  26 f/(3*e)+c/d+a/b+1/2;
  27
  28 rncombine(f/(3*b)+1/2+a/b+c/d);
  29 (f+3*a)/(3*b)+c/d+1/2;
  30
  31 /* This fails because the result depends on the ordering of symbols */
  32 rncombine(f/(3*b)+x+a/b+c/d);
  33 x+(f+3*a)/(3*b)+c/d;
  34
  35 rncombine(f/(3*b)+a+x/b+c/d);
  36 (3*x+f)/(3*b)+c/d+a;
  37
  38 rncombine(f/(1.2*b)+a+x/b+c/d);
  39 (x+.8333333333333334*f)/b+c/d+a;
  40
  41 rncombine(f/(1.2*b)+a+x/(1+b)+c/d);
  42 x/(b+1)+.8333333333333334*f/b+c/d+a;
  43
  44 rncombine(f/(b+1.0)+a+x/(1+b)+c/d);
  45 x/(b+1)+f/(b+1.0)+c/d+a;
  46
  47 rncombine(f/(b+1)+a+x/(1+b)+c/d);
  48 (x+f)/(b+1)+c/d+a;
  49
  50 rncombine(f/(1.2*b+1.2)+a+x/(1+b)+c/d);
  51 x/(b+1)+f/(1.2*b+1.2)+c/d+a;
  52
  53 rncombine(f/(2*b+2)+a+x/(1+b)+c/d);
  54 x/(b+1)+f/(2*b+2)+c/d+a;
  55
  56 rncombine(f/(2*(b+1))+a+x/(1+b)+c/d);
  57 (2*x+f)/(2*(b+1))+c/d+a;