changeset 59970 | ab1c25c0339a |
parent 59878 | 3163e63a5111 |
child 60154 | 2ab0d1523731 |
1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex Tue May 12 16:22:00 2020 +0200 1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex Tue May 12 17:42:29 2020 +0200 1.3 @@ -1002,7 +1002,7 @@ 1.4 the original \emph{srls}.\\ 1.5 1.6 \begin{verbatim} 1.7 - val {srls,...} = get_met ["SignalProcessing", 1.8 + val {srls,...} = Method.from_store ["SignalProcessing", 1.9 "Z_Transform", 1.10 "Inverse"]; 1.11 \end{verbatim} 1.12 @@ -2391,7 +2391,7 @@ 1.13 arguments in the arguments\ldots 1.14 \begin{verbatim} 1.15 val Prog s = 1.16 - (#scr o get_met) ["SignalProcessing", 1.17 + (#scr o Method.from_store) ["SignalProcessing", 1.18 "Z_Transform", 1.19 "Inverse"]; 1.20 writeln (UnparseC.term s); 1.21 @@ -2698,7 +2698,7 @@ 1.22 parse-tree of the program with {\sisac}'s specific debug tools: 1.23 \begin{verbatim} 1.24 val {scr = Prog t,...} = 1.25 - get_met ["simplification", 1.26 + Method.from_store ["simplification", 1.27 "of_rationals", 1.28 "to_partial_fraction"]; 1.29 atomty_thy @ { theory } t ;