test/Tools/isac/Minisubpbl/100-init-rootpbl.sml
branchdecompose-isar
changeset 41985 cb8ea2269e6f
child 41986 64efbbbed4b4
equal deleted inserted replaced
41984:3f614796186e 41985:cb8ea2269e6f
       
     1 (* Title:  100-init-rootpbl.sml
       
     2    Author: Walther Neuper 1105
       
     3    (c) copyright due to lincense terms.
       
     4 *)
       
     5 
       
     6 val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];
       
     7 val (dI',pI',mI') =
       
     8   ("Test", ["sqroot-test","univariate","equation","test"],
       
     9    ["Test","squ-equ-test-subpbl1"]);
       
    10 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
       
    11 val (p,_,f,nxt,_,pt) = me nxt p [] pt;