1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Tue Jul 19 10:25:37 2011 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Tue Jul 19 13:04:59 2011 +0200
     1.3 @@ -379,12 +379,10 @@
     1.4  @@@@@WN081114 gives "??.empty", all "Pruefe" are the same,
     1.5  although analogies work in interface.sml: FIXME.WN081114 in "Pruefe"*)
     1.6  val ((pt,p),_) = get_calc 1;
     1.7 -(*========== inhibit exn 110719 ================================================
     1.8  if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "11 = 11"
     1.9  then () else error "polyminus.sml: Probe 11 = 11";
    1.10  show_pt pt;
    1.11 -============ inhibit exn 110719 ==============================================*)
    1.12 -(*========== inhibit exn 110719 ================================================
    1.13 +
    1.14  
    1.15  
    1.16  "----------- pbl klammer polynom vereinfachen p.34 ---------------";
    1.17 @@ -416,7 +414,6 @@
    1.18  if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "29 = 29"
    1.19  then () else error "polyminus.sml: Probe 29 = 29";
    1.20  show_pt pt;
    1.21 -============ inhibit exn 110719 ==============================================*)
    1.22  (*========== inhibit exn 110719 ================================================
    1.23  
    1.24  
    1.25 @@ -475,15 +472,14 @@
    1.26  val ((pt,p),_) = get_calc 1; show_pt pt;
    1.27  "----- 7 ^^^";
    1.28  *)
    1.29 -
    1.30 +============ inhibit exn 110719 ==============================================*)
    1.31  autoCalculate 1 CompleteCalc;
    1.32  val ((pt,p),_) = get_calc 1; show_pt pt;
    1.33  (*independent from failure above: met_simp_poly_minus not confluent:
    1.34  (([9], Res), - (8 * g) + 10 * g + (3 - 2 * e + 2 * f)),
    1.35  (([], Res), - (8 * g) + 10 * g + (3 - 2 * e + 2 * f))]
    1.36  ~~~~~~~~~~~###~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*)
    1.37 -============ inhibit exn 110719 ==============================================*)
    1.38 -(*========== inhibit exn 110719 ================================================
    1.39 +
    1.40  
    1.41  "#############################################################################";
    1.42  states:=[];
    1.43 @@ -510,7 +506,6 @@
    1.44  if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "f + 2 * g"
    1.45  then () else error "polyminus.sml: tausche_vor_plus";
    1.46  
    1.47 -============ inhibit exn 110719 ==============================================*)
    1.48  (*========== inhibit exn 110719 ================================================
    1.49  
    1.50  "----------- pbl binom polynom vereinfachen p.39 -----------------";
    1.51 @@ -559,15 +554,10 @@
    1.52  moveActiveRoot 1;
    1.53  autoCalculate 1 CompleteCalc;
    1.54  val ((pt,p),_) = get_calc 1; show_pt pt;
    1.55 -
    1.56 -
    1.57  if p = ([], Res) andalso 
    1.58     term2str (get_obj g_res pt (fst p)) = "-2 + 12 * a ^^^ 2 + 5 * a"
    1.59  then () else error "polyminus.sml: Vereinfache (2*u - 5 - (3 - ...";
    1.60  
    1.61 -(*=== inhibit exn ?=============================================================
    1.62 -
    1.63 -============ inhibit exn 110719 ==============================================*)
    1.64  
    1.65  
    1.66  "----------- pbl binom polynom vereinfachen: cube ----------------";