1.1 --- a/test/Tools/isac/Knowledge/eqsystem.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/eqsystem.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -360,7 +360,7 @@
     1.4            [c_2 = 0, L * c + c_2 = q_0 * L ^^^ 2 / 2]"]*)
     1.5  val t = str2term ("[c, c_2] from [c, c_2] occur_exactly_in NTH 2" ^   
     1.6  		  "[c_2 = 0, L * c + c_2 = q_0 * L ^^^ 2 / 2]");
     1.7 -trace_rewrite:=true;
     1.8 +trace_rewrite := false;
     1.9  val SOME (t',_) = rewrite_set_ thy false prls_triangular t;
    1.10  (*found:...
    1.11  ##  try thm: NTH_CONS
    1.12 @@ -421,7 +421,7 @@
    1.13  val fmz = ["equalities [0 = -1 * q_0 * 0 ^^^ 2 / 2 + 0 * c + c_2,\
    1.14  	               \0 = -1 * q_0 * L ^^^ 2 / 2 + L * c + c_2]", 
    1.15  	   "solveForVars [c, c_2]", "solution LL"];
    1.16 -trace_rewrite:=true;
    1.17 +trace_rewrite := false;
    1.18  val matches = refine fmz ["2x2", "linear","system"];
    1.19  trace_rewrite:=false;
    1.20  print_depth 11; matches; print_depth 3;