test/Tools/isac/Knowledge/Inverse_Z_Transform/inverse_z_transform.sml
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 22 Sep 2011 14:24:34 +0200
branchdecompose-isar
changeset 42279 e2759e250604
parent 42278 753c1a5fe3aa
child 42405 f813ece49902
permissions -rwxr-xr-x
made Build_Inverse_Z_Transform.thy run

Build_Inverse_Z_Transform.thy imports Isac.thy for CalcTreeTEST;
Since Isac.thy has Inverse_Z_Transform.thy already as a subtheory
Build_..thy only mimics the process of building the knowledge for a new problem.
     1 (* Title:  inverse_z_transform
     2    Author: Jan Rocnik
     3    (c) copyright due to lincense terms.
     4 12345678901234567890123456789012345678901234567890123456789012345678901234567890
     5         10        20        30        40        50        60        70        80
     6 *)
     7 
     8 "-----------------------------------------------------------------";
     9 "table of contents -----------------------------------------------";
    10 "-----------------------------------------------------------------";
    11 "----------- met/pbl [SignalProcessing,Z_Transform,inverse] known ";
    12 "----------- test [SignalProcessing,Z_Transform,inverse] ---";
    13 "-----------------------------------------------------------------";
    14 "-----------------------------------------------------------------";
    15 
    16 "----------- met/pbl [SignalProcessing,Z_Transform,inverse] known ";
    17 "----------- met/pbl [SignalProcessing,Z_Transform,inverse] known ";
    18 "----------- met/pbl [SignalProcessing,Z_Transform,inverse] known ";
    19 get_pbt ["inverse","Z_Transform","SignalProcessing"];
    20 get_met ["SignalProcessing","Z_Transform","inverse"];
    21 
    22 "----------- test [SignalProcessing,Z_Transform,inverse] ---";
    23 "----------- test [SignalProcessing,Z_Transform,inverse] ---";
    24 "----------- test [SignalProcessing,Z_Transform,inverse] ---";
    25 val fmz = ["filterExpression (X  = 3 / (z - 1/4 + -1/8 * (1/(z::real))))",
    26   "stepResponse x[(n::real)]"];
    27 val (dI,pI,mI) = ("Isac", ["inverse", "Z_Transform", "SignalProcessing"], 
    28   ["SignalProcessing","Z_Transform","inverse"]);
    29 val (p,_,fb,nxt,_,pt)  = CalcTreeTEST [(fmz, (dI,pI,mI))];
    30 val (p,_,fb,nxt,_,pt) = me nxt p [] pt;
    31