1.1 --- a/src/sml/ROOT.ML	Fri Feb 11 18:29:35 2005 +0100
     1.2 +++ b/src/sml/ROOT.ML	Mon Feb 14 16:27:24 2005 +0100
     1.3 @@ -75,7 +75,7 @@
     1.4  
     1.5  *)
     1.6  
     1.7 -  val version_kernel = "sml-050211c-menu-finished";
     1.8 +  val version_kernel = "sml-050214a-intermediateSteps";
     1.9  
    1.10    print_depth 3; 
    1.11  
    1.12 @@ -157,6 +157,8 @@
    1.13   mets2file "../xml/met/";
    1.14   "******* build ME & DG complete, knowledge + XML added *******";
    1.15   *)
    1.16 +
    1.17 +(*=======================================================================*)
    1.18   
    1.19   cd"kbtest";
    1.20   	use"complex.sml";
    1.21 @@ -236,4 +238,6 @@
    1.22    Compiler.Control.Print.printDepth:=4; (*4 default*)
    1.23  
    1.24  *)
    1.25 +(*=======================================================================*)
    1.26 +
    1.27   states:=[] (*all calcs into user 1: *);

     2.1 --- a/src/sml/systest/FE-interface.sml	Fri Feb 11 18:29:35 2005 +0100
     2.2 +++ b/src/sml/systest/FE-interface.sml	Mon Feb 14 16:27:24 2005 +0100
     2.3 @@ -816,32 +816,29 @@
     2.4   Iterator 1;
     2.5   moveActiveRoot 1;
     2.6   autoCalculate 1 CompleteCalc; 
     2.7 - (*how do we get the first and the last formula of the calctree ?? then ...*)
     2.8 - moveActiveRoot 1; 
     2.9 + val ((pt,_),_) = get_calc 1;
    2.10 + show_pt pt;
    2.11 +
    2.12 +(*---------------this is NOT according to the interface ----------
    2.13   interSteps 1 ([],Pbl); (*not necessary on subproblems*);
    2.14 - moveActiveDown 1;
    2.15 - moveActiveDown 1;
    2.16 - moveActiveDown 1; (*-1 + x = 0*);
    2.17 + val (unc, del, gen) = (([],Pbl),([],Pbl),([4],Res));
    2.18 + getElementsFromTo 1 unc gen 1 false;
    2.19 +------------------------------------------------------------------*)
    2.20  
    2.21   (*UC\label{SOLVE:INFO:intermediate-steps}*)
    2.22   interSteps 1 ([2],Res);
    2.23 - 
    2.24 - moveActiveUp 1; 
    2.25 - moveActiveLevelUp 1; (*this gives the pos the details started with*)
    2.26 +     (*delivers        (([2],Res),([2],Res),([2,6],Res)); wrong!!!*)
    2.27 + val ((pt,_),_) = get_calc 1; show_pt pt (*calculates 6 intermediate steps*);
    2.28 + val (unc, del, gen) = (([1],Res),([1],Res),([2,6],Res));
    2.29 +     (*TODO.WN050214      2         2                  correct to above!!!*)
    2.30 + getElementsFromTo 1 unc gen 1 false; 
    2.31  
    2.32 - moveActiveDown 1; refFormula 1 (get_pos 1 1);
    2.33 - moveActiveDown 1; refFormula 1 (get_pos 1 1);
    2.34 - moveActiveDown 1; refFormula 1 (get_pos 1 1);
    2.35 - moveActiveDown 1; refFormula 1 (get_pos 1 1);
    2.36 - moveActiveDown 1; refFormula 1 (get_pos 1 1);
    2.37 - moveActiveDown 1; refFormula 1 (get_pos 1 1);
    2.38 -
    2.39 - moveActiveDown 1;
    2.40 - moveActiveDown 1;
    2.41 - moveActiveDown 1;
    2.42 - moveActiveDown 1;
    2.43 -
    2.44 - interSteps 1 ([],Res);
    2.45 + (*UC\label{SOLVE:INFO:intermediate-steps}*)
    2.46 + interSteps 1 ([],Res)  (*no new steps in subproblems*);
    2.47 +     (*delivers        (([],Res),([],Res),([4],Res)); wrong!!!*)
    2.48 + val (unc, del, gen) = (([],Pbl),([],Pbl),([4],Res));
    2.49 +     (*TODO.WN050214      2         2                  correct to above!!!*)
    2.50 + getElementsFromTo 1 unc gen 1 false; 
    2.51  
    2.52  
    2.53  "--------- getTactic, fetchApplicableTactics ---------------------";