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.
neuper@42279
     1
(* Title:  inverse_z_transform
neuper@42278
     2
   Author: Jan Rocnik
neuper@42278
     3
   (c) copyright due to lincense terms.
neuper@42278
     4
12345678901234567890123456789012345678901234567890123456789012345678901234567890
neuper@42278
     5
        10        20        30        40        50        60        70        80
neuper@42278
     6
*)
neuper@42278
     7
neuper@42278
     8
"-----------------------------------------------------------------";
neuper@42278
     9
"table of contents -----------------------------------------------";
neuper@42278
    10
"-----------------------------------------------------------------";
neuper@42278
    11
"----------- met/pbl [SignalProcessing,Z_Transform,inverse] known ";
neuper@42278
    12
"----------- test [SignalProcessing,Z_Transform,inverse] ---";
neuper@42278
    13
"-----------------------------------------------------------------";
neuper@42278
    14
"-----------------------------------------------------------------";
neuper@42278
    15
neuper@42278
    16
"----------- met/pbl [SignalProcessing,Z_Transform,inverse] known ";
neuper@42278
    17
"----------- met/pbl [SignalProcessing,Z_Transform,inverse] known ";
neuper@42278
    18
"----------- met/pbl [SignalProcessing,Z_Transform,inverse] known ";
neuper@42278
    19
get_pbt ["inverse","Z_Transform","SignalProcessing"];
neuper@42278
    20
get_met ["SignalProcessing","Z_Transform","inverse"];
neuper@42278
    21
neuper@42278
    22
"----------- test [SignalProcessing,Z_Transform,inverse] ---";
neuper@42278
    23
"----------- test [SignalProcessing,Z_Transform,inverse] ---";
neuper@42278
    24
"----------- test [SignalProcessing,Z_Transform,inverse] ---";
neuper@42278
    25
val fmz = ["filterExpression (X  = 3 / (z - 1/4 + -1/8 * (1/(z::real))))",
neuper@42278
    26
  "stepResponse x[(n::real)]"];
neuper@42278
    27
val (dI,pI,mI) = ("Isac", ["inverse", "Z_Transform", "SignalProcessing"], 
neuper@42278
    28
  ["SignalProcessing","Z_Transform","inverse"]);
neuper@42278
    29
val (p,_,fb,nxt,_,pt)  = CalcTreeTEST [(fmz, (dI,pI,mI))];
neuper@42278
    30
val (p,_,fb,nxt,_,pt) = me nxt p [] pt;
neuper@42278
    31