Changeset 121 for docs/trunk/omega-test-slides

Legend:

Unmodified

Added

Removed

• docs/trunk/omega-test-slides/inequality-scalene.gnu

  r120	r121
  28	28
  29	29	set output "inequality-scalene-4.png"
  30	(追記) plot 3 with filledcurves above y1=0 title "{/*1.5 y <= 3}" ls 4 (追記ここまで)
  30	31
  31	plot "inequality-scalene-points.inc" index 0 with filledcurves above y1=0 title "{/*1.5 y <= 7 - 2x}", \
  32	"inequality-scalene-points.inc" index 1 with filledcurves above y1=0 title "{/*1.5 y <= 1 + x}", \
  33	"inequality-scalene-points.inc" index 2 with filledcurves below y1=3 title "{/*1.5 2y >= 5 - x}"
  32	set output "inequality-scalene-5.png"
  33	plot "inequality-scalene-points.inc" index 0 with filledcurves above y1=0 title "{/*1.5 y <= 7 - 2x}" ls 1, \
  34	"inequality-scalene-points.inc" index 2 with filledcurves below y1=5 title "{/*1.5 2y >= 5 - x}" ls 3
  35
  36	set output "inequality-scalene-6.png"
  37	plot 1 with filledcurves below y1=5 title "{/*1.5 y >= 1}" ls 5
  38
  39	set output "inequality-scalene-7.png"
  40	plot 1 with filledcurves below y1=5 title "{/*1.5 y >= 1}" ls 5, 3 with filledcurves above y1=0 title "{/*1.5 y <= 3}" ls 4

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

  r119	r121
  246	246	\only<3>{\biggraph{inequality-scalene-3}}
  247	247	\end{frame}
  248	(追記) (追記ここまで)
  249	(追記) \begin{frame}[fragile] (追記ここまで)
  250	(追記) \frametitle{Eliminate $x$} (追記ここまで)
  251	(追記) \only<1>{\biggraph{inequality-scalene-2}} (追記ここまで)
  252	(追記) \only<2>{\biggraph{inequality-scalene-4}} (追記ここまで)
  253	(追記) \only<3>{\biggraph{inequality-scalene-5}} (追記ここまで)
  254	(追記) \only<4>{\biggraph{inequality-scalene-6}} (追記ここまで)
  255	(追記) \only<5>{\biggraph{inequality-scalene-7}} (追記ここまで)
  256	(追記) (追記ここまで)
  257	(追記) \only<6>{ (追記ここまで)
  258	(追記) $\begin{array}{llclrl} (追記ここまで)
  259	(追記) \text{\textcolor{KentRed}{Red}:}& y \leq 7 - 2x & \implies & & 2x & \leq 7 - y \\ (追記ここまで)
  260	(追記) \text{\textcolor{KentGreen}{Green}:}& y \leq 1 + x & \implies & y - 1 \leq & x & \\ (追記ここまで)
  261	(追記) \text{\textcolor{KentBlue}{Blue}:}& 2y \geq 5 - x & \implies & 5 - 2y \leq & x & (追記ここまで)
  262	(追記) \end{array}$ (追記ここまで)
  263	(追記) (追記ここまで)
  264	(追記) ~\\ (追記ここまで)
  265	(追記) (追記ここまで)
  266	(追記) Combine each upper bound with each lower bound: (追記ここまで)
  267	(追記) (追記ここまで)
  268	(追記) ~\\ (追記ここまで)
  269	(追記) (追記ここまで)
  270	(追記) $\begin{array}{llcl} (追記ここまで)
  271	(追記) \text{\textcolor{KentRed}{Red}}\wedge\text{\textcolor{KentGreen}{Green}:} & 2y - 2 &\leq 2x \leq 7 - y \implies &y \leq 3 \\ (追記ここまで)
  272	(追記) \text{\textcolor{KentRed}{Red}}\wedge\text{\textcolor{KentBlue}{Blue}:} & 10 - 4y &\leq 2x \leq 7 - y \implies &y \geq 1 (追記ここまで)
  273	(追記) \end{array}$ (追記ここまで)
  274	(追記) } (追記ここまで)
  275	(追記) \end{frame} (追記ここまで)
  276	(追記) (追記ここまで)
  277	(追記) (追記ここまで)
  248	278
  249	279	%TODO talk about eliminating a variable
  …	…
  442	472	%TODO explain what to do in the difficult case!
  443	473
  474	(追記) (追記ここまで)
  475	(追記) %TODO represent the whole process as a flow chart to give a better idea of (追記ここまで)
  476	(追記) %how all these different cases fit together (追記ここまで)
  477	(追記) (追記ここまで)
  444	478	\section{Tricky Parts}
  445	479

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