1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/Tools/isac/Minisubpbl/450-Rewrite_Set_Inst.sml	Thu Jan 10 18:17:48 2019 +0100
     1.3 @@ -0,0 +1,34 @@
     1.4 +(* Title:  450-Rewrite_Set_Inst.sml
     1.5 +   Author: Walther Neuper 1803
     1.6 +   (c) copyright due to lincense terms.
     1.7 +*)
     1.8 +
     1.9 +"----------- Minisubplb/450-Rewrite_Set_Inst.sml -----------------";
    1.10 +"----------- Minisubplb/450-Rewrite_Set_Inst.sml -----------------";
    1.11 +"----------- Minisubplb/450-Rewrite_Set_Inst.sml -----------------";
    1.12 +val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];
    1.13 +val (dI',pI',mI') =
    1.14 +   ("Test", ["sqroot-test","univariate","equation","test"],
    1.15 +    ["Test","squ-equ-test-subpbl1"]);
    1.16 +val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.17 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.18 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.19 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.20 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.21 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.22 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.23 +val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Apply_Method ["Test", "squ-equ-test-subpbl1"]*)
    1.24 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.25 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.26 +val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Subp ["LINEAR", "univariate", "equation", "test"]*)
    1.27 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.28 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.29 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.30 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.31 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.32 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.33 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.34 +val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Apply_Method ["Test", "solve_linear"]*)
    1.35 +val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Rewrite_Set_Inst isolate_bdv*);
    1.36 +case nxt of ("Rewrite_Set_Inst", Rewrite_Set_Inst (["(''bdv'', x)"], "isolate_bdv")) => ()
    1.37 +| _ => error "Rewrite_Set_Inst changed";