1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Wed May 16 15:01:47 2012 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Wed May 16 15:47:22 2012 +0200
     1.3 @@ -89,12 +89,12 @@
     1.4   (prep_met thy "met_SP" [] e_metID
     1.5   (["SignalProcessing"], [],
     1.6     {rew_ord'="tless_true", rls'= e_rls, calc = [], srls = e_rls, prls = e_rls,
     1.7 -    crls = e_rls, nrls = e_rls}, "empty_script"));
     1.8 +    crls = e_rls, errpats = [], nrls = e_rls}, "empty_script"));
     1.9  store_met
    1.10   (prep_met thy "met_SP_Ztrans" [] e_metID
    1.11   (["SignalProcessing", "Z_Transform"], [],
    1.12     {rew_ord'="tless_true", rls'= e_rls, calc = [], srls = e_rls, prls = e_rls,
    1.13 -    crls = e_rls, nrls = e_rls}, "empty_script"));
    1.14 +    crls = e_rls, errpats = [], nrls = e_rls}, "empty_script"));
    1.15  val thy = @{theory}; (*latest version of thy required*)
    1.16  store_met
    1.17   (prep_met thy "met_SP_Ztrans_inv" [] e_metID
    1.18 @@ -103,7 +103,7 @@
    1.19     ("#Find"  ,["stepResponse (n_eq::bool)"])
    1.20    ],
    1.21     {rew_ord'="tless_true", rls'= e_rls, calc = [], srls = e_rls, prls = e_rls,
    1.22 -    crls = e_rls, nrls = e_rls},
    1.23 +    crls = e_rls, errpats = [], nrls = e_rls},
    1.24  "Script InverseZTransform (X_eq::bool) =" ^ (*(1/z) instead of z ^^^ -1*)
    1.25  " (let X = Take X_eq;" ^
    1.26  "      X' = Rewrite ruleZY False X;" ^ (*z * denominator*)
    1.27 @@ -136,7 +136,7 @@
    1.28         rls'= e_rls, calc = [],
    1.29         srls = srls_partial_fraction, 
    1.30         prls = e_rls,
    1.31 -       crls = e_rls, nrls = e_rls
    1.32 +       crls = e_rls, errpats = [], nrls = e_rls
    1.33       },
    1.34       "Script InverseZTransform (X_eq::bool) =                        "^
    1.35       (*(1/z) instead of z ^^^ -1*)
    1.36 @@ -236,7 +236,7 @@
    1.37              eval_factors_from_solution "#factors_from_solution"),
    1.38            Calc("Partial_Fractions.drop_questionmarks", eval_drop_questionmarks "#drop_?")],
    1.39            scr = EmptyScr},
    1.40 -    prls = e_rls, crls = e_rls, nrls = norm_Rational},
    1.41 +    prls = e_rls, crls = e_rls, errpats = [], nrls = norm_Rational},
    1.42     "Script InverseZTransform (X_eq::bool) =            "^(*([], Frm), Problem (Isac, [Inverse, Z_Transform, SignalProcessing])*)
    1.43     "(let X = Take X_eq;                                "^(*([1], Frm), X z = 3 / (z - 1 / 4 + -1 / 8 * (1 / z))*)
    1.44     "  X' = Rewrite ruleZY False X;                     "^(*([1], Res), ?X' z = 3 / (z * (z - 1 / 4 + -1 / 8 * (1 / z)))*)