59 (*("#Where",["0 < l_"]), ...wait for < and handling Arbfix*) |
59 (*("#Where",["0 < l_"]), ...wait for < and handling Arbfix*) |
60 ("#Find" ,["Biegelinie b_"]), |
60 ("#Find" ,["Biegelinie b_"]), |
61 ("#Relate",["RandbedingungenBiegung rb_","RandbedingungenMoment rm_"]) |
61 ("#Relate",["RandbedingungenBiegung rb_","RandbedingungenMoment rm_"]) |
62 ], |
62 ], |
63 append_rls "e_rls" e_rls [], |
63 append_rls "e_rls" e_rls [], |
64 None, |
64 NONE, |
65 [["IntegrierenUndKonstanteBestimmen"]])); |
65 [["IntegrierenUndKonstanteBestimmen"]])); |
66 |
66 |
67 store_pbt |
67 store_pbt |
68 (prep_pbt Biegelinie.thy "pbl_bieg_momg" [] e_pblID |
68 (prep_pbt Biegelinie.thy "pbl_bieg_momg" [] e_pblID |
69 (["MomentGegebene","Biegelinien"], |
69 (["MomentGegebene","Biegelinien"], |
70 [], |
70 [], |
71 append_rls "e_rls" e_rls [], |
71 append_rls "e_rls" e_rls [], |
72 None, |
72 NONE, |
73 [["IntegrierenUndKonstanteBestimmen","2xIntegrieren"]])); |
73 [["IntegrierenUndKonstanteBestimmen","2xIntegrieren"]])); |
74 |
74 |
75 store_pbt |
75 store_pbt |
76 (prep_pbt Biegelinie.thy "pbl_bieg_einf" [] e_pblID |
76 (prep_pbt Biegelinie.thy "pbl_bieg_einf" [] e_pblID |
77 (["einfache","Biegelinien"], |
77 (["einfache","Biegelinien"], |
78 [], |
78 [], |
79 append_rls "e_rls" e_rls [], |
79 append_rls "e_rls" e_rls [], |
80 None, |
80 NONE, |
81 [["IntegrierenUndKonstanteBestimmen","4x4System"]])); |
81 [["IntegrierenUndKonstanteBestimmen","4x4System"]])); |
82 |
82 |
83 store_pbt |
83 store_pbt |
84 (prep_pbt Biegelinie.thy "pbl_bieg_momquer" [] e_pblID |
84 (prep_pbt Biegelinie.thy "pbl_bieg_momquer" [] e_pblID |
85 (["QuerkraftUndMomentBestimmte","Biegelinien"], |
85 (["QuerkraftUndMomentBestimmte","Biegelinien"], |
86 [], |
86 [], |
87 append_rls "e_rls" e_rls [], |
87 append_rls "e_rls" e_rls [], |
88 None, |
88 NONE, |
89 [["IntegrierenUndKonstanteBestimmen","1xIntegrieren"]])); |
89 [["IntegrierenUndKonstanteBestimmen","1xIntegrieren"]])); |
90 |
90 |
91 store_pbt |
91 store_pbt |
92 (prep_pbt Biegelinie.thy "pbl_bieg_vonq" [] e_pblID |
92 (prep_pbt Biegelinie.thy "pbl_bieg_vonq" [] e_pblID |
93 (["vonBelastungZu","Biegelinien"], |
93 (["vonBelastungZu","Biegelinien"], |
94 [("#Given" ,["Streckenlast q__","FunktionsVariable v_"]), |
94 [("#Given" ,["Streckenlast q__","FunktionsVariable v_"]), |
95 ("#Find" ,["Funktionen funs___"])], |
95 ("#Find" ,["Funktionen funs___"])], |
96 append_rls "e_rls" e_rls [], |
96 append_rls "e_rls" e_rls [], |
97 None, |
97 NONE, |
98 [["Biegelinien","ausBelastung"]])); |
98 [["Biegelinien","ausBelastung"]])); |
99 |
99 |
100 store_pbt |
100 store_pbt |
101 (prep_pbt Biegelinie.thy "pbl_bieg_randbed" [] e_pblID |
101 (prep_pbt Biegelinie.thy "pbl_bieg_randbed" [] e_pblID |
102 (["setzeRandbedingungen","Biegelinien"], |
102 (["setzeRandbedingungen","Biegelinien"], |
103 [("#Given" ,["Funktionen funs_","Randbedingungen rb_"]), |
103 [("#Given" ,["Funktionen funs_","Randbedingungen rb_"]), |
104 ("#Find" ,["Gleichungen equs___"])], |
104 ("#Find" ,["Gleichungen equs___"])], |
105 append_rls "e_rls" e_rls [], |
105 append_rls "e_rls" e_rls [], |
106 None, |
106 NONE, |
107 [["Biegelinien","setzeRandbedingungenEin"]])); |
107 [["Biegelinien","setzeRandbedingungenEin"]])); |
108 |
108 |
109 store_pbt |
109 store_pbt |
110 (prep_pbt Biegelinie.thy "pbl_equ_fromfun" [] e_pblID |
110 (prep_pbt Biegelinie.thy "pbl_equ_fromfun" [] e_pblID |
111 (["makeFunctionTo","equation"], |
111 (["makeFunctionTo","equation"], |
112 [("#Given" ,["functionEq fun_","substitution sub_"]), |
112 [("#Given" ,["functionEq fun_","substitution sub_"]), |
113 ("#Find" ,["equality equ___"])], |
113 ("#Find" ,["equality equ___"])], |
114 append_rls "e_rls" e_rls [], |
114 append_rls "e_rls" e_rls [], |
115 None, |
115 NONE, |
116 [["Equation","fromFunction"]])); |
116 [["Equation","fromFunction"]])); |
117 |
117 |
118 |
118 |
119 |
119 |
120 (** methods **) |
120 (** methods **) |