1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Thu May 14 16:58:33 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Fri May 15 11:46:43 2020 +0200
     1.3 @@ -234,7 +234,7 @@
     1.4                       else error "= me .. met_partial_fraction f changed"
     1.5  | _ => error "= me .. met_partial_fraction nxt changed";
     1.6  
     1.7 -show_pt_tac pt; (**)
     1.8 +Test_Tool.show_pt_tac pt; (**)
     1.9  
    1.10  "----------- autoCalculate for met_partial_fraction -----";
    1.11  "----------- autoCalculate for met_partial_fraction -----";
    1.12 @@ -256,7 +256,7 @@
    1.13  if p = ip andalso ip = ([], Res) then ()
    1.14    else error "autoCalculate for met_partial_fraction changed: final pos'";
    1.15  
    1.16 -val (Form f, tac, asms) = pt_extract (pt, p);
    1.17 +val (Form f, tac, asms) = ME_Misc.pt_extract (pt, p);
    1.18  if UnparseC.term f = "4 / (z - 1 / 2) + -4 / (z - -1 / 4)" andalso
    1.19    UnparseC.terms_short asms =
    1.20      "[BB = -4,BB is_polyexp,AA is_polyexp,AA = 4," ^
    1.21 @@ -266,7 +266,7 @@
    1.22    | _ => error "me for met_partial_fraction changed: final result 1"
    1.23  else error "me for met_partial_fraction changed: final result 2"
    1.24  
    1.25 -show_pt pt; (**)
    1.26 +Test_Tool.show_pt pt; (**)
    1.27  
    1.28  "----------- progr.vers.2: check erls for multiply_ansatz";
    1.29  "----------- progr.vers.2: check erls for multiply_ansatz";