Changeset 124 for docs/trunk/omega-test-slides
- Timestamp:
- Dec 23, 2007, 8:14:57 PM (18 years ago)
- Author:
- neil.c.c.brown
- Message:
-
Added a slide about equalities, an inequality divider slide and corrected a mistake near the beginning
- File:
-
- 1 edited
- docs/trunk/omega-test-slides/omega-test.tex (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
docs/trunk/omega-test-slides/omega-test.tex
r123 r124 63 63 \begin{frame}[fragile] 64 64 \frametitle{Parallel Usage} 65 Without knowing the value of \lstinline|p|,\lstinline|q| or \lstinline|r| at (削除) run (削除ここまで)-time,65 Without knowing the value of \lstinline|p|,\lstinline|q| or \lstinline|r| at (追記) compile (追記ここまで)-time, 66 66 can we determine if this is safe: 67 67 \begin{lstlisting} … … 194 194 \end{frame} 195 195 196 %TODO show what happens when you don't yet have a unit coefficient (the substitution that is picked) 197 196 \begin{frame} 197 \frametitle{Equality Solving Method} 198 \begin{itemize} 199 \item Look for a unit coefficient ($|a_k| = 1$) so we can perform a straightforward substitution 200 \item Otherwise a special substitution is used: 201 \begin{itemize} 202 \item $x_k = -\operatorname{sign}(a_k)m\sigma + \sum_{i \in V - \{k\}} \operatorname{sign}(a_k)(a_i \widehat{\operatorname{mod}} m)x_i$ 203 \item See paper for details (no simple explanation) 204 %TODO try to think of a simple explanation, if possible 205 \end{itemize} 206 \end{itemize} 207 \end{frame} 198 208 199 209 \section{Inequalities} 210 (追記) (追記ここまで) 211 (追記) %Section divider: (追記ここまで) 212 (追記) \begin{frame} (追記ここまで) 213 (追記) \frametitle{Inequalities} (追記ここまで) 214 (追記) \end{frame} (追記ここまで) 200 215 201 216 %The ordering is mainly based on what makes the graphs clearest.
Note:
See TracChangeset
for help on using the changeset viewer.