1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/test/Tools/isac/Minisubpbl/500-postcond.sml Thu May 12 10:00:06 2011 +0200
1.3 @@ -0,0 +1,30 @@
1.4 +(* Title: 500-postcond.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;
1.15 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.16 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.17 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.18 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.19 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.20 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.21 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.22 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.23 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = ("Subproblem"*)
1.24 +(*
1.25 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.26 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.27 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.28 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.29 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.30 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.31 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.32 +val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
1.33 +*)