wneuper@59492
|
1 |
(* Title: 450-Rewrite_Set_Inst.sml
|
wneuper@59492
|
2 |
Author: Walther Neuper 1803
|
wneuper@59492
|
3 |
(c) copyright due to lincense terms.
|
wneuper@59492
|
4 |
*)
|
wneuper@59492
|
5 |
|
wneuper@59492
|
6 |
"----------- Minisubplb/450-Rewrite_Set_Inst.sml -----------------";
|
wneuper@59492
|
7 |
"----------- Minisubplb/450-Rewrite_Set_Inst.sml -----------------";
|
wneuper@59492
|
8 |
"----------- Minisubplb/450-Rewrite_Set_Inst.sml -----------------";
|
walther@59997
|
9 |
val fmz = ["equality (x+1=(2::real))", "solveFor x", "solutions L"];
|
wneuper@59492
|
10 |
val (dI',pI',mI') =
|
walther@59997
|
11 |
("Test", ["sqroot-test", "univariate", "equation", "test"],
|
walther@59997
|
12 |
["Test", "squ-equ-test-subpbl1"]);
|
Walther@60571
|
13 |
val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))];
|
wneuper@59492
|
14 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
15 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
16 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
17 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
18 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
19 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
Walther@60725
|
20 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; val Apply_Method ["Test", "squ-equ-test-subpbl1"] = nxt;
|
wneuper@59492
|
21 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
22 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
Walther@60725
|
23 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; val Subproblem ("Test", ["LINEAR", "univariate", "equation", "test"]) = nxt;
|
wneuper@59492
|
24 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
25 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
26 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
27 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
28 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
29 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
wneuper@59492
|
30 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt;
|
Walther@60725
|
31 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; val Apply_Method ["Test", "solve_linear"] = nxt;
|
Walther@60725
|
32 |
val (p,_,f,nxt,_,pt) = me nxt p [] pt; val Rewrite_Set_Inst (["(''bdv'', x)"], "isolate_bdv") = nxt;
|
Walther@60529
|
33 |
|