1.1 --- a/test/Tools/isac/MathEngine/solve.sml	Fri Sep 09 10:53:51 2022 +0200
     1.2 +++ b/test/Tools/isac/MathEngine/solve.sml	Sun Sep 11 14:31:15 2022 +0200
     1.3 @@ -37,12 +37,12 @@
     1.4  "--------- interSteps on norm_Rational ---------------------------";
     1.5  "--------- interSteps on norm_Rational ---------------------------";
     1.6  "--------- interSteps on norm_Rational ---------------------------";
     1.7 -reset_states (); (*exp_IsacCore_Simp_Rat_Double_No-7.xml*)
     1.8 +States.reset (); (*exp_IsacCore_Simp_Rat_Double_No-7.xml*)
     1.9  CalcTree [(["Term ((2/(x+3) + 2/(x - 3)) / (8*x/(x \<up> 2 - 9)))", "normalform N"],
    1.10  	("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))];
    1.11  moveActiveRoot 1;
    1.12  autoCalculate 1 CompleteCalc; 
    1.13 -val ((pt, _), _) = get_calc 1; Test_Tool.show_pt pt;
    1.14 +val ((pt, _), _) = States.get_calc 1; Test_Tool.show_pt pt;
    1.15  case pt of Nd (PblObj _, [Nd _, Nd _, Nd _, Nd _, Nd _, Nd _]) => ()
    1.16  	 | _ => error  "solve.sml: interSteps on norm_Rational 1";
    1.17  interSteps 1 ([6], Res);
    1.18 @@ -51,7 +51,7 @@
    1.19  interSteps 1 ([6,1], Res) (*... here get the intermediate steps above*);
    1.20  
    1.21  getTactic 1 ([6,1,1], Frm); (*WN130909 <ERROR> syserror in getTactic </ERROR>*)
    1.22 -val ((pt,_),_) = get_calc 1; Test_Tool.show_pt pt;
    1.23 +val ((pt,_),_) = States.get_calc 1; Test_Tool.show_pt pt;
    1.24  val (Form form, SOME tac, asm) = ME_Misc.pt_extract (pt, ([6], Res));
    1.25  case (UnparseC.term form, tac, UnparseC.terms_to_strings asm) of
    1.26      ("1 / 2", Check_Postcond ["rational", "simplification"], []) => ()