1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Mon Jul 18 17:21:21 2011 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Tue Jul 19 09:30:10 2011 +0200
     1.3 @@ -379,10 +379,12 @@
     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 110310 ================================================
     1.8 +(*========== inhibit exn 110719 ================================================
     1.9  if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "11 = 11"
    1.10  then () else error "polyminus.sml: Probe 11 = 11";
    1.11  show_pt pt;
    1.12 +============ inhibit exn 110719 ==============================================*)
    1.13 +(*========== inhibit exn 110719 ================================================
    1.14  
    1.15  
    1.16  "----------- pbl klammer polynom vereinfachen p.34 ---------------";
    1.17 @@ -414,6 +416,8 @@
    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  "----------- try fun applyTactics --------------------------------";
    1.26 @@ -478,7 +482,10 @@
    1.27  (([9], Res), - (8 * g) + 10 * g + (3 - 2 * e + 2 * f)),
    1.28  (([], Res), - (8 * g) + 10 * g + (3 - 2 * e + 2 * f))]
    1.29  ~~~~~~~~~~~###~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*)
    1.30 +============ inhibit exn 110719 ==============================================*)
    1.31 +(*========== inhibit exn 110719 ================================================
    1.32  
    1.33 +"#############################################################################";
    1.34  states:=[];
    1.35  CalcTree [(["Term (- (8 * g) + 10 * g + h)",
    1.36  	    "normalform N"],
    1.37 @@ -491,6 +498,7 @@
    1.38  then () else error "polyminus.sml: addiere_vor_minus";
    1.39  
    1.40  
    1.41 +"#############################################################################";
    1.42  states:=[];
    1.43  CalcTree [(["Term (- (8 * g) + 10 * g + f)",
    1.44  	    "normalform N"],
    1.45 @@ -502,6 +510,8 @@
    1.46  if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "f + 2 * g"
    1.47  then () else error "polyminus.sml: tausche_vor_plus";
    1.48  
    1.49 +============ inhibit exn 110719 ==============================================*)
    1.50 +(*========== inhibit exn 110719 ================================================
    1.51  
    1.52  "----------- pbl binom polynom vereinfachen p.39 -----------------";
    1.53  "----------- pbl binom polynom vereinfachen p.39 -----------------";
    1.54 @@ -554,6 +564,7 @@
    1.55     term2str (get_obj g_res pt (fst p)) = "1 + 14 * u"
    1.56  then () else error "polyminus.sml: Vereinfache (2*u - 5 - (3 - ...";
    1.57  *)
    1.58 +============ inhibit exn 110719 ==============================================*)
    1.59  
    1.60  
    1.61  "----------- pbl binom polynom vereinfachen: cube ----------------";
    1.62 @@ -566,7 +577,10 @@
    1.63  moveActiveRoot 1;
    1.64  autoCalculate 1 CompleteCalc;
    1.65  val ((pt,p),_) = get_calc 1; show_pt pt;
    1.66 +if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "12 * a - 16 * q" 
    1.67 +then () else error "pbl binom polynom vereinfachen: cube";
    1.68  
    1.69 +(*========== inhibit exn 110719 ================================================
    1.70  
    1.71  "----------- refine Vereinfache ----------------------------------";
    1.72  "----------- refine Vereinfache ----------------------------------";
    1.73 @@ -659,4 +673,5 @@
    1.74      (2, [1], "#Find", Const (...), [...])]
    1.75     : ori list
    1.76  *)
    1.77 -============ inhibit exn 110310 ==============================================*)
    1.78 +============ inhibit exn 110719 ==============================================*)
    1.79 +