274 ML_file "Specify/test-out.sml" |
274 ML_file "Specify/test-out.sml" |
275 ML_file "Specify/specify-step.sml" |
275 ML_file "Specify/specify-step.sml" |
276 ML_file "Specify/specification.sml" |
276 ML_file "Specify/specification.sml" |
277 ML_file "Specify/cas-command.sml" |
277 ML_file "Specify/cas-command.sml" |
278 ML_file "Specify/p-spec.sml" |
278 ML_file "Specify/p-spec.sml" |
279 (*ML_file "Specify/specify.sml ---with M_Model.match_itms_oris broken elementwise input to lists---*) |
279 (*ML_file "Specify/specify.sml" ---with M_Model.match_itms_oris broken elementwise input to lists*) |
280 (*ML_file "Specify/sub-problem.sml" biegel, |> me' with M_Model.match_itms_oris broken*) |
280 ML_file "Specify/sub-problem.sml" |
281 ML_file "Specify/step-specify.sml" |
281 ML_file "Specify/step-specify.sml" |
282 |
282 |
283 ML_file "Interpret/istate.sml" |
283 ML_file "Interpret/istate.sml" |
284 ML_file "Interpret/error-pattern.sml" |
284 ML_file "Interpret/error-pattern.sml" |
285 ML_file "Interpret/li-tool.sml"(*---with M_Model.match_itms_oris broken elementwise input to lists---*) |
285 ML_file "Interpret/li-tool.sml"(*---with M_Model.match_itms_oris broken elementwise input to lists---*) |
382 "[0 = - 1 * c_4 / - 1,\n 0 =\n (- 24 * c_4 + - 24 * L * c_3 + 12 * L \<up> 2 * c_2 + 4 * L \<up> 3 * c +\n - 1 * L \<up> 4 * q_0) /\n - 24,\n 0 = c_2, 0 = (2 * c_2 + 2 * L * c + - 1 * L \<up> 2 * q_0) / 2]" |
382 "[0 = - 1 * c_4 / - 1,\n 0 =\n (- 24 * c_4 + - 24 * L * c_3 + 12 * L \<up> 2 * c_2 + 4 * L \<up> 3 * c +\n - 1 * L \<up> 4 * q_0) /\n - 24,\n 0 = c_2, 0 = (2 * c_2 + 2 * L * c + - 1 * L \<up> 2 * q_0) / 2]" |
383 (*"[0 = - 1 * c_4 / - 1,\n 0 =\n (- 24 * c_4 * EI + - 24 * L * c_3 * EI + 12 * L \<up> 2 * c_2 +\n 4 * L \<up> 3 * c +\n - 1 * L \<up> 4 * q_0) /\n (- 24 * EI),\n 0 = c_2, 0 = (2 * c_2 + 2 * L * c + - 1 * L \<up> 2 * q_0) / 2]" |
383 (*"[0 = - 1 * c_4 / - 1,\n 0 =\n (- 24 * c_4 * EI + - 24 * L * c_3 * EI + 12 * L \<up> 2 * c_2 +\n 4 * L \<up> 3 * c +\n - 1 * L \<up> 4 * q_0) /\n (- 24 * EI),\n 0 = c_2, 0 = (2 * c_2 + 2 * L * c + - 1 * L \<up> 2 * q_0) / 2]" |
384 ^^^ BEFORE fun Calc_Binop.simplify IS EVALUATEDO BY Simplifier.rewrite *) |
384 ^^^ BEFORE fun Calc_Binop.simplify IS EVALUATEDO BY Simplifier.rewrite *) |
385 then () else error "auto method [Biegelinien,setzeRandbedingungenEin] changed"; |
385 then () else error "auto method [Biegelinien,setzeRandbedingungenEin] changed"; |
386 |
386 |
387 |
387 |
388 "----------- SubProblem: me method [Biegelinien,setzeRandbedingungenEin]----------------------"; |
388 "----------- SubProblem: me method [Biegelinien,setzeRandbedingungenEin]----------------------"; |
389 "----------- SubProblem: me method [Biegelinien,setzeRandbedingungenEin]----------------------"; |
389 "----------- SubProblem: me method [Biegelinien,setzeRandbedingungenEin]----------------------"; |
390 "----------- SubProblem: me method [Biegelinien,setzeRandbedingungenEin]----------------------"; |
390 "----------- SubProblem: me method [Biegelinien,setzeRandbedingungenEin]----------------------"; |
391 val fmz = ["Funktionen [Q x = c + - 1 * q_0 * x," ^ |
391 val fmz = ["Funktionen [Q x = c + - 1 * q_0 * x," ^ |
392 "M_b x = c_2 + c * x + - 1 * q_0 / 2 * x \<up> 2," ^ |
392 "M_b x = c_2 + c * x + - 1 * q_0 / 2 * x \<up> 2," ^ |