1.1 --- a/test/Tools/isac/Knowledge/eqsystem-1.sml	Fri Oct 21 15:19:00 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/eqsystem-1.sml	Fri Oct 21 15:35:50 2022 +0200
     1.3 @@ -294,7 +294,7 @@
     1.4                 "0 = - 1 * q_0 * L \<up> 2 / 2 + L * c + (c_2::real)]", 
     1.5  	   "solveForVars [c, c_2]", "solution LL"];
     1.6  
     1.7 -(*WN120313 in "solution L" above "Refine.refine_PIDE @{context} fmz ["LINEAR", "system"]" caused an error...*)
     1.8 +(*WN120313 in "solution L" above "Refine.xxxxx @{context} fmz ["LINEAR", "system"]" caused an error...*)
     1.9  "~~~~~ fun Refine.refine , args:"; val ((fmz: Formalise.model), (pblID:Problem.id)) = (fmz, ["LINEAR", "system"]);
    1.10  "~~~~~ fun refin' , args:"; val ((pblRD: Problem.id_reverse), fmz, pbls, ((Store.Node (pI, [py], [])): Problem.T Store.node)) =
    1.11     ((rev o tl) pblID, fmz, [(*match list*)],
    1.12 @@ -327,7 +327,7 @@
    1.13  Operand:   L :: real                 ========== L was already present in equalities ========== *)
    1.14  
    1.15  "===== case 1 =====";
    1.16 -val matches = Refine.refine_PIDE @{context} fmz ["LINEAR", "system"];
    1.17 +val matches = Refine.xxxxx @{context} fmz ["LINEAR", "system"];
    1.18  case matches of 
    1.19   [M_Match.Matches (["LINEAR", "system"], _),                      (*Matches*)
    1.20    M_Match.Matches (["2x2", "LINEAR", "system"], _),               (*NoMatch ! GOON !*)
    1.21 @@ -343,7 +343,7 @@
    1.22  "===== case 2 =====";
    1.23  val fmz = ["equalities [c_2 = 0, L * c + c_2 = q_0 * L \<up> 2 / 2]", 
    1.24  	   "solveForVars [c, c_2]", "solution LL"];
    1.25 -val matches = Refine.refine_PIDE @{context} fmz ["LINEAR", "system"];
    1.26 +val matches = Refine.xxxxx @{context} fmz ["LINEAR", "system"];
    1.27  case matches of [_,_,
    1.28  		  M_Match.Matches
    1.29  		    (["triangular", "2x2", "LINEAR", "system"],
    1.30 @@ -360,11 +360,11 @@
    1.31  | _ => error "eqsystem.sml Refine.refine ['triangular','2x2'...]";
    1.32  
    1.33  (*WN051014-----------------------------------------------------------------------------------\\
    1.34 -  the above 'val matches = Refine.refine_PIDE @{context} fmz ["LINEAR", "system"]'
    1.35 +  the above 'val matches = Refine.xxxxx @{context} fmz ["LINEAR", "system"]'
    1.36    didn't work anymore; we investigated in these steps:*)
    1.37  val fmz = ["equalities [c_2 = 0, L * c + c_2 = q_0 * L \<up> 2 / 2]", 
    1.38  	  "solveForVars [c, c_2]", "solution LL"];
    1.39 -val matches = Refine.refine_PIDE @{context} fmz ["triangular", "2x2", "LINEAR", "system"];
    1.40 +val matches = Refine.xxxxx @{context} fmz ["triangular", "2x2", "LINEAR", "system"];
    1.41  (*... resulted in 
    1.42     False "[c, c_2] from_ [c, c_2] occur_exactly_in nth_ 2\n    
    1.43            [c_2 = 0, L * c + c_2 = q_0 * L \<up> 2 / 2]"]*)
    1.44 @@ -434,7 +434,7 @@
    1.45  val fmz = ["equalities [0 = - 1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2,\
    1.46  	               \0 = - 1 * q_0 * L \<up> 2 / 2 + L * c + c_2]", 
    1.47  	   "solveForVars [c, c_2]", "solution LL"];
    1.48 -val matches = Refine.refine_PIDE @{context} fmz ["2x2", "LINEAR", "system"];
    1.49 +val matches = Refine.xxxxx @{context} fmz ["2x2", "LINEAR", "system"];
    1.50  (*default_print_depth 11;*) TermC.matches; (*default_print_depth 3;*)
    1.51  (*brought: 'False "length_ es_ = 2"'*)
    1.52