70 ("Test.thy",["sqroot-test","univariate","equation","test"], |
70 ("Test.thy",["sqroot-test","univariate","equation","test"], |
71 ["Test","squ-equ-test-subpbl1"]); |
71 ["Test","squ-equ-test-subpbl1"]); |
72 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
72 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
73 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
73 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
74 (* nxt = Add_Given "equality (x + 1 = 2)" |
74 (* nxt = Add_Given "equality (x + 1 = 2)" |
75 (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p)); |
75 (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p)); |
76 *) |
76 *) |
77 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
77 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
78 (* (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p)); |
78 (* (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p)); |
79 *) |
79 *) |
80 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
80 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
81 (* (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p)); |
81 (* (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p)); |
82 *) |
82 *) |
83 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
83 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
84 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
84 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
85 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
85 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
86 "ctree.sml-------------- get_allpos' new ------------------------\""; |
86 "ctree.sml-------------- get_allpos' new ------------------------\""; |
419 ("Test.thy",["sqroot-test","univariate","equation","test"], |
419 ("Test.thy",["sqroot-test","univariate","equation","test"], |
420 ["Test","squ-equ-test-subpbl1"]); |
420 ["Test","squ-equ-test-subpbl1"]); |
421 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
421 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
422 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
422 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
423 (* nxt = Add_Given "equality (x + 1 = 2)" |
423 (* nxt = Add_Given "equality (x + 1 = 2)" |
424 (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p)); |
424 (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p)); |
425 *) |
425 *) |
426 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
426 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
427 (* (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p)); |
427 (* (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p)); |
428 *) |
428 *) |
429 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
429 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
430 (* (writeln o (itms2str thy)) (get_obj g_pbl pt (fst p)); |
430 (* (writeln o (itms2str_ ctxt)) (get_obj g_pbl pt (fst p)); |
431 *) |
431 *) |
432 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
432 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
433 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
433 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
434 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
434 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
435 (*###cappend_form: pos =[1] ... while calculating nxt, which pt is dropped |
435 (*###cappend_form: pos =[1] ... while calculating nxt, which pt is dropped |