1.1 --- a/doc-src/isac/mlehnfeld/presentation.tex	Fri May 27 13:07:46 2011 +0200
     1.2 +++ b/doc-src/isac/mlehnfeld/presentation.tex	Fri May 27 18:00:42 2011 +0200
     1.3 @@ -32,6 +32,7 @@
     1.4    % or whatever (possibly just delete it)
     1.5  }
     1.6  
     1.7 +%\usepackage{setspace} %for "\begin{onehalfspace}"
     1.8  \usepackage[english]{babel}
     1.9  % or whatever
    1.10  
    1.11 @@ -164,8 +165,49 @@
    1.12  
    1.13  \subsection[TODO]{Improvement of functional code}
    1.14  \begin{frame}
    1.15 -  \frametitle{TODO}
    1.16 -Demo
    1.17 +  \frametitle{Drop \textit{Check\_Elementwise} !}
    1.18 +%\begin{verbatim}
    1.19 +%solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x)
    1.20 +%   x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x
    1.21 +%   x / (x ^ 2 + -1 * (6 * x) + 9) + -1 * 1 / (x ^ 2 + -1 * (3 * x)) = 1 / x
    1.22 +%   (3 + -1 * x + x ^ 2) / (9 * x + -6 * x ^ 2 + x ^ 3) = 1 / x
    1.23 +%   (3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3)
    1.24 +%   solve ((3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3), x)
    1.25 +%      (3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3)
    1.26 +%      (3 + -1 * x + x ^ 2) * x - 1 * (9 * x + -6 * x ^ 2 + x ^ 3) = 0
    1.27 +%      (3 + -1 * x + x ^ 2) * x - (9 * x + -6 * x ^ 2 + x ^ 3) = 0
    1.28 +%      -6 * x + 5 * x ^ 2 = 0
    1.29 +%      solve (-6 * x + 5 * x ^ 2 = 0, x)
    1.30 +%      [x = 0, x = 6 / 5]
    1.31 +%   [x = 0, x = 6 / 5]
    1.32 +%   [x = 6 / 5]
    1.33 +%[x = 6 / 5]
    1.34 +%\end{verbatim}
    1.35 +
    1.36 +\small{
    1.37 +%\begin{onehalfspace}
    1.38 +\begin{tabbing}
    1.39 +xxx\=xxx\=\kill
    1.40 +$\mathit{solve}\;(\frac{x}{x ^ 2 - 6 * x + 9} - \frac{1}{x ^ 2 - 3 * x} = \frac{1}{x}, x)$\\ \\
    1.41 +\>$\frac{x}{x ^ 2 - 6 * x + 9} - \frac{1}{x ^ 2 - 3 * x} = \frac{1}{x}$ \\ \\
    1.42 +\>$\frac{x}{x ^ 2 + -1 * (6 * x) + 9} + \frac{-1 * 1}{x ^ 2 + -1 * (3 * x)} = \frac{1}{x}$ \\ \\
    1.43 +%\>$\frac{3 + -1 * x + x ^ 2}{9 * x + -6 * x ^ 2 + x ^ 3} = \frac{1}{x}$ \\ \\
    1.44 +\>$(3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3)$ \\
    1.45 +\>$\mathit{solve}\;((3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3), x)$ \\
    1.46 +\>\>$(3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3)$ \\
    1.47 +%\>\>$(3 + -1 * x + x ^ 2) * x - 1 * (9 * x + -6 * x ^ 2 + x ^ 3) = 0$ \\
    1.48 +\>\>$(3 + -1 * x + x ^ 2) * x - (9 * x + -6 * x ^ 2 + x ^ 3) = 0$ \\
    1.49 +\>\>$-6 * x + 5 * x ^ 2 = 0$ \\
    1.50 +\>\>$\mathit{solve}\;(-6 * x + 5 * x ^ 2 = 0, x)$ \\
    1.51 +\>\>$[x = 0, x = \frac{6}{5}]$ \\
    1.52 +\>$[x = 0, x = \frac{6}{5}]$ \\
    1.53 +                                          \`\alert{$\mathit{Check\_Elementwise}\;\mathit{Assumptions}$}\\
    1.54 +\>$[x = \frac{6}{5}]$ \\
    1.55 +$[x = \frac{6}{5}]$
    1.56 +\end{tabbing}
    1.57 +}
    1.58 +%\end{onehalfspace}
    1.59 +
    1.60  \end{frame}
    1.61  
    1.62  \subsection[TODO]{Preparation of future development}