1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -272,7 +272,7 @@
     1.4  "----------- progr.vers.2: check erls for multiply_ansatz";
     1.5  "----------- progr.vers.2: check erls for multiply_ansatz";
     1.6  (*test for outcommented 3 lines in script: is norm_Rational strong enough?*)
     1.7 -val t = TermC.str2term "(3 / ((- 1 + - 2 * z + 8 * z \<up> 2) *3/24)) = (3 / ((z - 1 / 2) * (z - - 1 / 4)))";
     1.8 +val t = TermC.parse_test @{context} "(3 / ((- 1 + - 2 * z + 8 * z \<up> 2) *3/24)) = (3 / ((z - 1 / 2) * (z - - 1 / 4)))";
     1.9  val SOME (t', _) = rewrite_set_ @{theory Isac_Knowledge} true ansatz_rls t;
    1.10  UnparseC.term t' = "3 / ((- 1 + - 2 * z + 8 * z \<up> 2) * 3 / 24) =\n?A / (z - 1 / 2) + ?B / (z - - 1 / 4)";
    1.11