1.1 --- a/test/Tools/isac/Knowledge/rational.sml	Fri Jun 13 10:29:06 2014 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rational.sml	Fri Jun 13 12:06:38 2014 +0200
     1.3 @@ -1442,7 +1442,7 @@
     1.4  "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------------------";
     1.5  "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------------------";
     1.6  "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------------------";
     1.7 -states:=[];
     1.8 +reset_states ();
     1.9  CalcTree [(["Term (((2 - x)/(2*a)) / (2*a/(x - 2)))", "normalform N"], 
    1.10    ("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))];
    1.11  Iterator 1;
    1.12 @@ -1486,7 +1486,7 @@
    1.13  "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------------------";
    1.14  "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------------------";
    1.15  "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------------------";
    1.16 -states:=[];
    1.17 +reset_states ();
    1.18  CalcTree [(["Term ((a^2 + -1*b^2) / (a^2 + -2*a*b + b^2))", "normalform N"], 
    1.19    ("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))];
    1.20  Iterator 1;
    1.21 @@ -1617,7 +1617,7 @@
    1.22  "-------- several errpats in complicated term --------------------------------";
    1.23  (*WN12xxxx TODO: instead of Gabriella's example here (27.Jul.12) find a simpler one
    1.24    WN130912: kept this test, although not clear what for*)
    1.25 -states := [];
    1.26 +reset_states ();
    1.27  CalcTree [(["Term ((5*b + 25)/(a^2 - b^2) * (a - b)/(5*b))", "normalform N"], 
    1.28    ("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))];
    1.29  Iterator 1;