1.1 --- a/test/Tools/isac/OLDTESTS/script.sml	Fri May 25 16:30:15 2012 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/script.sml	Wed Jun 13 07:28:39 2012 +0200
     1.3 @@ -303,41 +303,6 @@
     1.4  "--------- sel_rules ---------------------------------------------";
     1.5  "--------- sel_rules ---------------------------------------------";
     1.6  "--------- sel_rules ---------------------------------------------";
     1.7 - states:=[];
     1.8 - CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
     1.9 -   ("Test", ["sqroot-test","univariate","equation","test"],
    1.10 -    ["Test","squ-equ-test-subpbl1"]))];
    1.11 - Iterator 1;
    1.12 - moveActiveRoot 1;
    1.13 - autoCalculate 1 CompleteCalc;
    1.14 - val ((pt,_),_) = get_calc 1;
    1.15 - show_pt pt;
    1.16 +(* mv test/../script.sml: -----> *)
    1.17 +"----------- fun sel_rules ---------------------------------------"
    1.18  
    1.19 - val tacs = sel_rules pt ([],Pbl);
    1.20 - if tacs = [Apply_Method ["Test", "squ-equ-test-subpbl1"]] then ()
    1.21 - else error "script.sml: diff.behav. in sel_rules ([],Pbl)";
    1.22 -
    1.23 - val tacs = sel_rules pt ([1],Res);
    1.24 - if tacs = [Rewrite_Set "norm_equation", Rewrite_Set "Test_simplify",
    1.25 -      Subproblem ("Test", ["linear", "univariate", "equation", "test"]),
    1.26 -      Check_elementwise "Assumptions"] then ()
    1.27 - else error "script.sml: diff.behav. in sel_rules ([1],Res)";
    1.28 -
    1.29 - val tacs = sel_rules pt ([3],Pbl);
    1.30 - if tacs = [Apply_Method ["Test", "solve_linear"]] then ()
    1.31 - else error "script.sml: diff.behav. in sel_rules ([3],Pbl)";
    1.32 -
    1.33 - val tacs = sel_rules pt ([3,1],Res);
    1.34 - if tacs = [Rewrite_Set_Inst (["(bdv, x)"], "isolate_bdv"),
    1.35 -      Rewrite_Set "Test_simplify"] then ()
    1.36 - else error "script.sml: diff.behav. in sel_rules ([3,1],Res)";
    1.37 -
    1.38 - val tacs = sel_rules pt ([3],Res);
    1.39 - if tacs = [Rewrite_Set "norm_equation", Rewrite_Set "Test_simplify",
    1.40 -      Subproblem ("Test", ["linear", "univariate", "equation", "test"]),
    1.41 -      Check_elementwise "Assumptions"] then ()
    1.42 - else error "script.sml: diff.behav. in sel_rules ([3],Res)";
    1.43 -
    1.44 - val tacs = (sel_rules pt ([],Res)) handle PTREE str => [Tac str];
    1.45 - if tacs = [Tac "no tactics applicable at the end of a calculation"] then ()
    1.46 - else error "script.sml: diff.behav. in sel_rules ([],Res)";