equal
deleted
inserted
replaced
80 rewrite_set_ thy false srls |
80 rewrite_set_ thy false srls |
81 (TermC.str2term"argument_in (lhs (M_b 0 = 0))"); |
81 (TermC.str2term"argument_in (lhs (M_b 0 = 0))"); |
82 if UnparseC.term x1__ = "0" then () |
82 if UnparseC.term x1__ = "0" then () |
83 else error "biegelinie.sml simplify argument_in (lhs (M_b 0 = 0)"; |
83 else error "biegelinie.sml simplify argument_in (lhs (M_b 0 = 0)"; |
84 |
84 |
85 (** )Rewrite.trace_on := true;( **) |
85 Rewrite.trace_on := false; (*true false*) |
86 (**)Rewrite.trace_on := false;(**) |
|
87 |
86 |
88 "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----"; |
87 "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----"; |
89 "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----"; |
88 "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----"; |
90 "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----"; |
89 "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----"; |
91 val fmz = ["functionEq (M_b x = c_2 + c * x + - 1 * q_0 / 2 * x \<up> 2)", |
90 val fmz = ["functionEq (M_b x = c_2 + c * x + - 1 * q_0 / 2 * x \<up> 2)", |