1.1 --- a/test/Tools/isac/Knowledge/system.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/system.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -19,14 +19,14 @@
     1.4  "----------- normalise system ------------------------------------";
     1.5  "----------- normalise system ------------------------------------";
     1.6  "----------- normalise system ------------------------------------";
     1.7 -val t = TermC.str2term "[0 = c*0 + - 1*q_0*(0 \<up> 2 / 2) + c_2,\
     1.8 +val t = TermC.parse_test @{context} "[0 = c*0 + - 1*q_0*(0 \<up> 2 / 2) + c_2,\
     1.9  		 \ 0 = c*L + - 1*q_0*(L \<up> 2 / 2) + c_2]";
    1.10  val SOME (t,_) = rewrite_set_ thy false norm_Poly t;
    1.11  if UnparseC.term t = 
    1.12  "[0 = - 1 * q_0 * (0 / 2) + c_2, 0 = L * c + - 1 * q_0 * (L \<up> 2 / 2) + c_2]"
    1.13  then () else error "system.sml, diff.behav. in norm_Poly";
    1.14  
    1.15 -val t = TermC.str2term "[0 = c*0 + - 1*q_0*(0 \<up> 2 / 2) + c_2,\
    1.16 +val t = TermC.parse_test @{context} "[0 = c*0 + - 1*q_0*(0 \<up> 2 / 2) + c_2,\
    1.17  		 \ 0 = c*L + - 1*q_0*(L \<up> 2 / 2) + c_2]";
    1.18  val SOME (t,_) = rewrite_set_ thy false norm_Rational t;
    1.19  if UnparseC.term t = 
    1.20 @@ -34,7 +34,7 @@
    1.21  then () else error "system.sml, diff.behav. in norm_Rational";
    1.22  
    1.23  
    1.24 -val t = TermC.str2term "nth_ 1 [0 = c*0 + - 1*q_0*(0 \<up> 2 / 2) + c_2,\
    1.25 +val t = TermC.parse_test @{context} "nth_ 1 [0 = c*0 + - 1*q_0*(0 \<up> 2 / 2) + c_2,\
    1.26  		 \ 0 = c*L + - 1*q_0*(L \<up> 2 / 2) + c_2]";
    1.27  val SOME (t,_) = rewrite_set_ thy false prog_expr t;
    1.28  if UnparseC.term t = "0 = c * 0 + - 1 * q_0 * (0 \<up> 2 / 2) + c_2"