1.1 --- a/test/Tools/isac/Knowledge/poly-1.sml	Sat Jul 17 14:05:28 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/poly-1.sml	Sun Jul 18 16:20:32 2021 +0200
     1.3 @@ -261,7 +261,7 @@
     1.4  "-------- fun is_addUnordered (x \<up> 2 * y \<up> 2 + x \<up> 3 * y) --------------------------------------";
     1.5  "-------- fun is_addUnordered (x \<up> 2 * y \<up> 2 + x \<up> 3 * y) --------------------------------------";
     1.6  val t = TermC.str2term "x \<up> 2 * y \<up> 2 + x * x \<up> 2 * y";
     1.7 -Rewrite.trace_on := false;
     1.8 +Rewrite.trace_on := false; (*true false*)
     1.9  val SOME (t, _) = rewrite_set_ thy false make_polynomial t; UnparseC.term t;
    1.10     UnparseC.term t = "x \<up> 2 * y \<up> 2 + x \<up> 3 * y";
    1.11  if UnparseC.term t = "x \<up> 3 * y + x \<up> 2 * y \<up> 2" then ()