52 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------"; |
52 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------"; |
53 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------"; |
53 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------"; |
54 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------"; |
54 "----------- Script [IntegrierenUndKonstanteBestimmen] -----------"; |
55 val str = |
55 val str = |
56 "Script BiegelinieScript \ |
56 "Script BiegelinieScript \ |
57 \(l_::real) (q__::real) (v_::real) (b_::real=>real) \ |
57 \(l_::real) (q__::real) (v_v::real) (b_::real=>real) \ |
58 \(rb_::bool list) (rm_::bool list) = \ |
58 \(rb_::bool list) (rm_::bool list) = \ |
59 \ (let q___ = Take (q_ v_v = q__); \ |
59 \ (let q___ = Take (q_ v_v = q__); \ |
60 \ q___ = ((Rewrite sym_real_minus_eq_cancel True) @@ \ |
60 \ q___ = ((Rewrite sym_real_minus_eq_cancel True) @@ \ |
61 \ (Rewrite Belastung_Querkraft True)) q___; \ |
61 \ (Rewrite Belastung_Querkraft True)) q___; \ |
62 \ (Q__:: bool) = \ |
62 \ (Q__:: bool) = \ |
179 val fmz = ["Traegerlaenge L","Streckenlast q_0","Biegelinie y", |
179 val fmz = ["Traegerlaenge L","Streckenlast q_0","Biegelinie y", |
180 "RandbedingungenBiegung [y 0 = 0, y L = 0]", |
180 "RandbedingungenBiegung [y 0 = 0, y L = 0]", |
181 "RandbedingungenMoment [M_b 0 = 0, M_b L = 0]", |
181 "RandbedingungenMoment [M_b 0 = 0, M_b L = 0]", |
182 "FunktionsVariable x"]; |
182 "FunktionsVariable x"]; |
183 val (dI',pI',mI') = |
183 val (dI',pI',mI') = |
184 ("Biegelinie.thy",["MomentBestimmte","Biegelinien"], |
184 ("Biegelinie",["MomentBestimmte","Biegelinien"], |
185 ["IntegrierenUndKonstanteBestimmen"]); |
185 ["IntegrierenUndKonstanteBestimmen"]); |
186 val p = e_pos'; val c = []; |
186 val p = e_pos'; val c = []; |
187 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
187 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
188 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
188 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
189 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
189 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
211 | _ => raise error "biegelinie.sml: Bsp 7.27 #4c"; |
211 | _ => raise error "biegelinie.sml: Bsp 7.27 #4c"; |
212 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
212 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
213 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
213 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
214 |
214 |
215 case nxt of |
215 case nxt of |
216 (_,Subproblem ("Biegelinie.thy", ["named", "integrate", "function"])) => () |
216 (_,Subproblem ("Biegelinie", ["named", "integrate", "function"])) => () |
217 | _ => raise error "biegelinie.sml: Bsp 7.27 #4c"; |
217 | _ => raise error "biegelinie.sml: Bsp 7.27 #4c"; |
218 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
218 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
219 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
219 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
220 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
220 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
221 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
221 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
229 | _ => raise error "biegelinie.sml: Bsp 7.27 #5a"; |
229 | _ => raise error "biegelinie.sml: Bsp 7.27 #5a"; |
230 |
230 |
231 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
231 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
232 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
232 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
233 case nxt of |
233 case nxt of |
234 (_, Subproblem ("Biegelinie.thy", ["named", "integrate", "function"]))=>() |
234 (_, Subproblem ("Biegelinie", ["named", "integrate", "function"]))=>() |
235 | _ => raise error "biegelinie.sml: Bsp 7.27 #5b"; |
235 | _ => raise error "biegelinie.sml: Bsp 7.27 #5b"; |
236 |
236 |
237 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
237 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
238 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
238 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
239 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
239 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
257 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
257 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
258 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
258 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
259 if f2str f = "0 = c_2 + c * L + -1 * q_0 / 2 * L ^^^ 2" then () |
259 if f2str f = "0 = c_2 + c * L + -1 * q_0 / 2 * L ^^^ 2" then () |
260 else raise error "biegelinie.sml: Bsp 7.27 #9"; |
260 else raise error "biegelinie.sml: Bsp 7.27 #9"; |
261 |
261 |
262 (*val nxt = (+, Subproblem ("Biegelinie.thy", ["normalize", ..lin..sys]))*) |
262 (*val nxt = (+, Subproblem ("Biegelinie", ["normalize", ..lin..sys]))*) |
263 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
263 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
264 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
264 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
265 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
265 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
266 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
266 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
267 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
267 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
297 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
297 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
298 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
298 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
299 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
299 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
300 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
300 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
301 case nxt of |
301 case nxt of |
302 (_, Subproblem ("Biegelinie.thy", ["named", "integrate", "function"]))=>() |
302 (_, Subproblem ("Biegelinie", ["named", "integrate", "function"]))=>() |
303 | _ => raise error "biegelinie.sml: Bsp 7.27 #13"; |
303 | _ => raise error "biegelinie.sml: Bsp 7.27 #13"; |
304 |
304 |
305 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
305 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
306 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
306 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
307 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
307 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
319 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
319 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
320 if f2str f = |
320 if f2str f = |
321 "y' x = c + 1 / (-1 * EI) * (L * q_0 / 4 * x ^^^ 2 + -1 * q_0 / 6 * x ^^^ 3)" |
321 "y' x = c + 1 / (-1 * EI) * (L * q_0 / 4 * x ^^^ 2 + -1 * q_0 / 6 * x ^^^ 3)" |
322 then () else raise error "biegelinie.sml: Bsp 7.27 #16 f"; |
322 then () else raise error "biegelinie.sml: Bsp 7.27 #16 f"; |
323 case nxt of |
323 case nxt of |
324 (_, Subproblem ("Biegelinie.thy", ["named", "integrate", "function"]))=>() |
324 (_, Subproblem ("Biegelinie", ["named", "integrate", "function"]))=>() |
325 | _ => raise error "biegelinie.sml: Bsp 7.27 #16"; |
325 | _ => raise error "biegelinie.sml: Bsp 7.27 #16"; |
326 |
326 |
327 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
327 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
328 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
328 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
329 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
329 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
347 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
347 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
348 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
348 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
349 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
349 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
350 case nxt of |
350 case nxt of |
351 (_, Subproblem |
351 (_, Subproblem |
352 ("Biegelinie.thy", ["normalize", "2x2", "linear", "system"])) => () |
352 ("Biegelinie", ["normalize", "2x2", "linear", "system"])) => () |
353 | _ => raise error "biegelinie.sml: Bsp 7.27 #19"; |
353 | _ => raise error "biegelinie.sml: Bsp 7.27 #19"; |
354 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
354 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
355 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
355 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
356 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
356 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
357 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
357 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
365 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
365 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f; |
366 if f2str f = "[c_2 = 0, L * c + c_2 = -1 * q_0 * L ^^^ 4 / (-24 * EI)]" then () |
366 if f2str f = "[c_2 = 0, L * c + c_2 = -1 * q_0 * L ^^^ 4 / (-24 * EI)]" then () |
367 else raise error "biegelinie.sml: Bsp 7.27 #21 f"; |
367 else raise error "biegelinie.sml: Bsp 7.27 #21 f"; |
368 case nxt of |
368 case nxt of |
369 (_, Subproblem |
369 (_, Subproblem |
370 ("Biegelinie.thy", ["triangular", "2x2", "linear", "system"])) =>() |
370 ("Biegelinie", ["triangular", "2x2", "linear", "system"])) =>() |
371 | _ => raise error "biegelinie.sml: Bsp 7.27 #21"; |
371 | _ => raise error "biegelinie.sml: Bsp 7.27 #21"; |
372 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
372 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
373 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
373 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
374 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
374 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
375 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
375 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
452 states:=[]; |
452 states:=[]; |
453 CalcTree [(["Traegerlaenge L","Streckenlast q_0","Biegelinie y", |
453 CalcTree [(["Traegerlaenge L","Streckenlast q_0","Biegelinie y", |
454 "RandbedingungenBiegung [y 0 = 0, y L = 0]", |
454 "RandbedingungenBiegung [y 0 = 0, y L = 0]", |
455 "RandbedingungenMoment [M_b 0 = 0, M_b L = 0]", |
455 "RandbedingungenMoment [M_b 0 = 0, M_b L = 0]", |
456 "FunktionsVariable x"], |
456 "FunktionsVariable x"], |
457 ("Biegelinie.thy", |
457 ("Biegelinie", |
458 ["MomentBestimmte","Biegelinien"], |
458 ["MomentBestimmte","Biegelinien"], |
459 ["IntegrierenUndKonstanteBestimmen"]))]; |
459 ["IntegrierenUndKonstanteBestimmen"]))]; |
460 moveActiveRoot 1; |
460 moveActiveRoot 1; |
461 autoCalculate 1 CompleteCalcHead; |
461 autoCalculate 1 CompleteCalcHead; |
462 |
462 |
498 ["Streckenlast q_0","FunktionsVariable x", |
498 ["Streckenlast q_0","FunktionsVariable x", |
499 "Funktionen [Q x = c + -1 * q_0 * x, \ |
499 "Funktionen [Q x = c + -1 * q_0 * x, \ |
500 \M_b x = c_2 + c * x + -1 * q_0 / 2 * x ^^^ 2,\ |
500 \M_b x = c_2 + c * x + -1 * q_0 / 2 * x ^^^ 2,\ |
501 \ y' x = c_3 + 1 / (-1 * EI) * (c_2 * x + c / 2 * x ^^^ 2 + -1 * q_0 / 6 * x ^^^ 3),\ |
501 \ y' x = c_3 + 1 / (-1 * EI) * (c_2 * x + c / 2 * x ^^^ 2 + -1 * q_0 / 6 * x ^^^ 3),\ |
502 \ y x = c_4 + c_3 * x + 1 / (-1 * EI) * (c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)]"]; |
502 \ y x = c_4 + c_3 * x + 1 / (-1 * EI) * (c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)]"]; |
503 val (dI',pI',mI') = ("Biegelinie.thy", ["vonBelastungZu","Biegelinien"], |
503 val (dI',pI',mI') = ("Biegelinie", ["vonBelastungZu","Biegelinien"], |
504 ["Biegelinien","ausBelastung"]); |
504 ["Biegelinien","ausBelastung"]); |
505 val p = e_pos'; val c = []; |
505 val p = e_pos'; val c = []; |
506 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
506 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
507 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
507 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
508 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
508 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
616 atomty sc; |
616 atomty sc; |
617 |
617 |
618 val fmz = ["functionEq (M_b x = c_2 + c * x + -1 * q_0 / 2 * x ^^^ 2)", |
618 val fmz = ["functionEq (M_b x = c_2 + c * x + -1 * q_0 / 2 * x ^^^ 2)", |
619 "substitution (M_b L = 0)", |
619 "substitution (M_b L = 0)", |
620 "equality equ___"]; |
620 "equality equ___"]; |
621 val (dI',pI',mI') = ("Biegelinie.thy", ["makeFunctionTo","equation"], |
621 val (dI',pI',mI') = ("Biegelinie", ["makeFunctionTo","equation"], |
622 ["Equation","fromFunction"]); |
622 ["Equation","fromFunction"]); |
623 val p = e_pos'; val c = []; |
623 val p = e_pos'; val c = []; |
624 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
624 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
625 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
625 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
626 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
626 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
762 \M_b x = c_2 + c * x + -1 * q_0 / 2 * x ^^^ 2,\ |
762 \M_b x = c_2 + c * x + -1 * q_0 / 2 * x ^^^ 2,\ |
763 \y' x = c_3 + 1 / (-1 * EI) * (c_2 * x + c / 2 * x ^^^ 2 + -1 * q_0 / 6 * x ^^^ 3),\ |
763 \y' x = c_3 + 1 / (-1 * EI) * (c_2 * x + c / 2 * x ^^^ 2 + -1 * q_0 / 6 * x ^^^ 3),\ |
764 \y x = c_4 + c_3 * x + 1 / (-1 * EI) * (c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)]", |
764 \y x = c_4 + c_3 * x + 1 / (-1 * EI) * (c_2 / 2 * x ^^^ 2 + c / 6 * x ^^^ 3 + -1 * q_0 / 24 * x ^^^ 4)]", |
765 "Randbedingungen [y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0]", |
765 "Randbedingungen [y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0]", |
766 "Gleichungen equs___"]; |
766 "Gleichungen equs___"]; |
767 val (dI',pI',mI') = ("Biegelinie.thy", ["setzeRandbedingungen","Biegelinien"], |
767 val (dI',pI',mI') = ("Biegelinie", ["setzeRandbedingungen","Biegelinien"], |
768 ["Biegelinien","setzeRandbedingungenEin"]); |
768 ["Biegelinien","setzeRandbedingungenEin"]); |
769 val p = e_pos'; val c = []; |
769 val p = e_pos'; val c = []; |
770 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
770 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
771 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
771 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
772 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
772 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
918 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. --------"; |
918 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. --------"; |
919 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. --------"; |
919 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. --------"; |
920 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. --------"; |
920 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. --------"; |
921 "----- script "; |
921 "----- script "; |
922 val str = |
922 val str = |
923 "Script Belastung2BiegelScript (q__::real) (v_::real) = \ |
923 "Script Belastung2BiegelScript (q__::real) (v_v::real) = \ |
924 \ (let q___ = Take (q_ v_v = q__); \ |
924 \ (let q___ = Take (q_ v_v = q__); \ |
925 \ q___ = ((Rewrite sym_real_minus_eq_cancel True) @@ \ |
925 \ q___ = ((Rewrite sym_real_minus_eq_cancel True) @@ \ |
926 \ (Rewrite Belastung_Querkraft True)) q___; \ |
926 \ (Rewrite Belastung_Querkraft True)) q___; \ |
927 \ (Q__:: bool) = \ |
927 \ (Q__:: bool) = \ |
928 \ (SubProblem (Biegelinie_,[named,integrate,function], \ |
928 \ (SubProblem (Biegelinie_,[named,integrate,function], \ |
952 |
952 |
953 "----- Bsp 7.70 with me"; |
953 "----- Bsp 7.70 with me"; |
954 val fmz = ["Traegerlaenge L","Streckenlast q_0","Biegelinie y", |
954 val fmz = ["Traegerlaenge L","Streckenlast q_0","Biegelinie y", |
955 "Randbedingungen [y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0]", |
955 "Randbedingungen [y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0]", |
956 "FunktionsVariable x"]; |
956 "FunktionsVariable x"]; |
957 val (dI',pI',mI') = ("Biegelinie.thy", ["Biegelinien"], |
957 val (dI',pI',mI') = ("Biegelinie", ["Biegelinien"], |
958 ["IntegrierenUndKonstanteBestimmen2"]); |
958 ["IntegrierenUndKonstanteBestimmen2"]); |
959 val p = e_pos'; val c = []; |
959 val p = e_pos'; val c = []; |
960 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
960 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
961 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
961 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
962 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
962 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
973 \ [Biegelinien,ausBelastung]) \ |
973 \ [Biegelinien,ausBelastung]) \ |
974 \ [REAL q__, REAL v_]); \ |
974 \ [REAL q__, REAL v_]); \ |
975 |
975 |
976 #b# prep_met ... (["Biegelinien","ausBelastung"], |
976 #b# prep_met ... (["Biegelinien","ausBelastung"], |
977 ... ("#Given" ,["Streckenlast q__","FunktionsVariable v_v"]), |
977 ... ("#Given" ,["Streckenlast q__","FunktionsVariable v_v"]), |
978 "Script Belastung2BiegelScript (q__::real) (v_::real) = \ |
978 "Script Belastung2BiegelScript (q__::real) (v_v::real) = \ |
979 |
979 |
980 #a#b# BOTH HAVE 2 ARGUMENTS q__ and v_v ...OK |
980 #a#b# BOTH HAVE 2 ARGUMENTS q__ and v_v ...OK |
981 ########################################################################## |
981 ########################################################################## |
982 BUT THE (#Find, (Funktionen, funs_)) IS NOT COPYNAMED BY funs___ !!!3*_!!! |
982 BUT THE (#Find, (Funktionen, funs_)) IS NOT COPYNAMED BY funs___ !!!3*_!!! |
983 ##########################################################################*) |
983 ##########################################################################*) |
987 "----- Bsp 7.70 with autoCalculate"; |
987 "----- Bsp 7.70 with autoCalculate"; |
988 states:=[]; |
988 states:=[]; |
989 CalcTree [(["Traegerlaenge L","Streckenlast q_0","Biegelinie y", |
989 CalcTree [(["Traegerlaenge L","Streckenlast q_0","Biegelinie y", |
990 "Randbedingungen [Q 0 = q_0 * L, M_b L = 0, y 0 = 0, y' 0 = 0]", |
990 "Randbedingungen [Q 0 = q_0 * L, M_b L = 0, y 0 = 0, y' 0 = 0]", |
991 "FunktionsVariable x"], |
991 "FunktionsVariable x"], |
992 ("Biegelinie.thy", ["Biegelinien"], |
992 ("Biegelinie", ["Biegelinien"], |
993 ["IntegrierenUndKonstanteBestimmen2"]))]; |
993 ["IntegrierenUndKonstanteBestimmen2"]))]; |
994 moveActiveRoot 1; |
994 moveActiveRoot 1; |
995 autoCalculate 1 CompleteCalc; |
995 autoCalculate 1 CompleteCalc; |
996 val ((pt,p),_) = get_calc 1; show_pt pt; |
996 val ((pt,p),_) = get_calc 1; show_pt pt; |
997 if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = |
997 if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = |