16 "----------- TODO: make steps around Subproblem more consistent --------------------------------"; |
16 "----------- TODO: make steps around Subproblem more consistent --------------------------------"; |
17 "----------- TODO: make steps around Subproblem more consistent --------------------------------"; |
17 "----------- TODO: make steps around Subproblem more consistent --------------------------------"; |
18 "----------- TODO: make steps around Subproblem more consistent --------------------------------"; |
18 "----------- TODO: make steps around Subproblem more consistent --------------------------------"; |
19 (* compare biegelinie-4.sml *) |
19 (* compare biegelinie-4.sml *) |
20 val (tac as Model_Problem (*["Biegelinien"]*), (pt, p as ([], Pbl))) = |
20 val (tac as Model_Problem (*["Biegelinien"]*), (pt, p as ([], Pbl))) = |
21 CalcTreeTEST' [(["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
21 Test_Code.init_calc' @{context} [(["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
22 "Randbedingungen [y 0 = (0::real), y L = 0, M_b 0 = 0, M_b L = 0]", "FunktionsVariable x", |
22 "Randbedingungen [y 0 = (0::real), y L = 0, M_b 0 = 0, M_b L = 0]", "FunktionsVariable x", |
23 "GleichungsVariablen [c, c_2, c_3, c_4]", "AbleitungBiegelinie dy"], |
23 "GleichungsVariablen [c, c_2, c_3, c_4]", "AbleitungBiegelinie dy"], |
24 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]))] |
24 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]))] |
25 |
25 |
26 val (tac as Model_Problem (*["vonBelastungZu", "Biegelinien"]*), (pt, p as ([1], Pbl))) = |
26 val (tac as Model_Problem (*["vonBelastungZu", "Biegelinien"]*), (pt, p as ([1], Pbl))) = |
37 val fmz = ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
37 val fmz = ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y", |
38 "Randbedingungen [y 0 = (0::real), y L = 0, M_b 0 = 0, M_b L = 0]", "FunktionsVariable x", |
38 "Randbedingungen [y 0 = (0::real), y L = 0, M_b 0 = 0, M_b L = 0]", "FunktionsVariable x", |
39 "GleichungsVariablen [c, c_2, c_3, c_4]", "AbleitungBiegelinie dy"]; |
39 "GleichungsVariablen [c, c_2, c_3, c_4]", "AbleitungBiegelinie dy"]; |
40 val refs = |
40 val refs = |
41 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]); |
41 ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]); |
42 (*[], Pbl*)val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, refs)]; |
42 (*[], Pbl*)val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, refs)]; |
43 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Model_Problem*) |
43 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Model_Problem*) |
44 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Add_Given "Traegerlaenge L"*) |
44 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Add_Given "Traegerlaenge L"*) |
45 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Add_Given "Streckenlast q_0"*) |
45 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Add_Given "Streckenlast q_0"*) |
46 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Add_Find "Biegelinie y"*) |
46 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Add_Find "Biegelinie y"*) |
47 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Add_Relation "Randbedingungen [y 0 = 0]"*) |
47 (*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Add_Relation "Randbedingungen [y 0 = 0]"*) |