1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml Tue Jul 19 09:53:30 2011 +0200
1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml Tue Jul 19 10:09:30 2011 +0200
1.3 @@ -550,6 +550,7 @@
1.4 trace_rewrite := false;
1.5
1.6 (*@@@@@@@*)
1.7 +============ inhibit exn 110719 ==============================================*)
1.8 states:=[];
1.9 CalcTree [(["Term ((3*a + 2) * (4*a - 1))",
1.10 "normalform N"],
1.11 @@ -559,11 +560,13 @@
1.12 autoCalculate 1 CompleteCalc;
1.13 val ((pt,p),_) = get_calc 1; show_pt pt;
1.14
1.15 -(*
1.16 +
1.17 if p = ([], Res) andalso
1.18 - term2str (get_obj g_res pt (fst p)) = "1 + 14 * u"
1.19 + term2str (get_obj g_res pt (fst p)) = "-2 + 12 * a ^^^ 2 + 5 * a"
1.20 then () else error "polyminus.sml: Vereinfache (2*u - 5 - (3 - ...";
1.21 -*)
1.22 +
1.23 +(*=== inhibit exn ?=============================================================
1.24 +
1.25 ============ inhibit exn 110719 ==============================================*)
1.26
1.27