1 (* biegelinie-3.sml |
1 (* "Knowledge/biegelinie-3.sml" |
2 author: Walther Neuper 190515 |
2 author: Walther Neuper 190515 |
3 (c) due to copyright terms |
3 (c) due to copyright terms |
4 *) |
4 *) |
5 "table of contents -----------------------------------------------"; |
5 "table of contents -----------------------------------------------"; |
6 "-----------------------------------------------------------------"; |
6 "-----------------------------------------------------------------"; |
7 "----------- see biegelinie-1.sml---------------------------------"; |
7 "----------- see biegelinie-1.sml---------------------------------"; |
|
8 (* problems with generalised handling of meths which extend the model of a probl |
|
9 since 98298342fb6d: wait for review of whole model-specify phase *) |
8 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. me -----"; |
10 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. me -----"; |
9 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. auto ---"; |
11 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. auto ---"; |
10 "-----------------------------------------------------------------"; |
12 "-----------------------------------------------------------------"; |
11 "-----------------------------------------------------------------"; |
13 "-----------------------------------------------------------------"; |
12 "-----------------------------------------------------------------"; |
14 "-----------------------------------------------------------------"; |
322 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
324 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
323 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
325 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
324 (*----------- 80 -----------*) |
326 (*----------- 80 -----------*) |
325 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; |
326 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; |
327 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; |
|
330 if p = ([2, 1], Pbl) andalso |
|
331 f = PpcKF (Problem [], {Find = [Incompl "equality"], Given = [Incompl "functionEq", Incompl "substitution"], Relate = [], Where = [], With = []}) |
|
332 then |
|
333 case nxt of |
|
334 ("Add_Given", Add_Given "functionEq (hd [])") => ((*here is an error in partial_function*)) |
|
335 | _ => error "me biegelinie changed 1" |
|
336 else error "me biegelinie changed 2"; |
|
337 |
|
338 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
|
339 nxt;(* = ("Tac ", Tac "[error] appl_add: is_known: seek_oridts: input ('substitution (NTH (1 + -4) [])') not found in oris (typed)")*) |
|
340 (*----- due to problems with generalised handling of meths which extend the model of a probl |
328 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
341 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; |
342 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
330 (*----------- 90 -----------*) |
343 (*----------- 90 -----------*) |
331 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
344 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
332 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
345 val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt; |
371 Incompl "solveForVars [c]"], |
384 Incompl "solveForVars [c]"], |
372 Relate = [], Where = [], With = []}) => () |
385 Relate = [], Where = [], With = []}) => () |
373 | _ => error "Bsp.7.70 me changed 1") |
386 | _ => error "Bsp.7.70 me changed 1") |
374 | _ => error "Bsp.7.70 me changed 2" |
387 | _ => error "Bsp.7.70 me changed 2" |
375 else error "Bsp.7.70 me changed 3"; |
388 else error "Bsp.7.70 me changed 3"; |
376 |
389 -----*) |
|
390 (* NOTE: ^^^^^^^^^^^^^^^^^ no progress already in isabisac15, but not noticed ^^^^^^^^^^^^^^^^^ *) |
377 |
391 |
378 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. auto ---"; |
392 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. auto ---"; |
379 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. auto ---"; |
393 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. auto ---"; |
380 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. auto ---"; |
394 "----------- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. auto ---"; |
381 (* the error in this test might be independent from introduction of y, dy |
395 (* the error in this test might be independent from introduction of y, dy |
419 |
433 |
420 val ((pt,_),_) = get_calc 1; |
434 val ((pt,_),_) = get_calc 1; |
421 val ip = get_pos 1 1; |
435 val ip = get_pos 1 1; |
422 val (Form f, tac, asms) = pt_extract (pt, ip); |
436 val (Form f, tac, asms) = pt_extract (pt, ip); |
423 |
437 |
|
438 if ip = ([2, 1, 1], Frm) andalso |
|
439 term2str f = "hd []" |
|
440 then |
|
441 case tac of |
|
442 SOME Empty_Tac => () |
|
443 | _ => error "ERROR biegel.7.70 changed 1" |
|
444 else error "ERROR biegel.7.70 changed 2"; |
|
445 |
|
446 (*----- this state has been reached shortly after 98298342fb6d: |
424 if ip = ([3, 8, 1], Res) andalso |
447 if ip = ([3, 8, 1], Res) andalso |
425 term2str f = "[-1 * c_4 / -1 = 0,\n (6 * c_4 * EI + 6 * L * c_3 * EI + -3 * L ^^^ 2 * c_2 + -1 * L ^^^ 3 * c) /\n (6 * EI) =\n L ^^^ 4 * q_0 / (-24 * EI),\n c_2 = 0, c_2 + L * c = L ^^^ 2 * q_0 / 2]" |
448 term2str f = "[-1 * c_4 / -1 = 0,\n (6 * c_4 * EI + 6 * L * c_3 * EI + -3 * L ^^^ 2 * c_2 + -1 * L ^^^ 3 * c) /\n (6 * EI) =\n L ^^^ 4 * q_0 / (-24 * EI),\n c_2 = 0, c_2 + L * c = L ^^^ 2 * q_0 / 2]" |
426 then |
449 then |
427 case tac of |
450 case tac of |
428 SOME (Check_Postcond ["normalise", "4x4", "LINEAR", "system"]) => () |
451 SOME (Check_Postcond ["normalise", "4x4", "LINEAR", "system"]) => () |
429 | _ => error "ERROR biegel.7.70 changed 1" |
452 | _ => error "ERROR biegel.7.70 changed 1" |
430 else error "ERROR biegel.7.70 changed 2"; |
453 else error "ERROR biegel.7.70 changed 2"; |
|
454 *) |