test/Tools/isac/Interpret/me.sml
changeset 55445 33b0f6db720c
parent 55279 130688f277ba
child 55446 42c45d1241d7
     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",