1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Wed Mar 14 17:12:43 2012 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Sat Mar 17 11:06:46 2012 +0100
     1.3 @@ -6,6 +6,7 @@
     1.4  "----------- Minisubplb/530-error-Check_Elementwise.sml ----------";
     1.5  "----------- Minisubplb/530-error-Check_Elementwise.sml ----------";
     1.6  "----------- Minisubplb/530-error-Check_Elementwise.sml ----------";
     1.7 +(*see also --- x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 /x" by me ---*)
     1.8  val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];
     1.9  val (dI',pI',mI') =
    1.10  ("Test", ["sqroot-test","univariate","equation","test"],
    1.11 @@ -80,6 +81,7 @@
    1.12  "~~~~~ fun stac2tac_, args:"; val (pt, thy, (Const("Script.Check'_elementwise",_) $ _ $
    1.13  (set as Const ("Set.Collect",_) $ Abs (_,_,pred)))) = (pt, (assoc_thy th), stac);
    1.14  (*2011 changed ^^^^^ *)
    1.15 +
    1.16  val (p,_,f,nxt,_,pt) = me nxt p'''' [] pt''''; (*WAS nxt = ("Empty_Tac", Empty_Tac)*)
    1.17  if nxt = ("Check_elementwise", Check_elementwise "Assumptions") then ()
    1.18  else error "Check_elementwise changed; after switch sub-->root-method"