1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Sun Dec 10 17:35:07 2023 +0100
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Mon Dec 11 09:24:02 2023 +0100
     1.3 @@ -720,25 +720,15 @@
     1.4  val ((pt,_),_) = States.get_calc 1;
     1.5  val PblObj {probl, meth, spec, fmz, loc, ...} = get_obj I pt [];
     1.6  val (SOME istate, NONE) = loc;
     1.7 -(*default_print_depth 5;*) writeln (Istate.string_of ctxt (fst istate));  (*default_print_depth 3;*)
     1.8 -(*Pstate ([],
     1.9 - [], NONE,
    1.10 - ??.empty, Sundef, false)*)
    1.11 -(*default_print_depth 5;*) spec; (*default_print_depth 3;*)
    1.12 -(*("Isac_Knowledge",
    1.13 -      ["derivative_of", "function"],
    1.14 -      ["diff", "differentiate_on_R"]) : spec*)
    1.15 -writeln (I_Model.to_string ctxt probl);
    1.16 -(*[
    1.17 -(1 ,[1] ,true ,#Given ,Cor functionTerm (x \<up> 2 + x + 1) ,(f_, [x \<up> 2 + x + 1])),
    1.18 -(2 ,[1] ,true ,#Given ,Cor differentiateFor x ,(v_, [x])),
    1.19 -(3 ,[1] ,true ,#Find ,Cor derivative f_'_f ,(f_'_f, [f_'_f]))]*)
    1.20 -writeln (I_Model.to_string ctxt meth);
    1.21 -(*[
    1.22 -(1 ,[1] ,true ,#Given ,Cor functionTerm (x \<up> 2 + x + 1) ,(f_, [x \<up> 2 + x + 1])),
    1.23 -(2 ,[1] ,true ,#Given ,Cor differentiateFor x ,(v_, [x])),
    1.24 -(3 ,[1] ,true ,#Find ,Cor derivative f_'_f ,(f_'_f, [f_'_f]))]*)
    1.25 -writeln"-----------------------------------------------------------";
    1.26 +
    1.27 +val "Pstate ([], [], empty, NONE, \n??.empty, ORundef, false, false)"
    1.28 + = fst istate |> Istate.string_of ctxt
    1.29 +val ("Isac_Knowledge", ["derivative_of", "function"], ["diff", "differentiate_on_R"]) = spec;
    1.30 +val "[\n(1, [1], true ,#Given, (Cor_POS functionTerm (x \<up> 2 + x + 1) , pen2str, Position.T)), \n(2, [1], true ,#Given, (Cor_POS differentiateFor x , pen2str, Position.T)), \n(3, [1], true ,#Find, (Cor_POS derivative f_'_f , pen2str, Position.T))]"
    1.31 + = probl |> I_Model.OLD_to_POS  |> I_Model.to_string_POS ctxt
    1.32 +val "[\n(1, [1], true ,#Given, (Cor_POS functionTerm (x \<up> 2 + x + 1) , pen2str, Position.T)), \n(2, [1], true ,#Given, (Cor_POS differentiateFor x , pen2str, Position.T)), \n(3, [1], true ,#Find, (Cor_POS derivative f_'_f , pen2str, Position.T))]"
    1.33 + = meth |> I_Model.OLD_to_POS  |> I_Model.to_string_POS ctxt;
    1.34 +
    1.35  (*7>*)fetchProposedTactic 1 (*--> Apply_Method*);
    1.36  autoCalculate 1 (Steps 1);
    1.37  val ((pt,p),_) = States.get_calc 1;