Changeset 156 for docs

Legend:

Unmodified

Added

Removed

• docs/trunk/omega-test-slides/omega-test.tex

  r155	r156
  782	782	\note{
  783	783	\begin{tabular}{lll}
  784	(追記) % x zero (追記ここまで)
  784	785	& $x = 0,ドル & $x \operatorname{REM} y = 0$ \\
  785	786	\hline
  786	$a = 0$:& $x \geq 1,ドル& $x \operatorname{REM} y = x,ドル \\
  787	1ドル \leq y$ && $y - 1 \geq x \geq 0$ \\
  788	\hline
  787	% x positive, a = 0, y positive:
  788	$a = 0,ドル 1ドル \leq y$:& $x \geq 1,ドル& $x \operatorname{REM} y = x,ドル$y - 1 \geq x \geq 0$ \\
  789	\hline
  790	% x positive, a non-zero, y positive:
  789	791	$a = - \operatorname{sign}(x)|y| \lfloor \frac{|x|}{|y|} \rfloor$:& $x \geq 1,ドル& $x \operatorname{REM} y = x + a,ドル \\
  790	792	1ドル \leq y$ & $a \leq -y,ドル& $y - 1 \geq x + a \geq 0$ \\
  791	793	\hline
  792	$a = 0$:& $x \leq -1,ドル& $x \operatorname{REM} y = x,ドル \\
  793	$y \leq -1$ & & 1ドル + y \leq x \leq 0$ \\
  794	\hline
  794	% x positive, a = 0, y negative:
  795	$a = 0,ドル$y \leq -1$:& $x \geq 1,ドル& $x \operatorname{REM} y = x,ドル $-y - 1 \geq x \geq 0$ \\
  796	\hline
  797	% x positive, a non-zero, y negative:
  798	$a = - \operatorname{sign}(x)|y| \lfloor \frac{|x|}{|y|} \rfloor$:& $x \geq 1,ドル& $x \operatorname{REM} y = x + a,ドル \\
  799	$y \leq -1$ & $a \leq y,ドル& $-y - 1 \geq x + a \geq 0$ \\
  800	\hline
  801	% x negative, a = 0, y positive:
  802	$a = 0,ドル1ドル \leq y$:& $x \leq -1,ドル& $x \operatorname{REM} y = x,ドル 1ドル - y \leq x \leq 0$ \\
  803	\hline
  804	% x negative, a non-zero, y positive:
  805	$a = - \operatorname{sign}(x)|y| \lfloor \frac{|x|}{|y|} \rfloor$: & $x \leq -1,ドル& $x \operatorname{REM} y = x + a ,ドル \\
  806	1ドル \leq y$ & $a \geq y,ドル & 1ドル - y \leq x + a \leq 0$ \\
  807	\hline
  808	% x negative, a = 0, y negative:
  809	$a = 0,ドル $y \leq -1$:& $x \leq -1,ドル& $x \operatorname{REM} y = x,ドル 1ドル + y \leq x \leq 0$ \\
  810	\hline
  811	% x negative, a non-zero, y negative:
  795	812	$a = - \operatorname{sign}(x)|y| \lfloor \frac{|x|}{|y|} \rfloor$: & $x \leq -1,ドル& $x \operatorname{REM} y = x + a ,ドル \\
  796	813	$y \leq -1$ & $a \geq -y,ドル & 1ドル + y \leq x + a \leq 0$ \\

Note: See TracChangeset for help on using the changeset viewer.