1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Wed Feb 07 13:06:27 2018 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Wed Feb 07 15:00:37 2018 +0100
     1.3 @@ -247,7 +247,7 @@
     1.4    terms2str' asms = "[~ matches (?a = 0) (3 = -3 * B / 4) | ~ lhs (3 = -3 * B / 4) is_poly_in B," ^
     1.5    "B = -4,lhs (3 + 3 / 4 * B = 0) is_poly_in B,lhs (3 + 3 / 4 * B = 0) has_degree_in B = 1," ^
     1.6    "B is_polyexp,A is_polyexp," ^
     1.7 -  "~ matches (?a = 0) (3 = 3 * A / 4) | ~ lhs (3 = 3 * A / 4) is_poly_in A," ^
     1.8 +  "<not> matches (?a = 0) (3 = 3 * A / 4) | <not> lhs (3 = 3 * A / 4) is_poly_in A," ^
     1.9    "A = 4,lhs (3 + -3 / 4 * A = 0) is_poly_in A,lhs (3 + -3 / 4 * A = 0) has_degree_in A = 1," ^
    1.10    "lhs (-1 + -2 * z + 8 * z ^^^ 2 = 0) has_degree_in z = 2," ^
    1.11    "lhs (-1 + -2 * z + 8 * z ^^^ 2 = 0) is_poly_in z,z = 1 / 2,z = -1 / 4,z is_polyexp]"