162 TODO |
163 TODO |
163 \end{frame} |
164 \end{frame} |
164 |
165 |
165 \subsection[TODO]{Improvement of functional code} |
166 \subsection[TODO]{Improvement of functional code} |
166 \begin{frame} |
167 \begin{frame} |
167 \frametitle{TODO} |
168 \frametitle{Drop \textit{Check\_Elementwise} !} |
168 Demo |
169 %\begin{verbatim} |
|
170 %solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x) |
|
171 % x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x |
|
172 % x / (x ^ 2 + -1 * (6 * x) + 9) + -1 * 1 / (x ^ 2 + -1 * (3 * x)) = 1 / x |
|
173 % (3 + -1 * x + x ^ 2) / (9 * x + -6 * x ^ 2 + x ^ 3) = 1 / x |
|
174 % (3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3) |
|
175 % solve ((3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3), x) |
|
176 % (3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3) |
|
177 % (3 + -1 * x + x ^ 2) * x - 1 * (9 * x + -6 * x ^ 2 + x ^ 3) = 0 |
|
178 % (3 + -1 * x + x ^ 2) * x - (9 * x + -6 * x ^ 2 + x ^ 3) = 0 |
|
179 % -6 * x + 5 * x ^ 2 = 0 |
|
180 % solve (-6 * x + 5 * x ^ 2 = 0, x) |
|
181 % [x = 0, x = 6 / 5] |
|
182 % [x = 0, x = 6 / 5] |
|
183 % [x = 6 / 5] |
|
184 %[x = 6 / 5] |
|
185 %\end{verbatim} |
|
186 |
|
187 \small{ |
|
188 %\begin{onehalfspace} |
|
189 \begin{tabbing} |
|
190 xxx\=xxx\=\kill |
|
191 $\mathit{solve}\;(\frac{x}{x ^ 2 - 6 * x + 9} - \frac{1}{x ^ 2 - 3 * x} = \frac{1}{x}, x)$\\ \\ |
|
192 \>$\frac{x}{x ^ 2 - 6 * x + 9} - \frac{1}{x ^ 2 - 3 * x} = \frac{1}{x}$ \\ \\ |
|
193 \>$\frac{x}{x ^ 2 + -1 * (6 * x) + 9} + \frac{-1 * 1}{x ^ 2 + -1 * (3 * x)} = \frac{1}{x}$ \\ \\ |
|
194 %\>$\frac{3 + -1 * x + x ^ 2}{9 * x + -6 * x ^ 2 + x ^ 3} = \frac{1}{x}$ \\ \\ |
|
195 \>$(3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3)$ \\ |
|
196 \>$\mathit{solve}\;((3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3), x)$ \\ |
|
197 \>\>$(3 + -1 * x + x ^ 2) * x = 1 * (9 * x + -6 * x ^ 2 + x ^ 3)$ \\ |
|
198 %\>\>$(3 + -1 * x + x ^ 2) * x - 1 * (9 * x + -6 * x ^ 2 + x ^ 3) = 0$ \\ |
|
199 \>\>$(3 + -1 * x + x ^ 2) * x - (9 * x + -6 * x ^ 2 + x ^ 3) = 0$ \\ |
|
200 \>\>$-6 * x + 5 * x ^ 2 = 0$ \\ |
|
201 \>\>$\mathit{solve}\;(-6 * x + 5 * x ^ 2 = 0, x)$ \\ |
|
202 \>\>$[x = 0, x = \frac{6}{5}]$ \\ |
|
203 \>$[x = 0, x = \frac{6}{5}]$ \\ |
|
204 \`\alert{$\mathit{Check\_Elementwise}\;\mathit{Assumptions}$}\\ |
|
205 \>$[x = \frac{6}{5}]$ \\ |
|
206 $[x = \frac{6}{5}]$ |
|
207 \end{tabbing} |
|
208 } |
|
209 %\end{onehalfspace} |
|
210 |
169 \end{frame} |
211 \end{frame} |
170 |
212 |
171 \subsection[TODO]{Preparation of future development} |
213 \subsection[TODO]{Preparation of future development} |
172 \begin{frame} |
214 \begin{frame} |
173 \frametitle{TODO} |
215 \frametitle{TODO} |