1.1 --- a/test/Tools/isac/Knowledge/system.sml	Mon Apr 19 20:44:18 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/system.sml	Tue Apr 20 16:58:44 2021 +0200
     1.3 @@ -19,32 +19,32 @@
     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^^^2 / 2) + c_2,\
     1.8 -		 \ 0 = c*L + -1*q_0*(L^^^2 / 2) + c_2]";
     1.9 +val t = TermC.str2term "[0 = c*0 + -1*q_0*(0 \<up> 2 / 2) + c_2,\
    1.10 +		 \ 0 = c*L + -1*q_0*(L \<up> 2 / 2) + c_2]";
    1.11  val SOME (t,_) = rewrite_set_ thy false norm_Poly t;
    1.12  if UnparseC.term t = 
    1.13 -"[0 = -1 * q_0 * (0 / 2) + c_2, 0 = L * c + -1 * q_0 * (L ^^^ 2 / 2) + c_2]"
    1.14 +"[0 = -1 * q_0 * (0 / 2) + c_2, 0 = L * c + -1 * q_0 * (L \<up> 2 / 2) + c_2]"
    1.15  then () else error "system.sml, diff.behav. in norm_Poly";
    1.16  
    1.17 -val t = TermC.str2term "[0 = c*0 + -1*q_0*(0^^^2 / 2) + c_2,\
    1.18 -		 \ 0 = c*L + -1*q_0*(L^^^2 / 2) + c_2]";
    1.19 +val t = TermC.str2term "[0 = c*0 + -1*q_0*(0 \<up> 2 / 2) + c_2,\
    1.20 +		 \ 0 = c*L + -1*q_0*(L \<up> 2 / 2) + c_2]";
    1.21  val SOME (t,_) = rewrite_set_ thy false norm_Rational t;
    1.22  if UnparseC.term t = 
    1.23 -"[0 = c_2, 0 = (2 * c_2 + 2 * L * c + -1 * L ^^^ 2 * q_0) / 2]"
    1.24 +"[0 = c_2, 0 = (2 * c_2 + 2 * L * c + -1 * L \<up> 2 * q_0) / 2]"
    1.25  then () else error "system.sml, diff.behav. in norm_Rational";
    1.26  
    1.27  
    1.28 -val t = TermC.str2term "nth_ 1 [0 = c*0 + -1*q_0*(0^^^2 / 2) + c_2,\
    1.29 -		 \ 0 = c*L + -1*q_0*(L^^^2 / 2) + c_2]";
    1.30 +val t = TermC.str2term "nth_ 1 [0 = c*0 + -1*q_0*(0 \<up> 2 / 2) + c_2,\
    1.31 +		 \ 0 = c*L + -1*q_0*(L \<up> 2 / 2) + c_2]";
    1.32  val SOME (t,_) = rewrite_set_ thy false prog_expr t;
    1.33 -if UnparseC.term t = "0 = c * 0 + -1 * q_0 * (0 ^^^ 2 / 2) + c_2"
    1.34 +if UnparseC.term t = "0 = c * 0 + -1 * q_0 * (0 \<up> 2 / 2) + c_2"
    1.35  then () else error "system.sml, prog_expr";
    1.36  
    1.37  
    1.38  "----------- me --------------------------------------------------";
    1.39  "----------- me --------------------------------------------------";
    1.40  "----------- me --------------------------------------------------";
    1.41 -val fmz = ["equalities [0 = c_2 + c * 0 + -1 * q_0 / 2 * 0 ^^^ 2, 0 = c_2 + c * L + -1 * q_0 / 2 * L ^^^ 2]",
    1.42 +val fmz = ["equalities [0 = c_2 + c * 0 + -1 * q_0 / 2 * 0 \<up> 2, 0 = c_2 + c * L + -1 * q_0 / 2 * L \<up> 2]",
    1.43  	   "solveForVars [c, c_2]", "solution ss___"];
    1.44  val (dI',pI',mI') =
    1.45    ("Biegelinie",["normalise", "2x2", "LINEAR", "system"],