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]",