1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Tue May 03 16:23:07 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Wed May 04 09:01:10 2011 +0200
     1.3 @@ -10,7 +10,6 @@
     1.4  "table of contents -----------------------------------------------";
     1.5  "-----------------------------------------------------------------";
     1.6  "-----------------------------------------------------------------";
     1.7 -"-------------- build miniscript stepwise BEFORE ALL TESTS -------";
     1.8  "-------------- check positions in miniscript --------------------";
     1.9  "-------------- get_allpos' (from ptree above)--------------------";
    1.10  (**#####################################################################(**)
    1.11 @@ -59,27 +58,10 @@
    1.12  "-----------------------------------------------------------------";
    1.13  
    1.14  
    1.15 -"-------------- build miniscript stepwise BEFORE ALL TESTS -------";
    1.16 -"-------------- build miniscript stepwise BEFORE ALL TESTS -------";
    1.17 -"-------------- build miniscript stepwise BEFORE ALL TESTS -------";
    1.18 -"this build should be detailed each time a test fails later       ";
    1.19 -"i.e. all the tests should be caught here first                   ";
    1.20 -"and linked with a reference to the respective test environment   ";
    1.21 -val fmz = ["equality (x+1=(2::int))", (*FIRST OF ALL TESTS*) "solveFor x", "solutions L"];
    1.22 -val (dI',pI',mI') = ("Test",["sqroot-test","univariate","equation","test"],
    1.23 -  ["Test","squ-equ-test-subpbl1"]);
    1.24 -val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.25 -val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.26 -val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.27 -val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.28 -
    1.29 -
    1.30 -
    1.31 -
    1.32  "-------------- check positions in miniscript --------------------";
    1.33  "-------------- check positions in miniscript --------------------";
    1.34  "-------------- check positions in miniscript --------------------";
    1.35 -val fmz = ["equality (x+1=(2::int))",
    1.36 +val fmz = ["equality (x+1=(2::real))",
    1.37  	   "solveFor x","solutions L"];
    1.38  val (dI',pI',mI') =
    1.39    ("Test",["sqroot-test","univariate","equation","test"],