90 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
90 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
91 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
91 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
92 val (p''',_,f,nxt''',_,pt''') = me nxt p [1] pt; |
92 val (p''',_,f,nxt''',_,pt''') = me nxt p [1] pt; |
93 f2str f = "[x = 1 / 5]"; |
93 f2str f = "[x = 1 / 5]"; |
94 case nxt of ("Check_elementwise", Check_elementwise "Assumptions") => () | _ => ((*not checked before*)); |
94 case nxt of ("Check_elementwise", Check_elementwise "Assumptions") => () | _ => ((*not checked before*)); |
95 "~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), _, (pt:ctree)) = (nxt, p, c, pt); |
95 "~~~~~ fun me, args:"; val (tac, (p:pos'), _, (pt:ctree)) = (nxt, p, c, pt); |
96 val (pt, p) = case locatetac tac (pt,p) of |
96 val (pt, p) = case locatetac tac (pt,p) of |
97 ("ok", (_, _, ptp)) => ptp | _ => error "--- solve (1/x = 5.. locatetac"; |
97 ("ok", (_, _, ptp)) => ptp | _ => error "--- solve (1/x = 5.. locatetac"; |
98 "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), [])) |
98 "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), [])) |
99 val pIopt = get_pblID (pt,ip); (*= SOME ["rational", "univariate", "equation"] |
99 val pIopt = get_pblID (pt,ip); (*= SOME ["rational", "univariate", "equation"] |
100 1-1 associated to metID ["RatEq", "solve_rat_equation"]*) |
100 1-1 associated to metID ["RatEq", "solve_rat_equation"]*) |
274 |
274 |
275 The step-into-source contains an error; this error can be detected by |
275 The step-into-source contains an error; this error can be detected by |
276 test --- 'trace_script' from outside 'fun me '--- |
276 test --- 'trace_script' from outside 'fun me '--- |
277 *) |
277 *) |
278 val (pt''', p''') = (pt, p); |
278 val (pt''', p''') = (pt, p); |
279 "~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), _, (pt:ctree)) = (nxt, p, c, pt); |
279 "~~~~~ fun me, args:"; val (tac, (p:pos'), _, (pt:ctree)) = (nxt, p, c, pt); |
280 val (pt, p) = case locatetac tac (pt,p) of |
280 val (pt, p) = case locatetac tac (pt,p) of |
281 ("ok", (_, _, ptp)) => ptp | _ => error "error in test setup"; |
281 ("ok", (_, _, ptp)) => ptp | _ => error "error in test setup"; |
282 "~~~~~ step, args:"; val (((ip as (_,p_)):pos'), ((ptp as (pt,p), tacis):calcstate)) = |
282 "~~~~~ step, args:"; val (((ip as (_,p_)):pos'), ((ptp as (pt,p), tacis):calcstate)) = |
283 (p, ((pt, e_pos'),[])); |
283 (p, ((pt, e_pos'),[])); |
284 val pIopt = get_pblID (pt,ip); |
284 val pIopt = get_pblID (pt,ip); |