47 val pIopt = get_pblID (pt,ip); |
47 val pIopt = get_pblID (pt,ip); |
48 ip = ([],Res); "false"; |
48 ip = ([],Res); "false"; |
49 tacis; " = []"; |
49 tacis; " = []"; |
50 pIopt; (* = SOME ["Inverse", "Z_Transform", "SignalProcessing"]*) |
50 pIopt; (* = SOME ["Inverse", "Z_Transform", "SignalProcessing"]*) |
51 member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); "false"; |
51 member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); "false"; |
52 (*nxt_solve_ (pt,ip); "WAS isalist2list applied to NON-list 'no_meth'" |
52 (*do_solve_step (pt,ip); "WAS isalist2list applied to NON-list 'no_meth'" |
53 THIS MEANS: replace no_meth by [no_meth] in Script.*) |
53 THIS MEANS: replace no_meth by [no_meth] in Script.*) |
54 (*WAS val ("helpless",_) = step p ((pt, e_pos'),[]) *) |
54 (*WAS val ("helpless",_) = step p ((pt, e_pos'),[]) *) |
55 (*WAS val (p,_,f,nxt,_,pt) = me nxt p [] pt; "Empty_Tac instead SubProblem";*) |
55 (*WAS val (p,_,f,nxt,_,pt) = me nxt p [] pt; "Empty_Tac instead SubProblem";*) |
56 |
56 |
57 "----------- why not nxt = Model_Problem here ? ---------"; |
57 "----------- why not nxt = Model_Problem here ? ---------"; |
67 ip = ([],Res); " = false"; |
67 ip = ([],Res); " = false"; |
68 tacis; " = []"; |
68 tacis; " = []"; |
69 pIopt (* = SOME ["Inverse", "Z_Transform", "SignalProcessing"]*); |
69 pIopt (* = SOME ["Inverse", "Z_Transform", "SignalProcessing"]*); |
70 member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); " = false"; |
70 member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); " = false"; |
71 (* ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ leads into |
71 (* ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ leads into |
72 nxt_solve_, which is definitely WRONG (should be nxt_specify_ for FIND_ADD). |
72 do_solve_step, which is definitely WRONG (should be nxt_specify_ for FIND_ADD). |
73 This ERROR seems to be introduced together with ctxt, concerns Apply_Method without init_form. |
73 This ERROR seems to be introduced together with ctxt, concerns Apply_Method without init_form. |
74 See TODO.txt |
74 See TODO.txt |
75 *) |
75 *) |
76 |
76 |
77 "----------- fun factors_from_solution ------------------"; |
77 "----------- fun factors_from_solution ------------------"; |