1.1 --- a/test/Tools/isac/Knowledge/rootrateq.sml	Thu Dec 20 18:02:25 2018 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/rootrateq.sml	Wed Dec 26 14:24:05 2018 +0100
     1.3 @@ -75,7 +75,7 @@
     1.4  *)
     1.5  if f2str f = "1 = (0 - -2) * (1 + -1 * sqrt x)" then ()
     1.6  else error "rootrateq.sml: diff.behav. in rootrat_equation_left_1 a";
     1.7 -(*-> Subproblem ("RootRatEq", ["sq", "root'", "univariate", "equation"])*)
     1.8 +(*-> Subproblem ("RootRatEq", ["sq", "rootX", "univariate", "equation"])*)
     1.9  val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.12 @@ -98,7 +98,7 @@
    1.13  val pIopt = get_pblID (pt,ip);
    1.14  ip;    (*= ([3, 2], Res)*)
    1.15  tacis; (*= []*)
    1.16 -pIopt; (*= SOME ["sq", "root'", "univariate", "equation"]*)
    1.17 +pIopt; (*= SOME ["sq", "rootX", "univariate", "equation"]*)
    1.18  member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); (*= false*)
    1.19  "~~~~~ fun nxt_solve_, args:"; (*stopped due to strange exn
    1.20    "check_elementwise: no set 1 = 2 + -2 * sqrt x"*)
    1.21 @@ -109,7 +109,7 @@
    1.22                   " ((rhs (1 = 2 * (1 + -1 * sqrt x))) is_sqrtTerm_in x)");
    1.23  val SOME (t, _) = rewrite_set_ thy true rooteq_srls t;
    1.24  term2str t = "True | True"; (*...was same in 2002 (NOT "True"); so program seems to take 
    1.25 -  [univariate,equation] and to refine to ["sq", "root'", "univariate", "equation"] in 2002*)
    1.26 +  [univariate,equation] and to refine to ["sq", "rootX", "univariate", "equation"] in 2002*)
    1.27  
    1.28  (*(*these are the errors during stepping into the code:*)
    1.29  nxt_solve_ (pt,ip); (*check_elementwise: no set 1 = 2 + -2 * sqrt x: fun mk_set raises
    1.30 @@ -126,7 +126,7 @@
    1.31  
    1.32  if f2str f = "1 = 2 + -2 * sqrt x" then ()
    1.33  else error "rootrateq.sml: diff.behav. in rootrat_equation_left_1 b";
    1.34 -(*-> Subproblem ("RootRatEq", ["sq", "root'", "univariate", "equation"]) ?!? the SAME as above*)
    1.35 +(*-> Subproblem ("RootRatEq", ["sq", "rootX", "univariate", "equation"]) ?!? the SAME as above*)
    1.36  val (p,_,f,nxt,_,pt) = me nxt p c pt; 
    1.37  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
    1.38  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;