Context Navigation

Changeset 203

Timestamp:

Jan 31, 2008, 3:06:13 PM (18 years ago)

Author:

neil.c.c.brown

Message:

Corrected a logic equation relating to the difficult case

File:

1 edited

Unmodified

Added

Removed

r202	r203
709	709	\frametitle{What Do We Know in the Difficult Case?}
710	710	\begin{itemize}
711	\item Recall: $~~(削除) hasIntSol(C_D) \implies b\alpha - a\beta > ab - a - b (削除ここまで)~~$
711	\item Recall: $(追記) b\alpha - a\beta > ab - a - b \implies hasIntSol(C_D) (追記ここまで)$
712	712	\item $\lnot hasIntSol(C_D) \implies b\alpha - a\beta \leq ab - a - b$
713	713	\item $hasIntSol(C_R) \implies a\beta \leq b\alpha$

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