Changeset 148 for docs

Legend:

Unmodified

Added

Removed

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

  r134	r148
  1	1	load "2d-gnuplot-settings.inc"
  2	2
  3	set key top right
  3	set terminal png truecolor size 900,600 enhanced rounded font "FreeSansBold" 12
  4
  5	set key top right outside
  4	6
  5	7	#The points are a hack to get the pattern fill to fill the whole of the rest of the graph
  6	8
  7	9	set output "inequality-tightening-1.png"
  8	(削除) set multiplot (削除ここまで)
  9	(削除) (削除ここまで)
  10	(削除) #Plot the points: (削除ここまで)
  11	(削除) plot "points-1-3.inc" with points title "" pt 1 ps 2 lt -1 (削除ここまで)
  12	10
  13	11	# Show a non-normalised inequality:
  14	12
  15	plot "-" with filledcurves above y1=0 title "{/*1.5 5y <= 19 - 5x}"
  13	plot "-" with filledcurves above y1=0 title "{/*1.5 5y <= 19 - 5x}", \
  14	(19 - 5*x)/5 with lines ls 1 title "", \
  15	"points-1-3.inc" with points title "" pt 1 ps 2 lt -1
  16	16	0 3.8
  17	17	3.8 0
  …	…
  22	22	#Tightened version:
  23	23
  24	(削除) unset multiplot (削除ここまで)
  25	24	set output "inequality-tightening-2.png"
  26	(削除) set multiplot (削除ここまで)
  27	25
  28	#(削除) Plot the points (削除ここまで):
  26	#(追記) Show the normalised inequality (追記ここまで):
  29	27
  30	plot "points-1-3.inc" with points title "" pt 1 ps 2 lt -1
  31
  32	# Show a non-normalised inequality:
  33
  34	plot "-" with filledcurves above y1=0 title "{/*1.5 y <= 3 - x}"
  28	plot "-" with filledcurves above y1=0 title "{/*1.5 y <= 3 - x}", \
  29	(3 - x) with lines ls 1 title "", \
  30	"points-1-3.inc" with points title "" pt 1 ps 2 lt -1
  35	31	0 3
  36	32	3 0
  …	…
  40	36	# Showing tightening to unsolveability:
  41	37
  42	(削除) unset multiplot (削除ここまで)
  43	38	set output "inequality-tightening-3.png"
  44	(削除) set multiplot (削除ここまで)
  45	39
  46	plot "points-1-3.inc" with points title "" pt 1 ps 2 lt -1
  47
  48	plot "-" with filledcurves below y1=5 title "{/*1.5 5y >= 16 - 5x}", "-" with filledcurves above y1=0 title "{/*1.5 5y <= 19 - 5x}"
  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}", \
  42	(16 - 5*x)/5 with lines ls 1 title "", \
  43	(19 - 5*x)/5 with lines ls 2 title "", \
  44	"points-1-3.inc" with points title "" pt 1 ps 2 lt -1
  45
  49	46	0 3.2
  50	47	3.2 0
  …	…
  57	54	e
  58	55
  59	(削除) unset multiplot (削除ここまで)
  60	56	set output "inequality-tightening-4.png"
  61	(削除) set multiplot (削除ここまで)
  62	57
  63	plot "points-1-3.inc" with points title "" pt 1 ps 2 lt -1
  64
  65	plot "-" with filledcurves below y1=5 title "{/*1.5 y >= 4 - x}", "-" with filledcurves above y1=0 title "{/*1.5 y <= 3 - x}"
  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}", \
  60	(4 - x) with lines ls 1 title "", \
  61	(3 - x) with lines ls 2 title "", \
  62	"points-1-3.inc" with points title "" pt 1 ps 2 lt -1
  66	63	0 4
  67	64	4 0

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