6 val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"]; |
6 val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"]; |
7 val (dI',pI',mI') = |
7 val (dI',pI',mI') = |
8 ("Test", ["sqroot-test","univariate","equation","test"], |
8 ("Test", ["sqroot-test","univariate","equation","test"], |
9 ["Test","squ-equ-test-subpbl1"]); |
9 ["Test","squ-equ-test-subpbl1"]); |
10 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
10 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
11 val (p,_,f,nxt,_,pt) = me nxt p [] pt; |
11 case nxt of ("Model_Problem", _) => () |
|
12 | _ => error "minisubpbl: CalcTreeTEST has no nxt = Model_Problem"; |
|
13 |