1.1 --- a/test/Tools/isac/Knowledge/eqsystem.sml	Tue Apr 21 16:53:17 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/eqsystem.sml	Wed Apr 22 11:06:48 2020 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4     (c) due to copyright terms
     1.5  *)
     1.6  
     1.7 -Trace.trace_rewrite := false;
     1.8 +Rewrite.trace_on := false;
     1.9  "-----------------------------------------------------------------";
    1.10  "table of contents -----------------------------------------------";
    1.11  "-----------------------------------------------------------------";
    1.12 @@ -360,7 +360,7 @@
    1.13            [c_2 = 0, L * c + c_2 = q_0 * L ^^^ 2 / 2]"]*)
    1.14  val t = str2term ("[c, c_2] from [c, c_2] occur_exactly_in NTH 2" ^   
    1.15  		  "[c_2 = 0, L * c + c_2 = q_0 * L ^^^ 2 / 2]");
    1.16 -Trace.trace_rewrite := false;
    1.17 +Rewrite.trace_on := false;
    1.18  val SOME (t',_) = rewrite_set_ thy false prls_triangular t;
    1.19  (*found:...
    1.20  ##  try thm: NTH_CONS
    1.21 @@ -372,7 +372,7 @@
    1.22  ###  asms accepted: ["1 < 2 + - 1"]   stored: ["1 < 2 + -1"]
    1.23  
    1.24  ... i.e Eval ("Groups.plus_class.plus", eval_binop "#add_") was missing in erls_prls_triangular*)
    1.25 -Trace.trace_rewrite:=false;
    1.26 +Rewrite.trace_on:=false;
    1.27  
    1.28  "===== case 3: relaxed preconditions for triangular system =====";
    1.29  val fmz = ["equalities [L * q_0 = c,                               \
    1.30 @@ -421,9 +421,9 @@
    1.31  val fmz = ["equalities [0 = -1 * q_0 * 0 ^^^ 2 / 2 + 0 * c + c_2,\
    1.32  	               \0 = -1 * q_0 * L ^^^ 2 / 2 + L * c + c_2]", 
    1.33  	   "solveForVars [c, c_2]", "solution LL"];
    1.34 -Trace.trace_rewrite := false;
    1.35 +Rewrite.trace_on := false;
    1.36  val matches = refine fmz ["2x2", "LINEAR","system"];
    1.37 -Trace.trace_rewrite:=false;
    1.38 +Rewrite.trace_on:=false;
    1.39  (*default_print_depth 11;*) matches; (*default_print_depth 3;*)
    1.40  (*brought: 'False "length_ es_ = 2"'*)
    1.41  
    1.42 @@ -653,7 +653,7 @@
    1.43  	("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]))];
    1.44  moveActiveRoot 1;
    1.45  (*
    1.46 -trace_LI := true; autoCalculate 1 CompleteCalc; trace_LI := false;
    1.47 +LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false;
    1.48  ##7.27##          ordered           substs
    1.49            c_4       c_2           
    1.50  c c_2 c_3 c_4     c c_2             1->2: c
    1.51 @@ -698,7 +698,7 @@
    1.52  	    ["Biegelinien", "AusMomentenlinie"]))];
    1.53  (*
    1.54  moveActiveRoot 1;
    1.55 -trace_LI := true; autoCalculate 1 CompleteCalc; trace_LI := false;
    1.56 +LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false;
    1.57  *)
    1.58  
    1.59  "------- Bsp 7.69";
    1.60 @@ -709,7 +709,7 @@
    1.61  	("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]))];
    1.62  moveActiveRoot 1;
    1.63  (*
    1.64 -trace_LI := true; autoCalculate 1 CompleteCalc; trace_LI := false;
    1.65 +LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false;
    1.66  ##7.69##          ordered           subst                   2x2
    1.67            c_4           c_3         
    1.68  c c_2 c_3 c_4     c c_2 c_3	    1:c_3 -> 2:c c_2        2:         c c_2
    1.69 @@ -729,7 +729,7 @@
    1.70  	("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"] ))];
    1.71  moveActiveRoot 1;
    1.72  (*
    1.73 -trace_LI := true; autoCalculate 1 CompleteCalc; trace_LI := false;
    1.74 +LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false;
    1.75  ##7.70##        |subst
    1.76  c		|
    1.77  c c_2           |1:c -> 2:c_2
    1.78 @@ -846,7 +846,7 @@
    1.79  	     ["IntegrierenUndKonstanteBestimmen2"] ))];
    1.80  moveActiveRoot 1;
    1.81  (*
    1.82 -trace_LI := true; autoCalculate 1 CompleteCalc; trace_LI := false;
    1.83 +LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false;
    1.84  ##7.71##       |ordered       |subst.singles (recurs) |2x2       |diagonal
    1.85  c c_2          |c c_2	      |1'		      |1': c c_2 |
    1.86            c_4  |      c_3     |2:c_3 -> 4' :c c_2 c_4 |	         |
    1.87 @@ -868,7 +868,7 @@
    1.88  	    ["Biegelinien", "AusMomentenlinie"]))];
    1.89  moveActiveRoot 1;
    1.90  (*
    1.91 -trace_LI := true; autoCalculate 1 CompleteCalc; trace_LI := false;
    1.92 +LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false;
    1.93  *)
    1.94  
    1.95  "------- Bsp 7.72b";
    1.96 @@ -881,7 +881,7 @@
    1.97  	    ["IntegrierenUndKonstanteBestimmen2"] ))];
    1.98  moveActiveRoot 1;
    1.99  (*
   1.100 -trace_LI := true; autoCalculate 1 CompleteCalc; trace_LI := false;
   1.101 +LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false;
   1.102  ##7.72b##      |ord. |subst.singles         |ord.triang.
   1.103    c_2          |     |			    |c_2  
   1.104  c c_2	       |     |1:c_2 -> 2':c	    |c_2 c
   1.105 @@ -902,7 +902,7 @@
   1.106  	    ["Biegelinien", "AusMomentenlinie"]))];
   1.107  moveActiveRoot 1;
   1.108  (*
   1.109 -trace_LI := true; autoCalculate 1 CompleteCalc; trace_LI := false;
   1.110 +LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false;
   1.111  *)
   1.112  
   1.113  "----------- 4x4 systems from Biegelinie -------------------------";