Changeset 167

Legend:

Unmodified

Added

Removed

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

  r166	r167
  667	667	\item $C_R$ is the real shadow of $C$ (variable removed)
  668	668	\item $C_D$ is the dark shadow of $C$ (window large enough)
  669	\(削除) (削除ここまで)note{
  669	\(追記) only<2>{ \ (追記ここまで)note{
  670	670	$(C_R = C_D) \implies (\operatorname{hasIntSol}(C) \iff \operatorname{hasIntSol}(C_R))$
  671	671	$\lnot \operatorname{hasIntSol}(C_R) \implies \lnot \operatorname{hasIntSol}(C)$
  672	672	$\operatorname{hasIntSol}(C_R) \land \operatorname{hasIntSol}(C_D) \implies \operatorname{hasIntSol}(C)$
  673	673	If $\operatorname{hasIntSol}(C_R) \wedge \neg \operatorname{hasIntSol}(C_D) \wedge (C_R \neq C_D),ドル we can't yet tell the value of $\operatorname{hasIntSol}(C)$
  674	}(削除) (削除ここまで)
  674	}(追記) } (追記ここまで)
  675	675	\end{itemize}
  676	676	~\\

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