468 |
468 |
469 "--------- CAS-command on ([],Pbl) -------------------------------"; |
469 "--------- CAS-command on ([],Pbl) -------------------------------"; |
470 "--------- CAS-command on ([],Pbl) -------------------------------"; |
470 "--------- CAS-command on ([],Pbl) -------------------------------"; |
471 "--------- CAS-command on ([],Pbl) -------------------------------"; |
471 "--------- CAS-command on ([],Pbl) -------------------------------"; |
472 val (p,_,f,nxt,_,pt) = |
472 val (p,_,f,nxt,_,pt) = |
473 CalcTreeTEST [([], ("empty_thy_id", ["empty_probl_id"], ["empty_meth_id"]))]; |
473 CalcTreeTEST [([], References.empty)]; |
474 val ifo = "solve(x+1=2,x)"; |
474 val ifo = "solve(x+1=2,x)"; |
475 val (_,(_,c,(pt,p))) = Step_Solve.by_term (pt,p) "solve(x+1=2,x)"; |
475 val (_,(_,c,(pt,p))) = Step_Solve.by_term (pt,p) "solve(x+1=2,x)"; |
476 (* |
476 (* |
477 This trick \<up> \<up> \<up> micked input of \<up> \<up> \<up> \<up> \<up> ^^ in the front-end. |
477 This trick \<up> \<up> \<up> micked input of \<up> \<up> \<up> \<up> \<up> ^^ in the front-end. |
478 The trick worked in changeset fbaff8cf0179, it does not work in 59c5dd27d589 anymore |
478 The trick worked in changeset fbaff8cf0179, it does not work in 59c5dd27d589 anymore |
490 |
490 |
491 "--------- CAS-command on ([],Pbl) FE-interface ------------------"; |
491 "--------- CAS-command on ([],Pbl) FE-interface ------------------"; |
492 "--------- CAS-command on ([],Pbl) FE-interface ------------------"; |
492 "--------- CAS-command on ([],Pbl) FE-interface ------------------"; |
493 "--------- CAS-command on ([],Pbl) FE-interface ------------------"; |
493 "--------- CAS-command on ([],Pbl) FE-interface ------------------"; |
494 reset_states (); |
494 reset_states (); |
495 CalcTree [([], ("empty_thy_id", ["empty_probl_id"], ["empty_meth_id"]))]; |
495 CalcTree [([], References.empty)]; |
496 Iterator 1; |
496 Iterator 1; |
497 moveActiveRoot 1; |
497 moveActiveRoot 1; |
498 replaceFormula 1 "solve(x+1=2,x)"; |
498 replaceFormula 1 "solve(x+1=2,x)"; |
499 autoCalculate 1 CompleteCalc; |
499 autoCalculate 1 CompleteCalc; |
500 val ((pt,p),_) = get_calc 1; |
500 val ((pt,p),_) = get_calc 1; |
642 | _ => raise |
642 | _ => raise |
643 error "diff.sml behav.changed for CAS Diff (..., x)"; |
643 error "diff.sml behav.changed for CAS Diff (..., x)"; |
644 TermC.atomty t; |
644 TermC.atomty t; |
645 "-----------------------------------------------------------------"; |
645 "-----------------------------------------------------------------"; |
646 (*1>*)reset_states (); |
646 (*1>*)reset_states (); |
647 (*2>*)CalcTree [([], ("empty_thy_id", ["empty_probl_id"], ["empty_meth_id"]))]; |
647 (*2>*)CalcTree [([], References.empty)]; |
648 (*3>*)Iterator 1;moveActiveRoot 1; |
648 (*3>*)Iterator 1;moveActiveRoot 1; |
649 "----- here the Headline has been finished"; |
649 "----- here the Headline has been finished"; |
650 (*4>*)moveActiveFormula 1 ([],Pbl); |
650 (*4>*)moveActiveFormula 1 ([],Pbl); |
651 (*5>*)replaceFormula 1 "Diff (x \<up> 2 + x + 1, x)"; |
651 (*5>*)replaceFormula 1 "Diff (x \<up> 2 + x + 1, x)"; |
652 val ((pt,_),_) = get_calc 1; |
652 val ((pt,_),_) = get_calc 1; |
742 |
742 |
743 "--------- implicit_take, start with <NEW> (CAS input) ---------------"; |
743 "--------- implicit_take, start with <NEW> (CAS input) ---------------"; |
744 "--------- implicit_take, start with <NEW> (CAS input) ---------------"; |
744 "--------- implicit_take, start with <NEW> (CAS input) ---------------"; |
745 "--------- implicit_take, start with <NEW> (CAS input) ---------------"; |
745 "--------- implicit_take, start with <NEW> (CAS input) ---------------"; |
746 reset_states (); |
746 reset_states (); |
747 CalcTree [([], ("empty_thy_id", ["empty_probl_id"], ["empty_meth_id"]))]; |
747 CalcTree [([], References.empty)]; |
748 (*[[from sml: > @@@@@begin@@@@@ |
748 (*[[from sml: > @@@@@begin@@@@@ |
749 [[from sml: 1 |
749 [[from sml: 1 |
750 [[from sml: <CALCTREE> |
750 [[from sml: <CALCTREE> |
751 [[from sml: <CALCID> 1 </CALCID> |
751 [[from sml: <CALCID> 1 </CALCID> |
752 [[from sml: </CALCTREE> |
752 [[from sml: </CALCTREE> |