%JR warum auskommentiert?

 %JR warum auskommentiert? WN2...

 %WN2 weil ein Punkt wie dieser in weiteren Zusammenh"angen innerhalb

 %WN2 des Papers auftauchen m"usste; nachdem ich einen solchen

 %WN2 Zusammenhang _noch_ nicht sehe, habe ich den Punkt _noch_ nicht

 %WN2 gel"oscht.

 %WN2 Wenn der Punkt nicht weiter gebraucht wird, nimmt er nur wertvollen

 %WN2 Platz f"ur Anderes weg.

 %WN was Fachleute unter obigem Titel interessiert findet

 %WN was Fachleute unter obigem Titel interessiert findet sich

 %JR haben sie bis jetzt nicht beachtet

 %JR haben sie bis jetzt nicht beachtet WN...

 %WN2 Mein Vorschlag ist, das TODO zu lassen und deutlich zu kommentieren.

 TODO

 .\\.\\.\\

 {\small\it\begin{tabbing}

 123l\=123\=123\=123\=123\=123\=123\=123\=123\=(x \=123\=123\=\kill

 \>{\rm 01}\>  {\tt Program} InverseZTransform (X\_eq::bool) =   \\

 \>{\rm 02}\>\>  {\tt LET}                                       \\

 \>{\rm 03}\>\>\>  X = {\tt Take} X\_eq ;   \\

 \>{\rm 04}\>\>\>  X' = {\tt Rewrite} ruleZY X ; \\

 \>{\rm 05}\>\>\>  (X'\_z::real) = lhs X' ;       \\

 \>{\rm 06}\>\>\>  (zzz::real) = argument\_in X'\_z; \\

 \>{\rm 07}\>\>\>  (funterm::real) = rhs X’; \\

 \>{\rm 07}\>\>\>  (pbz::real) = {\tt SubProblem} \\

 \>{\rm 08}\>\>\>\>\>\>\>\>  ( \> Inverse\_Z\_Transform, \\

 \>{\rm 08}\>\>\>\>\>\>\>\>\>  [partial\_fraction,rational,simplification]\\

 \>{\rm 09}\>\>\>\>\>\>\>\>\>  [simplification,of\_rationals,to\_partial\_fraction] ) \\

 \>{\rm 10}\>\>\>\>\>\>\>\>  [ funterm::real, zzz::real ]; \\

 \>{\rm 12}\>\>\>  (pbz\_eq::bool) = {\tt Take} (X'\_z = pbz) ; \\

 \>{\rm 12}\>\>\>  pbz\_eq = {\tt Rewrite} ruleYZ pbz\_eq ;   \\

 \>{\rm 13}\>\>\>  pbz\_eq = drop\_questionmarks pbz\_eq ; \\

 \>{\rm 14}\>\>\>  (X\_zeq::bool) = {\tt Take} (X\_z = rhs pbz\_eq) ; \\

 \>{\rm 15}\>\>\>  n\_eq = {\tt Rewrite\_Set} inverse\_z X\_zeq ; \\

 \>{\rm 15}\>\>\>  n\_eq = drop\_questionmarks n\_eq  \\

 \>{\rm 16}\>\>  {\tt IN } \\

 \>{\rm 15}\>\>\>  n\_eq

 \end{tabbing}}

 {\small\it\begin{tabbing}

 123l\=123\=123\=123\=123\=123\=123\=123\=123\=123\=123\=123\=\kill\label{exp-calc}

 \>{\rm 01}\> $\bullet$\> {\tt Problem } [maximum\_by, calculus]       \`- - -\\

 \>{\rm 02}\>\> $\vdash$\> $A = 2\cdot u\cdot v - u^2$                 \`- - -\\

 \>{\rm 03}\>\> $\bullet$\> {\tt Problem } [make, diffable, function]  \`- - -\\

 \>{\rm 04}\>\> \dots\> $\widetilde{A}(\alpha) = 8\cdot r^2\cdot\sin\alpha\cdot\cos\alpha - 4\cdot r^2\cdot(\sin\alpha)^2$  \`- - -\\

 \\

 \\

 \>{\rm 18}\>\> $\bullet$\> {\tt Problem} [find\_values, tool]       \`- - -\\

 %       \`{\tt Apply\_Method} [tool, find\_values]\\

 \>{\rm 19}\>\> \dots\> [ $u=0.23\cdot r, \:v=0.76\cdot r$ ]         \`- - -\\

 %       \`{\tt Check\_Postcond}\\

 \>{\rm 20}\> \dots\> [ $u=0.23\cdot r, \:v=0.76\cdot r$ ] %TODO calculate !

 \end{tabbing}}

 .\\.\\.\\

 {\footnotesize

 \begin{verbatim}

    "Script InverseZTransform (X_eq::bool) =            "^(*([], Frm), Problem (Isac, [Inverse, Z_Transform, SignalProcessing])*)

    "(let X = Take X_eq;                                "^(*([1], Frm), X z = 3 / (z - 1 / 4 + -1 / 8 * (1 / z))*)

    "  X' = Rewrite ruleZY False X;                     "^(*([1], Res), ?X' z = 3 / (z * (z - 1 / 4 + -1 / 8 * (1 / z)))*)

    "  (X'_z::real) = lhs X';                           "^(*            ?X' z*)

    "  (zzz::real) = argument_in X'_z;                  "^(*            z *)

    "  (funterm::real) = rhs X';                        "^(*            3 / (z * (z - 1 / 4 + -1 / 8 * (1 / z)))*)

    "  (pbz::real) = (SubProblem (Isac',                "^(**)

    "    [partial_fraction,rational,simplification],    "^

    "    [simplification,of_rationals,to_partial_fraction]) "^

    "    [REAL funterm, REAL zzz]);                     "^(*([2], Res), 4 / (z - 1 / 2) + -4 / (z - -1 / 4)*)

    "  (pbz_eq::bool) = Take (X'_z = pbz);              "^(*([3], Frm), ?X' z = 4 / (z - 1 / 2) + -4 / (z - -1 / 4)*)

    "  pbz_eq = Rewrite ruleYZ False pbz_eq;            "^(*([3], Res), ?X' z = 4 * (?z / (z - 1 / 2)) + -4 * (?z / (z - -1 / 4))*)

    "  pbz_eq = drop_questionmarks pbz_eq;              "^(*               4 * (z / (z - 1 / 2)) + -4 * (z / (z - -1 / 4))*)

    "  (X_zeq::bool) = Take (X_z = rhs pbz_eq);         "^(*([4], Frm), X_z = 4 * (z / (z - 1 / 2)) + -4 * (z / (z - -1 / 4))*)

    "  n_eq = (Rewrite_Set inverse_z False) X_zeq;      "^(*([4], Res), X_z = 4 * (1 / 2) ^^^ ?n * ?u [?n] + -4 * (-1 / 4) ^^^ ?n * ?u [?n]*)

    "  n_eq = drop_questionmarks n_eq                   "^(*            X_z = 4 * (1 / 2) ^^^ n * u [n] + -4 * (-1 / 4) ^^^ n * u [n]*)

    "in n_eq)"                                            (*([], Res), X_z = 4 * (1 / 2) ^^^ n * u [n] + -4 * (-1 / 4) ^^^ n * u [n]*)

 \end{verbatim}}

 %JR gefordert werden...

 %JR gefordert werden WN2...

 %WN2 meiner Meinung nach hat sich eJMT unklar ausgedr"uckt (z.B. kann

 %WN2 man meines Wissens pdf-figures nicht auf eine bestimmte Gr"osse

 %WN2 zusammenschneiden um die R"ander weg zu bekommen)

 %WN2 Mein Vorschlag ist, in umserem tex-file bei *.png zu bleiben und

 %WN2 png + pdf figures mitzuschicken.