1.1 --- a/test/Tools/isac/Interpret/generate.sml	Wed Oct 05 10:51:25 2016 +0200
     1.2 +++ b/test/Tools/isac/Interpret/generate.sml	Wed Oct 05 13:09:54 2016 +0200
     1.3 @@ -20,9 +20,9 @@
     1.4    ("Isac", ["derivative_of","function"], ["diff","differentiate_on_R"]))];
     1.5  Iterator 1;
     1.6  moveActiveRoot 1;
     1.7 -autoCalculate' 1 CompleteCalcHead;
     1.8 -autoCalculate' 1 (Step 1);
     1.9 -autoCalculate' 1 (Step 1);(*([1], Res), d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))*)
    1.10 +autoCalculate 1 CompleteCalcHead;
    1.11 +autoCalculate 1 (Step 1);
    1.12 +autoCalculate 1 (Step 1);(*([1], Res), d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))*)
    1.13  appendFormula 1 "d_d x (x ^ 2) + cos (4 * x ^ 3)" (*|> Future.join*);
    1.14  (* the check for errpat is maximally liberal (whole term modulo "nrls" from "type met"),
    1.15    would recognize "cos (4 * x ^ (4 - 1)) + 2 * x" as well.