1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Mon Apr 19 20:44:18 2021 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex	Tue Apr 20 16:58:44 2021 +0200
     1.3 @@ -969,11 +969,11 @@
     1.4                                  SignalProcessing])),
     1.5     (([1], Frm), X z = 3 / (z - 1 / 4 + -1 / 8 * (1 / z))),
     1.6     (([1], Res), ?X' z = 3 / (z * (z - 1 / 4 + -1 / 8 * (1 / z)))),
     1.7 -   (([2], Res), ?X' z = 24 / (-1 + -2 * z + 8 * z ^^^ 2)),
     1.8 -   (([3], Pbl), solve (-1 + -2 * z + 8 * z ^^^ 2 = 0, z)),
     1.9 -   (([3,1], Frm), -1 + -2 * z + 8 * z ^^^ 2 = 0),
    1.10 -   (([3,1], Res), z = (- -2 + sqrt (-2 ^^^ 2 - 4 * 8 * -1)) / (2 * 8)|
    1.11 -                  z = (- -2 - sqrt (-2 ^^^ 2 - 4 * 8 * -1)) / (2 * 8)),
    1.12 +   (([2], Res), ?X' z = 24 / (-1 + -2 * z + 8 * z \<up> 2)),
    1.13 +   (([3], Pbl), solve (-1 + -2 * z + 8 * z \<up> 2 = 0, z)),
    1.14 +   (([3,1], Frm), -1 + -2 * z + 8 * z \<up> 2 = 0),
    1.15 +   (([3,1], Res), z = (- -2 + sqrt (-2 \<up> 2 - 4 * 8 * -1)) / (2 * 8)|
    1.16 +                  z = (- -2 - sqrt (-2 \<up> 2 - 4 * 8 * -1)) / (2 * 8)),
    1.17     (([3,2], Res), z = 1 / 2 | z = -1 / 4),
    1.18     (([3,3], Res), [ z = 1 / 2, z = -1 / 4]),
    1.19     (([3,4], Res), [ z = 1 / 2, z = -1 / 4]),
    1.20 @@ -984,7 +984,7 @@
    1.21        \par \noindent In particular that:
    1.22        
    1.23  \begin{verbatim}
    1.24 -  (([3], Pbl), solve (-1 + -2 * z + 8 * z ^^^ 2 = 0, z)),
    1.25 +  (([3], Pbl), solve (-1 + -2 * z + 8 * z \<up> 2 = 0, z)),
    1.26  \end{verbatim}
    1.27        \par \noindent Shows the equation which has been created in
    1.28        the program by: 
    1.29 @@ -2369,7 +2369,7 @@
    1.30         \ttfamily Empty\_Tac; \normalfont the search for the reason considered
    1.31         the following points:\begin{itemize}
    1.32         \item What shows \ttfamily show\_pt pt;\normalfont\ldots?
    1.33 -\begin{verbatim}(([2], Res), ?X' z = 24 / (-1 + -2 * z + 8 * z ^^^ 2))]\end{verbatim}
    1.34 +\begin{verbatim}(([2], Res), ?X' z = 24 / (-1 + -2 * z + 8 * z \<up> 2))]\end{verbatim}
    1.35           The calculation is ok but no \ttfamily next \normalfont step found:
    1.36           Should be\\ \ttfamily nxt = Subproblem\normalfont!
    1.37         \item What shows \ttfamily trace\_script := true; \normalfont we read
    1.38 @@ -2468,7 +2468,7 @@
    1.39  print_depth 999; f; print_depth 3;
    1.40  { Find = [ Correct "solutions z_i"],
    1.41    With = [],
    1.42 -  Given = [Correct "equality (-1 + -2*z + 8*z ^^^ 2 = 0)",
    1.43 +  Given = [Correct "equality (-1 + -2*z + 8*z \<up> 2 = 0)",
    1.44             Correct "solveFor z"],
    1.45    Where = [...],
    1.46    Relate = [] }