1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Fri Jun 13 10:29:06 2014 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Fri Jun 13 12:06:38 2014 +0200
     1.3 @@ -270,7 +270,7 @@
     1.4  "----------- pbl polynom vereinfachen p.33 -----------------------";
     1.5  "----------- pbl polynom vereinfachen p.33 -----------------------";
     1.6  "----------- 140 c ---";
     1.7 -states:=[];
     1.8 +reset_states ();
     1.9  CalcTree [(["Term (5*e + 6*f - 8*g - 9 - 7*e - 4*f + 10*g + 12)",
    1.10  	    "normalform N"],
    1.11  	   ("PolyMinus",["plus_minus","polynom","vereinfachen"],
    1.12 @@ -283,7 +283,7 @@
    1.13  then () else error "polyminus.sml: Vereinfache (3 - 2 * e + 2 * f...";
    1.14  
    1.15  "======= 140 d ---";
    1.16 -states:=[];
    1.17 +reset_states ();
    1.18  CalcTree [(["Term (-r - 2*s - 3*t + 5 + 4*r + 8*s - 5*t - 2)",
    1.19  	    "normalform N"],
    1.20  	   ("PolyMinus",["plus_minus","polynom","vereinfachen"],
    1.21 @@ -296,7 +296,7 @@
    1.22  then () else error "polyminus.sml: Vereinfache 140 d)";
    1.23  
    1.24  "======= 139 c ---";
    1.25 -states:=[];
    1.26 +reset_states ();
    1.27  CalcTree [(["Term (3*e - 6*f - 8*e - 4*f + 5*e + 7*f)",
    1.28  	    "normalform N"],
    1.29  	   ("PolyMinus",["plus_minus","polynom","vereinfachen"],
    1.30 @@ -309,7 +309,7 @@
    1.31  then () else error "polyminus.sml: Vereinfache 139 c)";
    1.32  
    1.33  "======= 139 b ---";
    1.34 -states:=[];
    1.35 +reset_states ();
    1.36  CalcTree [(["Term (8*u - 5*v - 5*u + 7*v - 6*u - 3*v)",
    1.37  	    "normalform N"],
    1.38  	   ("PolyMinus",["plus_minus","polynom","vereinfachen"],
    1.39 @@ -322,7 +322,7 @@
    1.40  then () else error "polyminus.sml: Vereinfache 139 b)";
    1.41  
    1.42  "======= 138 a ---";
    1.43 -states:=[];
    1.44 +reset_states ();
    1.45  CalcTree [(["Term (2*u - 3*v - 6*u + 5*v)",
    1.46  	    "normalform N"],
    1.47  	   ("PolyMinus",["plus_minus","polynom","vereinfachen"],
    1.48 @@ -350,7 +350,7 @@
    1.49  "----------- pbl polynom probe -----------------------------------";
    1.50  "----------- pbl polynom probe -----------------------------------";
    1.51  "----------- pbl polynom probe -----------------------------------";
    1.52 -states:=[];
    1.53 +reset_states ();
    1.54  CalcTree [(["Pruefe ((5::int)*e + 6*f - 8*g - 9 - 7*e - 4*f + 10*g + 12 =\
    1.55  	    \3 - 2 * e + 2 * f + 2 * g)",
    1.56  	    "mitWert [e = 1, f = 2, g = 3]",
    1.57 @@ -373,7 +373,7 @@
    1.58  "----------- pbl klammer polynom vereinfachen p.34 ---------------";
    1.59  "----------- pbl klammer polynom vereinfachen p.34 ---------------";
    1.60  "----------- pbl klammer polynom vereinfachen p.34 ---------------";
    1.61 -states:=[];
    1.62 +reset_states ();
    1.63  CalcTree [(["Term (2*u - 5 - (3 - 4*u) + (8*u + 9))",
    1.64  	    "normalform N"],
    1.65  	   ("PolyMinus",["klammer","polynom","vereinfachen"],
    1.66 @@ -387,7 +387,7 @@
    1.67  show_pt pt;
    1.68  
    1.69  "======= probe p.34 -----";
    1.70 -states:=[];
    1.71 +reset_states ();
    1.72  CalcTree [(["Pruefe (2*u - 5 - (3 - 4*u) + (8*u + 9) = 1 + 14 * u)",
    1.73  	    "mitWert [u = 2]",
    1.74  	    "Geprueft b"],
    1.75 @@ -403,7 +403,7 @@
    1.76  "----------- try fun applyTactics --------------------------------";
    1.77  "----------- try fun applyTactics --------------------------------";
    1.78  "----------- try fun applyTactics --------------------------------";
    1.79 -states:=[];
    1.80 +reset_states ();
    1.81  CalcTree [(["Term (5*e + 6*f - 8*g - 9 - 7*e - 4*f + 10*g + 12)",
    1.82  	    "normalform N"],
    1.83  	   ("PolyMinus",["plus_minus","polynom","vereinfachen"],
    1.84 @@ -464,7 +464,7 @@
    1.85  
    1.86  
    1.87  "#############################################################################";
    1.88 -states:=[];
    1.89 +reset_states ();
    1.90  CalcTree [(["Term (- (8 * g) + 10 * g + h)",
    1.91  	    "normalform N"],
    1.92  	   ("PolyMinus",["plus_minus","polynom","vereinfachen"],
    1.93 @@ -477,7 +477,7 @@
    1.94  
    1.95  
    1.96  "#############################################################################";
    1.97 -states:=[];
    1.98 +reset_states ();
    1.99  CalcTree [(["Term (- (8 * g) + 10 * g + f)",
   1.100  	    "normalform N"],
   1.101  	   ("PolyMinus",["plus_minus","polynom","vereinfachen"],
   1.102 @@ -521,7 +521,7 @@
   1.103  *)
   1.104  
   1.105  (*@@@@@@@*)
   1.106 -states:=[];
   1.107 +reset_states ();
   1.108  CalcTree [(["Term ((3*a + 2) * (4*a - 1))",
   1.109  	    "normalform N"],
   1.110  	   ("PolyMinus",["binom_klammer","polynom","vereinfachen"],
   1.111 @@ -536,7 +536,7 @@
   1.112  "----------- pbl binom polynom vereinfachen: cube ----------------";
   1.113  "----------- pbl binom polynom vereinfachen: cube ----------------";
   1.114  "----------- pbl binom polynom vereinfachen: cube ----------------";
   1.115 -states:=[];
   1.116 +reset_states ();
   1.117  CalcTree [(["Term (8*(a - q) + a - 2*q + 3*(a - 2*q))", "normalform N"],
   1.118  	   ("PolyMinus",["binom_klammer","polynom","vereinfachen"],
   1.119  	    ["simplification","for_polynomials","with_parentheses_mult"]))];