share/contrib/rtest_wrstcse.mac

   1 (load("wrstcse"),done);
   2 done;
   3 (val1:a=wc_mintypmax2tol(tol[1],a,b,c),done);
   4 done;
   5 ratsimp(subst(tol[1]=-1,rhs(val1)));
   6 a;
   7 ratsimp(subst(tol[1]=0,rhs(val1)));
   8 b;
   9 ratsimp(subst(tol[1]=1,rhs(val1)));
  10 c;
  11 (vals:wc_tolappend([val1],[b=2+tol[1]]),done);
  12 done;
  13 length(unique(sort(listofvars(vals))));
  14 5;
  15 wc_typicalvalues(vals);
  16 [a=b,b=2];
  17 ratsimp(wc_inputvalueranges(vals));
  18 matrix(
  19         [a,     min=min(a,b,c), typ=b,  max=max(a,b,c)],
  20         [b,     min=1,  typ=2,  max=3]
  21 );
  22 wc_mintypmax(subst(vals,b));
  23 [min=1,typ=2,max=3];
  24 ratsimp(wc_systematic(vals));
  25 [[a=a,b=1],[a=a,b=2],[a=a,b=3],[a=b,b=1],[a=b,b=2],[a=b,b=3],[a=c,b=1],[a=c,b=2],[a=c,b=3]];
  26 (kill(val1),done);
  27 done;