1.1 --- a/test/Tools/isac/Knowledge/polyeq-2.sml	Sat May 02 10:57:04 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Sat May 02 11:36:13 2020 +0200
     1.3 @@ -197,10 +197,6 @@
     1.4  (* val fmz = ["equality (1 + x^^^2 =0)", "solveFor x","solutions L"];*)
     1.5  (*val fmz = ["equality (0 =0)", "solveFor x","solutions L"];*)
     1.6  val (dI',pI',mI') = ("PolyEq",["univariate","equation"],["no_met"]);
     1.7 -(*val p = e_pos'; 
     1.8 -val c = []; 
     1.9 -val (mI,m) = ("Init_Proof",Init_Proof (fmz, (dI',pI',mI')));
    1.10 -val (p,_,f,nxt,_,pt) = me (mI,m) p c EmptyPtree;*)
    1.11  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.12  
    1.13  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;