test/Tools/isac/Knowledge/eqsystem-2.sml
changeset 60549 c0a775618258
parent 60509 2e0b7ca391dc
child 60556 486223010ea8
     1.1 --- a/test/Tools/isac/Knowledge/eqsystem-2.sml	Fri Sep 09 10:53:51 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/eqsystem-2.sml	Sun Sep 11 14:31:15 2022 +0200
     1.3 @@ -111,7 +111,7 @@
     1.4  	(TermC.str2term "bdv_3", TermC.str2term "c_3"), (TermC.str2term "bdv_4", TermC.str2term "c_4")]; 
     1.5  
     1.6  "------- Bsp 7.27";
     1.7 -reset_states ();
     1.8 +States.reset ();
     1.9  CalcTree [(
    1.10    ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y",
    1.11  	  "Randbedingungen [y 0 = (0::real), y L = 0, M_b 0 = 0, M_b L = 0]", "FunktionsVariable x"],
    1.12 @@ -153,7 +153,7 @@
    1.13  *)
    1.14  
    1.15  "------- Bsp 7.28 ---------------vvvvvvvvvvvvv Momentenlinie postponed";
    1.16 -reset_states ();
    1.17 +States.reset ();
    1.18  CalcTree [((*WN130908  <ERROR> error in kernel </ERROR>*)
    1.19    ["Traegerlaenge L", "Momentenlinie (-q_0 / L * x \<up> 3 / 6)",
    1.20  	    "Biegelinie y",
    1.21 @@ -167,7 +167,7 @@
    1.22  *)
    1.23  
    1.24  "------- Bsp 7.69";
    1.25 -reset_states ();
    1.26 +States.reset ();
    1.27  CalcTree [(
    1.28    ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y",
    1.29  	  "Randbedingungen [y 0 = (0::real), y L = 0, y' 0 = 0, y' L = 0]", "FunktionsVariable x"],
    1.30 @@ -187,7 +187,7 @@
    1.31    "0 = c_3 + (6 * L * c_2 + 3 * L \<up> 2 * c + - 1 * L \<up> 3 * q_0) / (-6 * EI)]");
    1.32  
    1.33  "------- Bsp 7.70";
    1.34 -reset_states ();
    1.35 +States.reset ();
    1.36  CalcTree [(
    1.37    ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y",
    1.38  	  "Randbedingungen [Q 0 = q_0 * L, M_b L = 0, y 0 = (0::real), y' 0 = 0]", "FunktionsVariable x"],
    1.39 @@ -305,7 +305,7 @@
    1.40  then () else error "eqsystem.sml: 7.70 with met top_down_: me";
    1.41  
    1.42  "------- Bsp 7.71";
    1.43 -reset_states ();
    1.44 +States.reset ();
    1.45  CalcTree [(["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y",
    1.46  	     "Randbedingungen [M_b L = 0, y 0 = (0::real), y L = 0, y' 0 = 0]",
    1.47  	     "FunktionsVariable x", "GleichungsVariablen [c, c_2, c_3, c_4]",
    1.48 @@ -326,7 +326,7 @@
    1.49  \ 0 = c_3 + 0 / (- 1 * EI)]";
    1.50  
    1.51  "------- Bsp 7.72a ---------------vvvvvvvvvvvvv Momentenlinie postponed";
    1.52 -reset_states ();
    1.53 +States.reset ();
    1.54  CalcTree [(["Traegerlaenge L",
    1.55  	    "Momentenlinie ((q_0 * L)/ 6 * x - q_0 /(6 * L) * x \<up> ^3)",
    1.56  	    "Biegelinie y",
    1.57 @@ -340,7 +340,7 @@
    1.58  *)
    1.59  
    1.60  "------- Bsp 7.72b";
    1.61 -reset_states ();
    1.62 +States.reset ();
    1.63  CalcTree [(["Traegerlaenge L", "Streckenlast (q_0 / L * x)", "Biegelinie y",
    1.64  	    "Randbedingungen [M_b 0 = 0, M_b L = 0, y 0 = (0::real), y L = 0]",
    1.65  	    "FunktionsVariable x", "GleichungsVariablen [c, c_2, c_3, c_4]",
    1.66 @@ -361,7 +361,7 @@
    1.67  \ 0 = c_4 + L * c_3 + (60 * L \<up> 2 * c_2 + 20 * L \<up> 3 * c + - 1 * L \<up> 4 * q_0) / (- 120 * EI)]";
    1.68  
    1.69  "------- Bsp 7.73 ---------------vvvvvvvvvvvvv Momentenlinie postponed";
    1.70 -reset_states ();
    1.71 +States.reset ();
    1.72  CalcTree [(["Traegerlaenge L", "Momentenlinie ???",(*description unclear*)
    1.73  	    "Biegelinie y",
    1.74  	    "Randbedingungen [y L = 0, y' L = 0]",