|
neuper@41998
|
1 |
(* Title: 500-met-sub-to-root.sml
|
|
neuper@41998
|
2 |
Author: Walther Neuper 1105
|
|
neuper@41998
|
3 |
(c) copyright due to lincense terms.
|
|
neuper@41998
|
4 |
*)
|
|
neuper@41998
|
5 |
|
|
neuper@42010
|
6 |
"----------- Minisubplb/500-met-sub-to-root.sml ------------------";
|
|
neuper@42010
|
7 |
"----------- Minisubplb/500-met-sub-to-root.sml ------------------";
|
|
neuper@42010
|
8 |
"----------- Minisubplb/500-met-sub-to-root.sml ------------------";
|
|
neuper@41998
|
9 |
val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];
|
|
neuper@41998
|
10 |
val (dI',pI',mI') =
|
|
neuper@42000
|
11 |
("Test", ["sqroot-test","univariate","equation","test"],
|
|
neuper@42000
|
12 |
["Test","squ-equ-test-subpbl1"]);
|
|
neuper@41998
|
13 |
val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
|
|
neuper@41998
|
14 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
15 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
16 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
17 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
18 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
19 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
20 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Apply_Method ["Test", "squ-equ-test-subpbl1"]*)
|
|
neuper@42000
|
21 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
22 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@55279
|
23 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Subp ["LINEAR", "univariate", "equation", "test"]*)
|
|
neuper@42000
|
24 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
25 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
26 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
27 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
28 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
29 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
30 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
|
neuper@42000
|
31 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Apply_Method ["Test", "solve_linear"]*)
|
|
neuper@42020
|
32 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Rewrite_Set_Inst isolate_bdv*);
|
|
neuper@42000
|
33 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Rewrite_Set "Test_simplify"*);
|
|
neuper@55279
|
34 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Check_Postcond ["LINEAR","univariate", ...]) *);
|
|
neuper@42020
|
35 |
val (pt''', p''') = (pt, p);
|
|
neuper@42016
|
36 |
|
|
neuper@42023
|
37 |
(*WN110521 worked without testing*)
|
|
neuper@42020
|
38 |
|
|
neuper@42020
|
39 |
val (p,_,f,nxt,_,pt) = me nxt p''' [] pt'''; (*nxt = Check_elementwise "Assumptions"*)
|
|
wneuper@59253
|
40 |
case nxt of ("Check_elementwise", Check_elementwise "Assumptions") => ()
|
|
wneuper@59253
|
41 |
| _ => error "Check_elementwise changed; after switch sub-->root-method";
|
|
neuper@42020
|
42 |
|