1.1 --- a/src/smltest/IsacKnowledge/integrate.sml	Fri Jun 02 18:20:21 2006 +0200
     1.2 +++ b/src/smltest/IsacKnowledge/integrate.sml	Mon Jun 05 17:39:08 2006 +0200
     1.3 @@ -23,6 +23,7 @@
     1.4  "----------- me method [Diff,integration] ------------------------";
     1.5  "----------- me method [Diff,integration,named] ------------------";
     1.6  "----------- me method [Diff,integration,named] Biegelinie.Q -----";
     1.7 +"----------- interSteps [Diff,integration] -----------------------";
     1.8  "-----------------------------------------------------------------";
     1.9  "-----------------------------------------------------------------";
    1.10  "-----------------------------------------------------------------";
    1.11 @@ -427,6 +428,32 @@
    1.12  if f2str f = "Q x = c + -1 * q_0 * x" then() 
    1.13  else raise error "integrate.sml: method [Diff,integration,named] .Q";
    1.14  
    1.15 +
    1.16 +"----------- interSteps [Diff,integration] -----------------------";
    1.17 +"----------- interSteps [Diff,integration] -----------------------";
    1.18 +"----------- interSteps [Diff,integration] -----------------------";
    1.19 +states:=[];
    1.20 +CalcTree
    1.21 +[(["functionTerm (x^2 + 1)","integrateBy x","antiDerivative FF"], 
    1.22 +  ("Integrate.thy",["integrate","function"],
    1.23 +  ["Diff","integration"]))];
    1.24 +Iterator 1;
    1.25 +moveActiveRoot 1;
    1.26 +autoCalculate 1 CompleteCalc;
    1.27 +val ((pt,p),_) = get_calc 1; show_pt pt;
    1.28 +
    1.29 +interSteps 1 ([1],Res);
    1.30 +(*...lead to 
    1.31 +*** one_scr_arg: called by Script Stepwise t_   =
    1.32 +***  (Try (Rewrite_Set integration_rules False) @@
    1.33 +***   Try (Rewrite_Set add_new_c False) @@
    1.34 +***   Try (Rewrite_Set simplify_Integral False))
    1.35 +***   t_  
    1.36 +
    1.37 +TODO.WN060605 postponed until general decision how to model bound variables*)
    1.38 +
    1.39 +
    1.40 +
    1.41  (*
    1.42  use"../smltest/IsacKnowledge/integrate.sml";
    1.43  *)