# HG changeset patch
# User wneuper <walther.neuper@jku.at>
# Date 1631454816 -7200
# Node ID f2e6a3bf46de1dae5dade66ed01aba616d7300ed
# Parent  41cdbf7d5e6ec7f503be562291d4a136fd38189a
cleanup test/../eqsystem-2.sml

diff -r 41cdbf7d5e6e -r f2e6a3bf46de test/Tools/isac/Knowledge/eqsystem-2.sml
--- a/test/Tools/isac/Knowledge/eqsystem-2.sml	Sun Sep 12 15:40:15 2021 +0200
+++ b/test/Tools/isac/Knowledge/eqsystem-2.sml	Sun Sep 12 15:53:36 2021 +0200
@@ -226,15 +226,13 @@
 then () else error "7.70 go through the rewrites in met_eqsys_norm_4x4, 3";
 
 val SOME (t,_) = rewrite_set_inst_ thy false subst simplify_System_parenthesized t;
-if UnparseC.term t =(*BEFORE "eliminate ThmC.numerals_to_Free"..
-  "[c = - 1 * L * q_0 / - 1, L * c + c_2 = q_0 * L \<up> 2 / 2, c_4 = 0, c_3 = 0]"*)
-  "[c = - 0 + - 1 * L * q_0 / - 1, L * c + c_2 = q_0 * L \<up> 2 / 2, c_4 = 0,\n c_3 = 0]"
+if UnparseC.term t =
+  "[c = - 1 * L * q_0 / - 1, L * c + c_2 = q_0 * L \<up> 2 / 2, c_4 = 0,\n c_3 = 0]"
 then () else error "7.70 go through the rewrites in met_eqsys_norm_4x4, 4";
 
 val SOME (t, _) = rewrite_set_ thy false order_system t;
-if UnparseC.term t =(*BEFORE "eliminate ThmC.numerals_to_Free"..
-  "[c = - 1 * L * q_0 / - 1, L * c + c_2 = q_0 * L \<up> 2 / 2, c_3 = 0, c_4 = 0]"*)
-  "[c = - 0 + - 1 * L * q_0 / - 1, L * c + c_2 = q_0 * L \<up> 2 / 2, c_3 = 0,\n c_4 = 0]"
+if UnparseC.term t =
+  "[c = - 1 * L * q_0 / - 1, L * c + c_2 = q_0 * L \<up> 2 / 2, c_3 = 0,\n c_4 = 0]"
 then () else error "eqsystem.sml: exp 7.70 normalise 4x4 by rewrite changed";
 
 "----- 7.70 with met normalise: ";
diff -r 41cdbf7d5e6e -r f2e6a3bf46de test/Tools/isac/Test_Isac_Short.thy
--- a/test/Tools/isac/Test_Isac_Short.thy	Sun Sep 12 15:40:15 2021 +0200
+++ b/test/Tools/isac/Test_Isac_Short.thy	Sun Sep 12 15:53:36 2021 +0200
@@ -302,7 +302,7 @@
   ML_file "Knowledge/diff.sml"
   ML_file "Knowledge/integrate.sml"
   ML_file "Knowledge/eqsystem-1.sml"
-(*ML_file "Knowledge/eqsystem-2.sml"   broken by TOODOO 8e46f61fdb15 *)
+  ML_file "Knowledge/eqsystem-2.sml"
   ML_file "Knowledge/test.sml"
   ML_file "Knowledge/polyminus.sml"
   ML_file "Knowledge/vect.sml"