1.1 --- a/test/Tools/isac/Interpret/me.sml Fri Jun 13 10:29:06 2014 +0200
1.2 +++ b/test/Tools/isac/Interpret/me.sml Fri Jun 13 12:06:38 2014 +0200
1.3 @@ -28,7 +28,7 @@
1.4 "=====new ptree 1: crippled by cut_level_'_ ======================";
1.5 "=====new ptree 1: crippled by cut_level_'_ ======================";
1.6 "=====new ptree 1: crippled by cut_level_'_ ======================";
1.7 -states:=[];
1.8 +reset_states ();
1.9 CalcTree
1.10 [(["equality (x/(x^2 - 6*x+9) - 1/(x^2 - 3*x) =1/x)",
1.11 "solveFor x","solutions L"],
1.12 @@ -222,7 +222,7 @@
1.13 "=====new ptree 2 without changes ================================";
1.14 "=====new ptree 2 without changes ================================";
1.15 "=====new ptree 2 without changes ================================";
1.16 -states:=[];
1.17 +reset_states ();
1.18 CalcTree
1.19 [(["equality (x/(x^2 - 6*x+9) - 1/(x^2 - 3*x) =1/x)",
1.20 "solveFor x","solutions L"],
1.21 @@ -375,7 +375,7 @@
1.22 "--------- solve_linear as rootpbl AUTOCALCULATE CompleteCalcHead-";
1.23 "--------- solve_linear as rootpbl AUTOCALCULATE CompleteCalcHead-";
1.24 "--------- solve_linear as rootpbl AUTOCALCULATE CompleteCalcHead-";
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",