1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Fri Jun 13 10:29:06 2014 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Fri Jun 13 12:06:38 2014 +0200
     1.3 @@ -384,7 +384,7 @@
     1.4  "=====new ptree 2 miniscript with mini-subpbl ====================";
     1.5  "=====new ptree 2 miniscript with mini-subpbl ====================";
     1.6  "=====new ptree 2 miniscript with mini-subpbl ====================";
     1.7 - states:=[];
     1.8 +reset_states ();
     1.9   CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.10     ("Test", ["sqroot-test","univariate","equation","test"],
    1.11      ["Test","squ-equ-test-subpbl1"]))];
    1.12 @@ -552,7 +552,7 @@
    1.13  "=====new ptree 3 ================================================";
    1.14  "=====new ptree 3 ================================================";
    1.15  
    1.16 -states:=[];
    1.17 +reset_states ();
    1.18   CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.19     ("Test", ["sqroot-test","univariate","equation","test"],
    1.20      ["Test","squ-equ-test-subpbl1"]))];
    1.21 @@ -587,7 +587,7 @@
    1.22  "-------------- move_dn: Frm -> Res ------------------------------";
    1.23  "-------------- move_dn: Frm -> Res ------------------------------";
    1.24  "-------------- move_dn: Frm -> Res ------------------------------";
    1.25 - states := [];
    1.26 + reset_states ();
    1.27   CalcTree      (*start of calculation, return No.1*)
    1.28       [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
    1.29         ("Test", 
    1.30 @@ -634,7 +634,7 @@
    1.31  "------ move into detail -----------------------------------------";
    1.32  "------ move into detail -----------------------------------------";
    1.33  "------ move into detail -----------------------------------------";
    1.34 - states:=[];
    1.35 + reset_states ();
    1.36   CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.37     ("Test", ["sqroot-test","univariate","equation","test"],
    1.38      ["Test","squ-equ-test-subpbl1"]))];
    1.39 @@ -666,7 +666,7 @@
    1.40  "=====new ptree 3a ===============================================";
    1.41  "=====new ptree 3a ===============================================";
    1.42  "=====new ptree 3a ===============================================";
    1.43 - states:=[];
    1.44 + reset_states ();
    1.45   CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.46     ("Test", ["sqroot-test","univariate","equation","test"],
    1.47      ["Test","squ-equ-test-subpbl1"]))];
    1.48 @@ -699,7 +699,7 @@
    1.49  "=====new ptree 4: crooked by cut_level_'_ =======================";
    1.50  "=====new ptree 4: crooked by cut_level_'_ =======================";
    1.51  "=====new ptree 4: crooked by cut_level_'_ =======================";
    1.52 -states:=[];
    1.53 +reset_states ();
    1.54  CalcTree
    1.55  [(["equality (x/(x^2 - 6*x+9) - 1/(x^2 - 3*x) =1/x)",
    1.56  	   "solveFor x","solutions L"], 
    1.57 @@ -893,7 +893,7 @@
    1.58  "=====new ptree 4 ratequation ====================================";
    1.59  "=====new ptree 4 ratequation ====================================";
    1.60  "=====new ptree 4 ratequation ====================================";
    1.61 -states:=[];
    1.62 +reset_states ();
    1.63  CalcTree
    1.64  [(["equality (x/(x^2 - 6*x+9) - 1/(x^2 - 3*x) =1/x)",
    1.65  	   "solveFor x","solutions L"], 
    1.66 @@ -942,7 +942,7 @@
    1.67  "=====new ptree 5 minisubpbl =====================================";
    1.68  "=====new ptree 5 minisubpbl =====================================";
    1.69  "=====new ptree 5 minisubpbl =====================================";
    1.70 -states:=[];
    1.71 +reset_states ();
    1.72  CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.73     ("Test", ["sqroot-test","univariate","equation","test"],
    1.74      ["Test","squ-equ-test-subpbl1"]))];
    1.75 @@ -1021,7 +1021,7 @@
    1.76  "=====new ptree 6 minisubpbl intersteps ==========================";
    1.77  "=====new ptree 6 minisubpbl intersteps ==========================";
    1.78  "=====new ptree 6 minisubpbl intersteps ==========================";
    1.79 -states:=[];
    1.80 +reset_states ();
    1.81  CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"], 
    1.82     ("Test", ["sqroot-test","univariate","equation","test"],
    1.83      ["Test","squ-equ-test-subpbl1"]))];