1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Apr 05 16:44:21 2012 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Apr 05 16:53:43 2012 +0200
     1.3 @@ -24,8 +24,8 @@
     1.4  "----------- why helpless here ? ------------------------";
     1.5  val fmz = ["filterExpression (X z = 3 / (z - 1/4 + -1/8 * (1/(z::real))))", 
     1.6    "stepResponse (x[n::real]::bool)"];
     1.7 -val (dI,pI,mI) = ("Isac", ["inverse", "Z_Transform", "SignalProcessing"], 
     1.8 -  ["SignalProcessing","Z_Transform","inverse"]);
     1.9 +val (dI,pI,mI) = ("Isac", ["Inverse", "Z_Transform", "SignalProcessing"], 
    1.10 +  ["SignalProcessing","Z_Transform","Inverse"]);
    1.11  val (p,_,f,nxt,_,pt)  = CalcTreeTEST [(fmz, (dI,pI,mI))]; 
    1.12  val (p,_,f,nxt,_,pt) = me nxt p [] pt; "Add_Given";
    1.13  val (p,_,f,nxt,_,pt) = me nxt p [] pt; "Add_Find";
    1.14 @@ -43,7 +43,7 @@
    1.15  val pIopt = get_pblID (pt,ip);
    1.16  ip = ([],Res); "false";
    1.17  tacis; " = []";
    1.18 -pIopt; (* = SOME ["inverse", "Z_Transform", "SignalProcessing"]*)
    1.19 +pIopt; (* = SOME ["Inverse", "Z_Transform", "SignalProcessing"]*)
    1.20  member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); "false";
    1.21  (*nxt_solve_ (pt,ip); "WAS isalist2list applied to NON-list 'no_meth'"
    1.22     THIS MEANS: replace no_meth by [no_meth] in Script.*)
    1.23 @@ -62,7 +62,7 @@
    1.24  val pIopt = get_pblID (pt,ip);
    1.25  ip = ([],Res); " = false";
    1.26  tacis; " = []";                                         
    1.27 -pIopt (* = SOME ["inverse", "Z_Transform", "SignalProcessing"]*);
    1.28 +pIopt (* = SOME ["Inverse", "Z_Transform", "SignalProcessing"]*);
    1.29  member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); " = false";
    1.30  (*                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ leads into
    1.31  nxt_solve_, which is definitely WRONG (should be nxt_specify_ for FIND_ADD).