Changeset 158

Legend:

Unmodified

Added

Removed

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

  r147	r158
  8	8
  9	9	plot "-" with filledcurves below y1=5 title "{/*1.5 4y >= 15 - 5x}", \
  10	"-" with filledcurves above y1=0 (削除) (削除ここまで)title "{/*1.5 4y <= 15 - 5x}", \
  10	"-" with filledcurves above y1=0 (追記) fs transparent pattern 5 border (追記ここまで)title "{/*1.5 4y <= 15 - 5x}", \
  11	11	"-" with lines lw 3 lc rgb "brown" title "{/*1.5 4y = 15 - 5x}"
  12	12	0 3.75

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

  r147	r158
  8	8
  9	9	plot "-" with filledcurves above y1=0 title "{/*1.5 4y <= 15 - 5x}", \
  10	"-" with filledcurves below y1=5 (削除) (削除ここまで)title "{/*1.5 4y >= 10 - 5x}", \
  10	"-" with filledcurves below y1=5 (追記) fs transparent pattern 5 border (追記ここまで)title "{/*1.5 4y >= 10 - 5x}", \
  11	11	(15 - 5*x)/4 with lines ls 1 title "", \
  12	12	(10 - 5*x)/4 with lines ls 2 title ""

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

  r147	r158
  8	8
  9	9	plot "-" with filledcurves below y1=5 title "{/*1.5 4y >= 15 - 5x}", \
  10	"-" with filledcurves below y1=5 (削除) (削除ここまで)title "{/*1.5 4y >= 10 - 5x}", \
  10	"-" with filledcurves below y1=5 (追記) fs transparent pattern 5 border (追記ここまで)title "{/*1.5 4y >= 10 - 5x}", \
  11	11	(15 - 5*x)/4 with lines ls 1 title "", \
  12	12	(10 - 5*x)/4 with lines ls 2 title ""

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

  r148	r158
  39	39
  40	40	plot "-" with filledcurves below y1=5 title "{/*1.5 5y >= 16 - 5x}", \
  41	"-" with filledcurves above y1=0 (削除) (削除ここまで)title "{/*1.5 5y <= 19 - 5x}", \
  41	"-" with filledcurves above y1=0 (追記) fs transparent pattern 5 border (追記ここまで)title "{/*1.5 5y <= 19 - 5x}", \
  42	42	(16 - 5*x)/5 with lines ls 1 title "", \
  43	43	(19 - 5*x)/5 with lines ls 2 title "", \
  …	…
  57	57
  58	58	plot "-" with filledcurves below y1=5 title "{/*1.5 y >= 4 - x}", \
  59	"-" with filledcurves above y1=0 (削除) (削除ここまで)title "{/*1.5 y <= 3 - x}", \
  59	"-" with filledcurves above y1=0 (追記) fs transparent pattern 5 border (追記ここまで)title "{/*1.5 y <= 3 - x}", \
  60	60	(4 - x) with lines ls 1 title "", \
  61	61	(3 - x) with lines ls 2 title "", \

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

  r147	r158
  8	8
  9	9	plot "-" with filledcurves below y1=5 title "{/*1.5 4y >= 15 - 5x}", \
  10	"-" with filledcurves above y1=0 (削除) (削除ここまで)title "{/*1.5 4y <= 10 - 5x}", \
  10	"-" with filledcurves above y1=0 (追記) fs transparent pattern 5 border (追記ここまで)title "{/*1.5 4y <= 10 - 5x}", \
  11	11	(15 - 5*x)/4 with lines ls 1 title "", \
  12	12	(10 - 5*x)/4 with lines ls 2 title ""

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