|
walther@59781
|
1 |
(* Title: "Minisubpbl/200-start-method-NEXT_STEP.sml"
|
|
walther@59781
|
2 |
Author: Walther Neuper 1105
|
|
walther@59781
|
3 |
(c) copyright due to lincense terms.
|
|
walther@59781
|
4 |
*)
|
|
walther@59781
|
5 |
|
|
walther@59781
|
6 |
"----------- Minisubplb/200-start-method-NEXT_STEP.sml ---------------------------------------";
|
|
walther@59781
|
7 |
"----------- Minisubplb/200-start-method-NEXT_STEP.sml ---------------------------------------";
|
|
walther@59781
|
8 |
"----------- Minisubplb/200-start-method-NEXT_STEP.sml ---------------------------------------";
|
|
walther@59781
|
9 |
val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];
|
|
walther@59781
|
10 |
val (dI',pI',mI') =
|
|
walther@59781
|
11 |
("Test", ["sqroot-test","univariate","equation","test"],
|
|
walther@59781
|
12 |
["Test","squ-equ-test-subpbl1"]);
|
|
walther@59781
|
13 |
val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
|
|
walther@59787
|
14 |
(*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Model_Problem*)
|
|
walther@59787
|
15 |
(*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Specify_Theory*)
|
|
walther@59787
|
16 |
(*[], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Specify_Problem ["sqroot-test", "univariate", "equation", "test"*)
|
|
walther@59787
|
17 |
(*[], Met*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Specify_Method ["Test", "squ-equ-test-subpbl1"]*)
|
|
walther@59787
|
18 |
(*[1], Frm*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Apply_Method ["Test", "squ-equ-test-subpbl1"]*)
|
|
walther@59787
|
19 |
(*[1], Res*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Rewrite_Set "norm_equation"*)
|
|
walther@59787
|
20 |
(*[2], Res*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Rewrite_Set "Test_simplify"*)
|
|
walther@59787
|
21 |
(*[3], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(* Subproblem ("Test", ["LINEAR", "univariate", "equation", "test"])*)
|
|
walther@59787
|
22 |
(*[3], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Model_Problem*)
|
|
walther@59787
|
23 |
(*[3], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Specify_Theory "Test"*)
|
|
walther@59787
|
24 |
(*[3], Pbl*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Specify_Problem ["LINEAR", "univariate", "equation", "test"]*)
|
|
walther@59787
|
25 |
(*[3], Met*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Specify_Method ["Test", "solve_linear"]*)
|
|
walther@59787
|
26 |
(*[3, 1], Frm*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Apply_Method ["Test", "solve_linear"]*)
|
|
walther@59787
|
27 |
(*[3, 1], Res*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Rewrite_Set_Inst (["(''bdv'', x)"], "isolate_bdv")*)
|