39 val (dI',pI',mI') = |
39 val (dI',pI',mI') = |
40 ("Isac_Knowledge",["logarithmic", "univariate", "equation", "test"], |
40 ("Isac_Knowledge",["logarithmic", "univariate", "equation", "test"], |
41 ["Test", "solve_log"]); |
41 ["Test", "solve_log"]); |
42 val p = e_pos'; val c = []; |
42 val p = e_pos'; val c = []; |
43 (*============ inhibit exn 110726 ============================================== |
43 (*============ inhibit exn 110726 ============================================== |
44 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
44 val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))]; |
45 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
45 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
46 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
46 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
47 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
47 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
48 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
48 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
49 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
49 val (p,_,f,nxt,_,pt) = me nxt p c pt; |