wneuper/isa: comparison test/Tools/isac/Interpret/inform.sml

equal deleted inserted replaced

-:7f29665daeb2
+:5eba5e6d5266
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
 appendFormula 1 "-2 * 1 + (1 + x) = 0" (*|> Future.join*); refFormula 1 (get_pos 1 1);
 val ((pt,_),_) = get_calc 1;
 val str = pr_ptree pr_short pt;
 if str =
 val (_,(tac,_,_)::_) = get_calc 1;
 if tac = Rewrite_Set "Test_simplify" then ()
 else error "inform.sml: diff.behav.appendFormula: on Res + equ 3";
 ============ inhibit exn WN1130701 broken at Isabelle2002 --> 2009-2 ============*)
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,_),_) = get_calc 1;
 if "[x = 1]" = term2str (fst (get_obj g_result pt [])) then ()
 else error "inform.sml: diff.behav.appendFormula: on Res + equ 4";
-(* autoCalculate' 1 CompleteCalc;
+(* autoCalculate 1 CompleteCalc;
 val ((pt,p),_) = get_calc 1;
 (writeln o istates2str) (get_obj g_loc pt [ ]);
 (writeln o istates2str) (get_obj g_loc pt [1]);
 (writeln o istates2str) (get_obj g_loc pt [2]);
 (writeln o istates2str) (get_obj g_loc pt [3]);
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1) (*x + 1 = 2*);
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1) (*x + 1 = 2*);
 appendFormula 1 "2+ -1 + x = 2" (*|> Future.join*); refFormula 1 (get_pos 1 1);
 moveDown 1 ([],Pbl); refFormula 1 ([1],Frm) (*x + 1 = 2*);
 moveDown 1 ([1  ],Frm); refFormula 1 ([1,1],Frm);
 fetchProposedTactic 1; (*takes Iterator 1 _1_*)
 val (_,(tac,_,_)::_) = get_calc 1;
 if tac = Rewrite_Set "norm_equation" then ()
 else error "inform.sml: diff.behav.appendFormula: on Frm + equ 2";
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,_),_) = get_calc 1;
 if "[x = 1]" = term2str (fst (get_obj g_result pt [])) then ()
 else error "inform.sml: diff.behav.appendFormula: on Frm + equ 3";
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
 appendFormula 1 "x = 2" (*|> Future.join*);
 val ((pt,p),_) = get_calc 1;
 val str = pr_ptree pr_short pt;
 writeln str;
 fetchProposedTactic 1;
 val (_,(tac,_,_)::_) = get_calc 1;
 if tac = Rewrite_Set "Test_simplify" then ()
 else error "inform.sml: diff.behav.appendFormula: Res + NOder 2";
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,_),_) = get_calc 1;
 if "[x = 1]" = term2str (fst (get_obj g_result pt [])) then ()
 else error "inform.sml: diff.behav.appendFormula: on Frm + equ 3";
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
 appendFormula 1 "x = 1" (*|> Future.join*);
 val ((pt,p),_) = get_calc 1;
 val str = pr_ptree pr_short pt;
 writeln str;
 fetchProposedTactic 1;
 val (_,(tac,_,_)::_) = get_calc 1;
 if tac = Check_Postcond ["LINEAR", "univariate", "equation", "test"] then ()
 else error "inform.sml: diff.behav.appendFormula: Res + late d 2";
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,_),_) = get_calc 1;
 if "[x = 1]" = term2str (fst (get_obj g_result pt [])) then ()
 else error "inform.sml: diff.behav.appendFormula: Res + late d 3";
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
 appendFormula 1 "[x = 3 + -2*1]" (*|> Future.join*);
 val ((pt,p),_) = get_calc 1;
 val str = pr_ptree pr_short pt;
 writeln str;
 if str=".    ----- pblobj -----\n1.   x + 1 = 2\n2.   x + 1 + -1 * 2 = 0\n3.    ----- pblobj -----\n3.1.   -1 + x = 0\n3.2.   x = 0 + -1 * -1\n4.   [x = 1]\n4.1.   [x = 1]\n4.2.   [x = -2 + 3]\n4.3.   [x = 3 + -2]\n" then ()
 else error "inform.sml: diff.behav.appendFormula: Res + latEE 1";
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,p),_) = get_calc 1;
 if "[x = 3 + -2 * 1]" = term2str (fst (get_obj g_result pt [])) then ()
 (*       ~~~~~~~~~~ simplify as last step in any script ?!*)
 else error "inform.sml: diff.behav.appendFormula: Res + latEE 2";
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*-1 + x*);
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*-1 + x*);
 replaceFormula 1 "-2 * 1 + (1 + x) = 0"; refFormula 1 (get_pos 1 1);
 val ((pt,_),_) = get_calc 1;
 val str = pr_ptree pr_short pt;
 "2.4.   1 + (x + -2) = 0\n"^
 "2.5.   1 + (x + -2 * 1) = 0\n"^
 "2.6.   1 + x + -2 * 1 = 0\n" then()
 else error "inform.sml: diff.behav.replaceFormula: on Res += 1";
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,pos as (p,_)),_) = get_calc 1;
 if pos = ([],Res) andalso "[x = 1]" = (term2str o fst) (get_obj g_result pt p) then()
 else error "inform.sml: diff.behav.replaceFormula: on Res + = 2";
 "--------- replaceFormula: on Res + = 1st Nd ---------------------";
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
 replaceFormula 1 "x + 1 = 4 + -2"; refFormula 1 (get_pos 1 1);
 val ((pt,_),_) = get_calc 1;
 val str = pr_ptree pr_short pt;
 writeln str;
 if str= ".    ----- pblobj -----\n1.   x + 1 = 2\n1.1.   x + 1 = 2\n1.2.   1 + x = 2\n1.3.   1 + x = -2 + 4\n1.4.   x + 1 = -2 + 4\n" then ()
 else error "inform.sml: diff.behav.replaceFormula: on Res 1 + = 1";
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,pos as (p,_)),_) = get_calc 1;
 if pos = ([],Res) andalso "[x = 1]" = (term2str o fst)(get_obj g_result pt p) then()
 else error "inform.sml: diff.behav.replaceFormula: on Res + = 2";
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
 replaceFormula 1 "x + 1 = 4 + -2"; refFormula 1 (get_pos 1 1);
 val ((pt,_),_) = get_calc 1;
 val str = pr_ptree pr_short pt;
 writeln str;
 if str= ".    ----- pblobj -----\n1.   x + 1 = 2\n1.1.   x + 1 = 2\n1.2.   1 + x = 2\n1.3.   1 + x = -2 + 4\n1.4.   x + 1 = -2 + 4\n" then ()
 else error "inform.sml: diff.behav.replaceFormula: on Frm 1 + = 1";
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,pos as (p,_)),_) = get_calc 1;
 if pos = ([],Res) andalso "[x = 1]" = (term2str o fst)(get_obj g_result pt p) then()
 else error "inform.sml: diff.behav.replaceFormula: on Frm 1 + = 2";
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 moveActiveRoot 1; moveActiveDown 1;
 if get_pos 1 1 = ([1], Frm) then ()
 else error "inform.sml: diff.behav. cut calculation 1";
 replaceFormula 1 "x + 1 = 4 + -2"; refFormula 1 (get_pos 1 1);
 reset_states ();
 CalcTree [(["equality (x+1=(2::real))", "solveFor x","solutions L"],
 	    ("Test", ["sqroot-test","univariate","equation","test"],
 	     ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 = 2*)
-autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
+autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);(*x + 1 + -1 * 2 = 0*);
 appendFormula 1 " x - "; (*<ERROR> syntax error in ' x - ' </ERROR>*)
 val ((pt,_),_) = get_calc 1;
 val str = pr_ptree pr_short pt;
 writeln str;
 reset_states ();
 CalcTree [([], ("e_domID", ["e_pblID"], ["e_metID"]))];
 Iterator 1;
 moveActiveRoot 1;
 replaceFormula 1 "solve(x+1=2,x)";
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,p),_) = get_calc 1;
 show_pt pt;
 if p = ([], Res) then ()
 else error "inform.sml: diff.behav. CAScmd ([],Pbl) FE-interface";
 "--------- inform [rational,simplification] ----------------------";
 reset_states ();
 CalcTree [(["Term (a * x / (b * x) + c * x / (d * x) + e / f)", "normalform N"],
 	("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
 "--- (-1) give a preview on the calculation without any input";
 (*
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt, p), _) = get_calc 1;
 show_pt pt;
 [
 (([], Frm), Simplify (a * x / (b * x) + c * x / (d * x) + e / f)),
 (([1], Frm), a * x / (b * x) + c * x / (d * x) + e / f),
 (([4], Res), (a * d * f + b * c * f + b * d * e) / (b * d * f)), <--- (2) input next
 (([], Res), (a * d * f + b * c * f + b * d * e) / (b * d * f))]  <--- (3) is also final result
 EXAMPLE NOT OPTIMAL
 *)
 "--- (0) user input as the *first* step does not work, thus impdo at least 1 step";
-autoCalculate' 1 (Step 1);
+autoCalculate 1 (Step 1);
-autoCalculate' 1 (Step 1);
+autoCalculate 1 (Step 1);
 val ((pt, p), _) = get_calc 1;
 (*show_pt pt;
 [
 (([], Frm), Simplify (a * x / (b * x) + c * x / (d * x) + e / f)),
 (([1], Frm), a * x / (b * x) + c * x / (d * x) + e / f),
 if p = ([2], Res) andalso (length o children o (get_nd pt)) (fst p) = 2 then ()
 else error ("inform.sml: [rational,simplification] 1");
 "--- (2) input the next formula that would be presented by mat-engine";
 (* generate a preview:
-autoCalculate' 1 (Step 1);
+autoCalculate 1 (Step 1);
 val ((pt, p), _) = get_calc 1;
 show_pt pt;
 [
 (([], Frm), Simplify (a * x / (b * x) + c * x / (d * x) + e / f)),
 (([1], Frm), a * x / (b * x) + c * x / (d * x) + e / f),
 *)
 if p = ([4], Res) andalso (length o children o (get_nd pt)) (fst p) = 2 then ()
 else error ("inform.sml: [rational,simplification] 3");
 "--- (4) finish the calculation + check the postcondition (in the future)";
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt, p), _) = get_calc 1;
 val (t, asm) = get_obj g_result pt [];
 if term2str t = "(a * d * f + b * c * f + b * d * e) / (b * d * f)" andalso
 terms2str asm = "[\"b * d * f ~= 0\",\"d ~= 0\",\"b ~= 0\"," ^
 "\"a * x / (b * x) + c * x / (d * x) + e / f is_ratpolyexp\"]"
 writeln (itms2str_ ctxt meth);
 writeln (istate2str (fst istate));
 refFormula 1 ([],Pbl) (*--> correct CalcHead*);
 (*081016 NOT necessary (but leave it in Java):*)
-(*6>*)(*completeCalcHead*)autoCalculate' 1 CompleteCalcHead;
+(*6>*)(*completeCalcHead*)autoCalculate 1 CompleteCalcHead;
 "----- here the CalcHead has been completed --- ONCE MORE ?????";
 (***difference II***)
 val ((pt,p),_) = get_calc 1;
 (*val p = ([], Pbl)*)
 (2 ,[1] ,true ,#Given ,Cor differentiateFor x ,(v_, [x])),
 (3 ,[1] ,true ,#Find ,Cor derivative f_'_f ,(f_'_f, [f_'_f]))]*)
 writeln"-----------------------------------------------------------";
 (*7>*)fetchProposedTactic 1 (*--> Apply_Method*);
 (*WN081028 fixed <ERROR> helpless </ERROR> by inform returning ...(.,Met)*)
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 val ((pt,p),_) = get_calc 1;
 val Form res = (#1 o pt_extract) (pt, ([],Res));
 show_pt pt;
 if p = ([], Res) andalso term2str res = "1 + 2 * x" then ()
 else error "diff.sml behav.changed for Diff (x^2 + x + 1, x)";
 omitting unnecessary inputs*)
 (*1>*)reset_states ();
 (*2>*)CalcTree [(["functionTerm (x^2 + x + 1)", "differentiateFor x", "derivative f_'_f"],("Isac",["derivative_of","function"],["diff","differentiate_on_R"]))];
 (*3>*)Iterator 1; moveActiveRoot 1;
-(*6>*)(*completeCalcHead*)autoCalculate' 1 CompleteCalcHead;
+(*6>*)(*completeCalcHead*)autoCalculate 1 CompleteCalcHead;
 (***difference II***)
 val ((pt,_),_) = get_calc 1;
 val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
 val NONE = env;
 val (SOME istate, NONE) = loc;
 (1 ,[1] ,true ,#Given ,Cor functionTerm (x ^^^ 2 + x + 1) ,(f_, [x ^^^ 2 + x + 1])),
 (2 ,[1] ,true ,#Given ,Cor differentiateFor x ,(v_, [x])),
 (3 ,[1] ,true ,#Find ,Cor derivative f_'_f ,(f_'_f, [f_'_f]))]*)
 writeln"-----------------------------------------------------------";
 (*7>*)fetchProposedTactic 1 (*--> Apply_Method*);
-autoCalculate' 1 (Step 1);
+autoCalculate 1 (Step 1);
 val ((pt,p),_) = get_calc 1;
 val Form res = (#1 o pt_extract) (pt, p);
 if term2str res = "d_d x (x ^^^ 2 + x + 1)" then ()
 else error "diff.sml Diff (x^2 + x + 1, x) from exp";
 CalcTree
 [(["functionTerm (x ^ 2 + sin (x ^ 4))", "differentiateFor x", "derivative f_f'"],
 ("Isac", ["derivative_of","function"], ["diff","differentiate_on_R"]))];
 Iterator 1;
 moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1);
+autoCalculate 1 (Step 1);
-autoCalculate' 1 (Step 1);(*([1], Res), d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))*)
+autoCalculate 1 (Step 1);(*([1], Res), d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))*)
-(*autoCalculate' 1 (Step 1);([2], Res), d_d x (x ^^^ 2) + cos (x ^^^ 4) * d_d x (x ^^^ 4)*)
+(*autoCalculate 1 (Step 1);([2], Res), d_d x (x ^^^ 2) + cos (x ^^^ 4) * d_d x (x ^^^ 4)*)
 "~~~~~ fun appendFormula, args:"; val (cI, (ifo:cterm')) = (1, "d_d x (x ^ 2) + cos (4 * x ^ 3)");
 val cs = get_calc cI
 val pos as (_,p_) = get_pos cI 1; (*pos = ([1], Res)*)
 val cs' =
 CalcTree
 [(["functionTerm (x ^ 2 + sin (x ^ 4))", "differentiateFor x", "derivative f_f'"],
 ("Isac", ["derivative_of","function"], ["diff","differentiate_on_R"]))];
 Iterator 1;
 moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1);
+autoCalculate 1 (Step 1);
-autoCalculate' 1 (Step 1);(*([1], Res), d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))*)
+autoCalculate 1 (Step 1);(*([1], Res), d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))*)
 appendFormula 1 "d_d x (x ^ 2) + cos (4 * x ^ 3)" (*|> Future.join*);
 (*<CALCMESSAGE> error pattern #chain-rule-diff-both# </CALCMESSAGE>*)
 (*or
 <CALCMESSAGE> no derivation found </CALCMESSAGE>*)
 CalcTree
 [(["functionTerm (x ^ 2 + sin (x ^ 4))", "differentiateFor x", "derivative f_f'"],
 ("Isac", ["derivative_of","function"], ["diff","differentiate_on_R"]))];
 Iterator 1;
 moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
+autoCalculate 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1);
+autoCalculate 1 (Step 1);
-autoCalculate' 1 (Step 1);(*([1], Res), d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))*)
+autoCalculate 1 (Step 1);(*([1], Res), d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))*)
 appendFormula 1 "d_d x (x ^ 2) + cos (4 * x ^ 3)" (*|> Future.join*); (*<<<<<<<=========================*)
 (* the check for errpat is maximally liberal (whole term modulo "nrls" from "type met"),
 would recognize "cos (4 * x ^ (4 - 1)) + 2 * x" as well.
 results in <CALCMESSAGE> error pattern #chain-rule-diff-both# </CALCMESSAGE>
 instead of <CALCMESSAGE> no derivation found </CALCMESSAGE> *)

changeset 59248	5eba5e6d5266
parent 59188	c477d0f79ab9
child 59252	7d3dbc1171ff