109 val subst = |
109 val subst = |
110 [(TermC.str2term "bdv_1", TermC.str2term "c"), (TermC.str2term "bdv_2", TermC.str2term "c_2"), |
110 [(TermC.str2term "bdv_1", TermC.str2term "c"), (TermC.str2term "bdv_2", TermC.str2term "c_2"), |
111 (TermC.str2term "bdv_3", TermC.str2term "c_3"), (TermC.str2term "bdv_4", TermC.str2term "c_4")]; |
111 (TermC.str2term "bdv_3", TermC.str2term "c_3"), (TermC.str2term "bdv_4", TermC.str2term "c_4")]; |
112 |
112 |
113 "------- Bsp 7.27"; |
113 "------- Bsp 7.27"; |
114 reset_states (); |
114 States.reset (); |
115 CalcTree [( |
115 CalcTree [( |
116 ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
116 ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
117 "Randbedingungen [y 0 = (0::real), y L = 0, M_b 0 = 0, M_b L = 0]", "FunktionsVariable x"], |
117 "Randbedingungen [y 0 = (0::real), y L = 0, M_b 0 = 0, M_b L = 0]", "FunktionsVariable x"], |
118 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]))]; |
118 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]))]; |
119 moveActiveRoot 1; |
119 moveActiveRoot 1; |
151 val SOME (t,_) = rewrite_set_ ctxt false order_system t; |
151 val SOME (t,_) = rewrite_set_ ctxt false order_system t; |
152 UnparseC.term t; |
152 UnparseC.term t; |
153 *) |
153 *) |
154 |
154 |
155 "------- Bsp 7.28 ---------------vvvvvvvvvvvvv Momentenlinie postponed"; |
155 "------- Bsp 7.28 ---------------vvvvvvvvvvvvv Momentenlinie postponed"; |
156 reset_states (); |
156 States.reset (); |
157 CalcTree [((*WN130908 <ERROR> error in kernel </ERROR>*) |
157 CalcTree [((*WN130908 <ERROR> error in kernel </ERROR>*) |
158 ["Traegerlaenge L", "Momentenlinie (-q_0 / L * x \<up> 3 / 6)", |
158 ["Traegerlaenge L", "Momentenlinie (-q_0 / L * x \<up> 3 / 6)", |
159 "Biegelinie y", |
159 "Biegelinie y", |
160 "Randbedingungen [y L = 0, y' L = 0]", |
160 "Randbedingungen [y L = 0, y' L = 0]", |
161 "FunktionsVariable x"], |
161 "FunktionsVariable x"], |
165 moveActiveRoot 1; |
165 moveActiveRoot 1; |
166 LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false; |
166 LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false; |
167 *) |
167 *) |
168 |
168 |
169 "------- Bsp 7.69"; |
169 "------- Bsp 7.69"; |
170 reset_states (); |
170 States.reset (); |
171 CalcTree [( |
171 CalcTree [( |
172 ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
172 ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
173 "Randbedingungen [y 0 = (0::real), y L = 0, y' 0 = 0, y' L = 0]", "FunktionsVariable x"], |
173 "Randbedingungen [y 0 = (0::real), y L = 0, y' 0 = 0, y' L = 0]", "FunktionsVariable x"], |
174 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]))]; |
174 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]))]; |
175 moveActiveRoot 1; |
175 moveActiveRoot 1; |
185 "0 = c_4 + L * c_3 + (12 * L \<up> 2 * c_2 + 4 * L \<up> 3 * c + - 1 * L \<up> 4 * q_0) / (- 24 * EI), " ^ |
185 "0 = c_4 + L * c_3 + (12 * L \<up> 2 * c_2 + 4 * L \<up> 3 * c + - 1 * L \<up> 4 * q_0) / (- 24 * EI), " ^ |
186 "0 = c_3 + 0 / (- 1 * EI), " ^ |
186 "0 = c_3 + 0 / (- 1 * EI), " ^ |
187 "0 = c_3 + (6 * L * c_2 + 3 * L \<up> 2 * c + - 1 * L \<up> 3 * q_0) / (-6 * EI)]"); |
187 "0 = c_3 + (6 * L * c_2 + 3 * L \<up> 2 * c + - 1 * L \<up> 3 * q_0) / (-6 * EI)]"); |
188 |
188 |
189 "------- Bsp 7.70"; |
189 "------- Bsp 7.70"; |
190 reset_states (); |
190 States.reset (); |
191 CalcTree [( |
191 CalcTree [( |
192 ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
192 ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
193 "Randbedingungen [Q 0 = q_0 * L, M_b L = 0, y 0 = (0::real), y' 0 = 0]", "FunktionsVariable x"], |
193 "Randbedingungen [Q 0 = q_0 * L, M_b L = 0, y 0 = (0::real), y' 0 = 0]", "FunktionsVariable x"], |
194 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"] ))]; |
194 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"] ))]; |
195 moveActiveRoot 1; |
195 moveActiveRoot 1; |
303 (* "[c = L * q_0, c_2 = - 1 * L \<up> 2 * q_0 / 2, c_3 = 0, c_4 = 0]"*) |
303 (* "[c = L * q_0, c_2 = - 1 * L \<up> 2 * q_0 / 2, c_3 = 0, c_4 = 0]"*) |
304 f2str f = "[c = L * q_0, c_2 = - 1 * L \<up> 2 * q_0 / 2, c_3 = 0, c_4 = 0]" |
304 f2str f = "[c = L * q_0, c_2 = - 1 * L \<up> 2 * q_0 / 2, c_3 = 0, c_4 = 0]" |
305 then () else error "eqsystem.sml: 7.70 with met top_down_: me"; |
305 then () else error "eqsystem.sml: 7.70 with met top_down_: me"; |
306 |
306 |
307 "------- Bsp 7.71"; |
307 "------- Bsp 7.71"; |
308 reset_states (); |
308 States.reset (); |
309 CalcTree [(["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
309 CalcTree [(["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
310 "Randbedingungen [M_b L = 0, y 0 = (0::real), y L = 0, y' 0 = 0]", |
310 "Randbedingungen [M_b L = 0, y 0 = (0::real), y L = 0, y' 0 = 0]", |
311 "FunktionsVariable x", "GleichungsVariablen [c, c_2, c_3, c_4]", |
311 "FunktionsVariable x", "GleichungsVariablen [c, c_2, c_3, c_4]", |
312 "AbleitungBiegelinie dy"], |
312 "AbleitungBiegelinie dy"], |
313 ("Biegelinie", ["Biegelinien"], |
313 ("Biegelinie", ["Biegelinien"], |
324 \ 0 = c_4 + 0 / (- 1 * EI), \ |
324 \ 0 = c_4 + 0 / (- 1 * EI), \ |
325 \ 0 = c_4 + L * c_3 +(12 * L \<up> 2 * c_2 + 4 * L \<up> 3 * c + - 1 * L \<up> 4 * q_0) /(- 24 * EI),\ |
325 \ 0 = c_4 + L * c_3 +(12 * L \<up> 2 * c_2 + 4 * L \<up> 3 * c + - 1 * L \<up> 4 * q_0) /(- 24 * EI),\ |
326 \ 0 = c_3 + 0 / (- 1 * EI)]"; |
326 \ 0 = c_3 + 0 / (- 1 * EI)]"; |
327 |
327 |
328 "------- Bsp 7.72a ---------------vvvvvvvvvvvvv Momentenlinie postponed"; |
328 "------- Bsp 7.72a ---------------vvvvvvvvvvvvv Momentenlinie postponed"; |
329 reset_states (); |
329 States.reset (); |
330 CalcTree [(["Traegerlaenge L", |
330 CalcTree [(["Traegerlaenge L", |
331 "Momentenlinie ((q_0 * L)/ 6 * x - q_0 /(6 * L) * x \<up> ^3)", |
331 "Momentenlinie ((q_0 * L)/ 6 * x - q_0 /(6 * L) * x \<up> ^3)", |
332 "Biegelinie y", |
332 "Biegelinie y", |
333 "Randbedingungen [y 0 = (0::real), y L = 0]", |
333 "Randbedingungen [y 0 = (0::real), y L = 0]", |
334 "FunktionsVariable x"], |
334 "FunktionsVariable x"], |
338 (* |
338 (* |
339 LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false; |
339 LItool.trace_on := true; autoCalculate 1 CompleteCalc; LItool.trace_on := false; |
340 *) |
340 *) |
341 |
341 |
342 "------- Bsp 7.72b"; |
342 "------- Bsp 7.72b"; |
343 reset_states (); |
343 States.reset (); |
344 CalcTree [(["Traegerlaenge L", "Streckenlast (q_0 / L * x)", "Biegelinie y", |
344 CalcTree [(["Traegerlaenge L", "Streckenlast (q_0 / L * x)", "Biegelinie y", |
345 "Randbedingungen [M_b 0 = 0, M_b L = 0, y 0 = (0::real), y L = 0]", |
345 "Randbedingungen [M_b 0 = 0, M_b L = 0, y 0 = (0::real), y L = 0]", |
346 "FunktionsVariable x", "GleichungsVariablen [c, c_2, c_3, c_4]", |
346 "FunktionsVariable x", "GleichungsVariablen [c, c_2, c_3, c_4]", |
347 "AbleitungBiegelinie dy"], |
347 "AbleitungBiegelinie dy"], |
348 ("Biegelinie", ["Biegelinien"], |
348 ("Biegelinie", ["Biegelinien"], |
359 \ 0 = (6 * c_2 + 6 * L * c + - 1 * L \<up> 2 * q_0) / 6, \ |
359 \ 0 = (6 * c_2 + 6 * L * c + - 1 * L \<up> 2 * q_0) / 6, \ |
360 \ 0 = c_4 + 0 / (- 1 * EI), \ |
360 \ 0 = c_4 + 0 / (- 1 * EI), \ |
361 \ 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)]"; |
361 \ 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)]"; |
362 |
362 |
363 "------- Bsp 7.73 ---------------vvvvvvvvvvvvv Momentenlinie postponed"; |
363 "------- Bsp 7.73 ---------------vvvvvvvvvvvvv Momentenlinie postponed"; |
364 reset_states (); |
364 States.reset (); |
365 CalcTree [(["Traegerlaenge L", "Momentenlinie ???",(*description unclear*) |
365 CalcTree [(["Traegerlaenge L", "Momentenlinie ???",(*description unclear*) |
366 "Biegelinie y", |
366 "Biegelinie y", |
367 "Randbedingungen [y L = 0, y' L = 0]", |
367 "Randbedingungen [y L = 0, y' L = 0]", |
368 "FunktionsVariable x"], |
368 "FunktionsVariable x"], |
369 ("Biegelinie", ["vonMomentenlinieZu", "Biegelinien"], |
369 ("Biegelinie", ["vonMomentenlinieZu", "Biegelinien"], |