1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Mon Jul 30 16:41:08 2012 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Tue Jul 31 15:16:47 2012 +0200
     1.3 @@ -29,14 +29,14 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
     1.5  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
     1.6  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
     1.7 -val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Apply_Method ["Test", "solve_linear"]*)
     1.8 -val (p,_,f,nxt,_,pt) = me nxt p'' [] pt''; (*nxt = Rewrite_Set_Inst isolate_bdv*);
     1.9 -get_ctxt pt p |> is_e_ctxt; (*false*)
    1.10 -val ctxt = get_ctxt pt p;
    1.11 +val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*OKnxt = Apply_Method ["Test", "solve_linear"]*)
    1.12 +val (p'',_,f,nxt,_,pt'') = me nxt p [] pt; (*nxt = Rewrite_Set_Inst..OK isolate_bdv*);
    1.13 +get_ctxt pt'' p'' |> is_e_ctxt; (*OKfalse*)
    1.14 +val ctxt = get_ctxt pt'' p'';
    1.15  val SOME t = parseNEW ctxt "Check_elementwise [x = 1] {(v_v::real). Assumptions}";
    1.16 -get_loc pt p |> snd |> is_e_ctxt; (*false*)
    1.17 +get_loc pt'' p'' |> snd |> is_e_ctxt; (**OKfalse*)
    1.18  
    1.19 -val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Rewrite_Set "Test_simplify"*);
    1.20 +val (p,_,f,nxt,_,pt) = me nxt p'' [] pt''; (*nxt = Rewrite_Set "Test_simplify"*);
    1.21  get_ctxt pt p |> is_e_ctxt; (*false*)
    1.22  val ctxt = get_ctxt pt p;
    1.23  val SOME t = parseNEW ctxt "Check_elementwise [x = 1] {(v_v::real). Assumptions}";
    1.24 @@ -84,4 +84,4 @@
    1.25  
    1.26  val (p,_,f,nxt,_,pt) = me nxt p'''' [] pt''''; (*WAS nxt = ("Empty_Tac", Empty_Tac)*)
    1.27  if nxt = ("Check_elementwise", Check_elementwise "Assumptions") then ()
    1.28 -else error "Check_elementwise changed; after switch sub-->root-method"
    1.29 +else error "Check_elementwise changed; after switch sub-->root-method";