34 atomty t; |
34 atomty t; |
35 |
35 |
36 |
36 |
37 val fmz = ["equality ((2 log x) = 3)","solveFor x", "solutions L"]; |
37 val fmz = ["equality ((2 log x) = 3)","solveFor x", "solutions L"]; |
38 val (dI',pI',mI') = |
38 val (dI',pI',mI') = |
39 ("Isac.thy",["logarithmic","univariate","equation","test"], |
39 ("Isac",["logarithmic","univariate","equation","test"], |
40 ["Test","solve_log"]); |
40 ["Test","solve_log"]); |
41 val p = e_pos'; val c = []; |
41 val p = e_pos'; val c = []; |
42 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
42 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
43 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
43 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
44 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
44 val (p,_,f,nxt,_,pt) = me nxt p c pt; |