260 |
260 |
261 |
261 |
262 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------"; |
262 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------"; |
263 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------"; |
263 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------"; |
264 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------"; |
264 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------"; |
265 reset_states (); |
265 States.reset (); |
266 CalcTree |
266 CalcTree |
267 [(["equality ((3::real)*x - 1 - (5*x - (2 - 4*x)) = - 11)", "solveFor x", "solutions L"], |
267 [(["equality ((3::real)*x - 1 - (5*x - (2 - 4*x)) = - 11)", "solveFor x", "solutions L"], |
268 ("PolyEq",["univariate", "equation"],["no_met"]))]; |
268 ("PolyEq",["univariate", "equation"],["no_met"]))]; |
269 Iterator 1; |
269 Iterator 1; |
270 moveActiveRoot 1; |
270 moveActiveRoot 1; |
271 |
271 |
272 autoCalculate 1 CompleteCalc; |
272 autoCalculate 1 CompleteCalc; |
273 val ((pt,p),_) = get_calc 1; Test_Tool.show_pt pt; |
273 val ((pt,p),_) = States.get_calc 1; Test_Tool.show_pt pt; |
274 interSteps 1 ([1],Res) |
274 interSteps 1 ([1],Res) |
275 (*BEFORE Isabelle2002 --> 2011: <ERROR> no Rewrite_Set... </ERROR> ?see fun prep_rls?*); |
275 (*BEFORE Isabelle2002 --> 2011: <ERROR> no Rewrite_Set... </ERROR> ?see fun prep_rls?*); |
276 |
276 |
277 |
277 |
278 "----------- rls d2_polyeq_bdv_only_simplify ---------------------"; |
278 "----------- rls d2_polyeq_bdv_only_simplify ---------------------"; |