1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/Tools/isac/Minisubpbl/100-init-rootpbl.sml	Thu May 12 10:00:06 2011 +0200
     1.3 @@ -0,0 +1,11 @@
     1.4 +(* Title:  100-init-rootpbl.sml
     1.5 +   Author: Walther Neuper 1105
     1.6 +   (c) copyright due to lincense terms.
     1.7 +*)
     1.8 +
     1.9 +val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];
    1.10 +val (dI',pI',mI') =
    1.11 +  ("Test", ["sqroot-test","univariate","equation","test"],
    1.12 +   ["Test","squ-equ-test-subpbl1"]);
    1.13 +val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.14 +val (p,_,f,nxt,_,pt) = me nxt p [] pt;