equal
deleted
inserted
replaced
266 ("PolyEq",["univariate","equation"],["no_met"]))]; |
266 ("PolyEq",["univariate","equation"],["no_met"]))]; |
267 Iterator 1; |
267 Iterator 1; |
268 moveActiveRoot 1; |
268 moveActiveRoot 1; |
269 |
269 |
270 autoCalculate 1 CompleteCalc; |
270 autoCalculate 1 CompleteCalc; |
271 val ((pt,p),_) = get_calc 1; show_pt pt; |
271 val ((pt,p),_) = get_calc 1; Test_Tool.show_pt pt; |
272 interSteps 1 ([1],Res) |
272 interSteps 1 ([1],Res) |
273 (*BEFORE Isabelle2002 --> 2011: <ERROR> no Rewrite_Set... </ERROR> ?see fun prep_rls?*); |
273 (*BEFORE Isabelle2002 --> 2011: <ERROR> no Rewrite_Set... </ERROR> ?see fun prep_rls?*); |
274 |
274 |
275 |
275 |
276 "----------- rls d2_polyeq_bdv_only_simplify ---------------------"; |
276 "----------- rls d2_polyeq_bdv_only_simplify ---------------------"; |