1.1 --- a/test/Tools/isac/Knowledge/diff.sml	Fri Jun 13 10:29:06 2014 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/diff.sml	Fri Jun 13 12:06:38 2014 +0200
     1.3 @@ -349,7 +349,7 @@
     1.4  "----------- autoCalculate differentiate_on_R 2/x^2 -----";
     1.5  "----------- autoCalculate differentiate_on_R 2/x^2 -----";
     1.6  "----------- autoCalculate differentiate_on_R 2/x^2 -----";
     1.7 -states:=[];
     1.8 +reset_states ();
     1.9  CalcTree
    1.10  [(["functionTerm (x^2 + x+ 1/x + 2/x^2)",
    1.11     (*"functionTerm ((x^3)^5)",*)
    1.12 @@ -365,7 +365,7 @@
    1.13  else error "diff.sml: differentiate_on_R 2/x^2 changed";
    1.14  
    1.15  "---------------------------------------------------------";
    1.16 -states:=[];
    1.17 +reset_states ();
    1.18  CalcTree
    1.19  [(["functionTerm (x^3 * x^5)",
    1.20     "differentiateFor x", "derivative f_f'"], 
    1.21 @@ -389,7 +389,7 @@
    1.22  "----------- autoCalculate diff after_simplification ----";
    1.23  "----------- autoCalculate diff after_simplification ----";
    1.24  "----------- autoCalculate diff after_simplification ----";
    1.25 -states:=[];
    1.26 +reset_states ();
    1.27  CalcTree
    1.28  [(["functionTerm (x^3 * x^5)",
    1.29     "differentiateFor x", "derivative f_f'"], 
    1.30 @@ -409,7 +409,7 @@
    1.31  then () else error "biegelinie.sml: 1st biegelin.7.27 changed";
    1.32  
    1.33  "--------------------------------------------------------";
    1.34 -states:=[];
    1.35 +reset_states ();
    1.36  CalcTree
    1.37  [(["functionTerm ((x^3)^5)",
    1.38     "differentiateFor x", "derivative f_f'"], 
    1.39 @@ -425,7 +425,7 @@
    1.40  "----------- autoCalculate differentiate_equality -------";
    1.41  "----------- autoCalculate differentiate_equality -------";
    1.42  "----------- autoCalculate differentiate_equality -------";
    1.43 -states:=[];
    1.44 +reset_states ();
    1.45  CalcTree
    1.46  [(["functionEq (A = s * (a - (s::real)))", "differentiateFor s", "derivativeEq f_f'"], 
    1.47    ("Isac", ["named","derivative_of","function"],
    1.48 @@ -451,7 +451,7 @@
    1.49  "------------inform for x^2+x+1 -------------------------";
    1.50  "------------inform for x^2+x+1 -------------------------";
    1.51  "------------inform for x^2+x+1 -------------------------";
    1.52 -states:=[];
    1.53 +reset_states ();
    1.54  CalcTree
    1.55  [(["functionTerm (x^2 + x + 1)",
    1.56     "differentiateFor x", "derivative f_f'"],