]> AND Private Git Repository - cours-maths-dis.git/blob - ensembles/relExo.eps
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
correction Algboole13
[cours-maths-dis.git] / ensembles / relExo.eps
1 %!PS-Adobe-2.0
2 %%Creator: Graphviz version 2.16 (Fri Feb  8 12:52:03 UTC 2008)
3 %%For: (couchot) Jean-François Couchot,,,
4 %%Title: G
5 %%Pages: (atend)
6 %%BoundingBox: (atend)
7 %%EndComments
8 save
9 %%BeginProlog
10 /DotDict 200 dict def
11 DotDict begin
12
13 /setupLatin1 {
14 mark
15 /EncodingVector 256 array def
16  EncodingVector 0
17
18 ISOLatin1Encoding 0 255 getinterval putinterval
19 EncodingVector 45 /hyphen put
20
21 % Set up ISO Latin 1 character encoding
22 /starnetISO {
23         dup dup findfont dup length dict begin
24         { 1 index /FID ne { def }{ pop pop } ifelse
25         } forall
26         /Encoding EncodingVector def
27         currentdict end definefont
28 } def
29 /Times-Roman starnetISO def
30 /Times-Italic starnetISO def
31 /Times-Bold starnetISO def
32 /Times-BoldItalic starnetISO def
33 /Helvetica starnetISO def
34 /Helvetica-Oblique starnetISO def
35 /Helvetica-Bold starnetISO def
36 /Helvetica-BoldOblique starnetISO def
37 /Courier starnetISO def
38 /Courier-Oblique starnetISO def
39 /Courier-Bold starnetISO def
40 /Courier-BoldOblique starnetISO def
41 cleartomark
42 } bind def
43
44 %%BeginResource: procset graphviz 0 0
45 /coord-font-family /Times-Roman def
46 /default-font-family /Times-Roman def
47 /coordfont coord-font-family findfont 8 scalefont def
48
49 /InvScaleFactor 1.0 def
50 /set_scale {
51        dup 1 exch div /InvScaleFactor exch def
52        scale
53 } bind def
54
55 % styles
56 /solid { [] 0 setdash } bind def
57 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
58 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
59 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
60 /bold { 2 setlinewidth } bind def
61 /filled { } bind def
62 /unfilled { } bind def
63 /rounded { } bind def
64 /diagonals { } bind def
65
66 % hooks for setting color 
67 /nodecolor { sethsbcolor } bind def
68 /edgecolor { sethsbcolor } bind def
69 /graphcolor { sethsbcolor } bind def
70 /nopcolor {pop pop pop} bind def
71
72 /beginpage {    % i j npages
73         /npages exch def
74         /j exch def
75         /i exch def
76         /str 10 string def
77         npages 1 gt {
78                 gsave
79                         coordfont setfont
80                         0 0 moveto
81                         (\() show i str cvs show (,) show j str cvs show (\)) show
82                 grestore
83         } if
84 } bind def
85
86 /set_font {
87         findfont exch
88         scalefont setfont
89 } def
90
91 % draw text fitted to its expected width
92 /alignedtext {                  % width text
93         /text exch def
94         /width exch def
95         gsave
96                 width 0 gt {
97                         [] 0 setdash
98                         text stringwidth pop width exch sub text length div 0 text ashow
99                 } if
100         grestore
101 } def
102
103 /boxprim {                              % xcorner ycorner xsize ysize
104                 4 2 roll
105                 moveto
106                 2 copy
107                 exch 0 rlineto
108                 0 exch rlineto
109                 pop neg 0 rlineto
110                 closepath
111 } bind def
112
113 /ellipse_path {
114         /ry exch def
115         /rx exch def
116         /y exch def
117         /x exch def
118         matrix currentmatrix
119         newpath
120         x y translate
121         rx ry scale
122         0 0 1 0 360 arc
123         setmatrix
124 } bind def
125
126 /endpage { showpage } bind def
127 /showpage { } def
128
129 /layercolorseq
130         [       % layer color sequence - darkest to lightest
131                 [0 0 0]
132                 [.2 .8 .8]
133                 [.4 .8 .8]
134                 [.6 .8 .8]
135                 [.8 .8 .8]
136         ]
137 def
138
139 /layerlen layercolorseq length def
140
141 /setlayer {/maxlayer exch def /curlayer exch def
142         layercolorseq curlayer 1 sub layerlen mod get
143         aload pop sethsbcolor
144         /nodecolor {nopcolor} def
145         /edgecolor {nopcolor} def
146         /graphcolor {nopcolor} def
147 } bind def
148
149 /onlayer { curlayer ne {invis} if } def
150
151 /onlayers {
152         /myupper exch def
153         /mylower exch def
154         curlayer mylower lt
155         curlayer myupper gt
156         or
157         {invis} if
158 } def
159
160 /curlayer 0 def
161
162 %%EndResource
163 %%EndProlog
164 %%BeginSetup
165 14 default-font-family set_font
166 1 setmiterlimit
167 % /arrowlength 10 def
168 % /arrowwidth 5 def
169
170 % make sure pdfmark is harmless for PS-interpreters other than Distiller
171 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
172 % make '<<' and '>>' safe on PS Level 1 devices
173 /languagelevel where {pop languagelevel}{1} ifelse
174 2 lt {
175     userdict (<<) cvn ([) cvn load put
176     userdict (>>) cvn ([) cvn load put
177 } if
178
179 %%EndSetup
180 setupLatin1
181 %%Page: 1 1
182 %%PageBoundingBox: 36 36 170 368
183 %%PageOrientation: Portrait
184 0 0 1 beginpage
185 gsave
186 36 36 134 332 boxprim clip newpath
187 1 1 set_scale 0 rotate 40 40 translate
188 % 8
189 gsave
190 1 setlinewidth
191 0.000 0.000 0.000 nodecolor
192 63 306 27 18 ellipse_path stroke
193 0.000 0.000 0.000 nodecolor
194 14.00 /Times-Roman set_font
195 59.625 302.4 moveto 6.75 (8) alignedtext
196 grestore
197 % 6
198 gsave
199 1 setlinewidth
200 0.000 0.000 0.000 nodecolor
201 27 234 27 18 ellipse_path stroke
202 0.000 0.000 0.000 nodecolor
203 14.00 /Times-Roman set_font
204 23.625 230.4 moveto 6.75 (6) alignedtext
205 grestore
206 % 8->6
207 gsave
208 1 setlinewidth
209 0.000 0.000 0.000 edgecolor
210 newpath 54 289 moveto
211 50 280 45 270 40 260 curveto
212 stroke
213 0.000 0.000 0.000 edgecolor
214 newpath 43.2598 258.717 moveto
215 36 251 lineto
216 36.8631 261.56 lineto
217 closepath fill
218 1 setlinewidth
219 solid
220 0.000 0.000 0.000 edgecolor
221 newpath 43.2598 258.717 moveto
222 36 251 lineto
223 36.8631 261.56 lineto
224 closepath stroke
225 grestore
226 % 7
227 gsave
228 1 setlinewidth
229 0.000 0.000 0.000 nodecolor
230 99 234 27 18 ellipse_path stroke
231 0.000 0.000 0.000 nodecolor
232 14.00 /Times-Roman set_font
233 95.625 230.4 moveto 6.75 (7) alignedtext
234 grestore
235 % 8->7
236 gsave
237 1 setlinewidth
238 0.000 0.000 0.000 edgecolor
239 newpath 72 289 moveto
240 76 280 81 270 86 260 curveto
241 stroke
242 0.000 0.000 0.000 edgecolor
243 newpath 89.1369 261.56 moveto
244 90 251 lineto
245 82.7402 258.717 lineto
246 closepath fill
247 1 setlinewidth
248 solid
249 0.000 0.000 0.000 edgecolor
250 newpath 89.1369 261.56 moveto
251 90 251 lineto
252 82.7402 258.717 lineto
253 closepath stroke
254 grestore
255 % 4
256 gsave
257 1 setlinewidth
258 0.000 0.000 0.000 nodecolor
259 27 162 27 18 ellipse_path stroke
260 0.000 0.000 0.000 nodecolor
261 14.00 /Times-Roman set_font
262 23.625 158.4 moveto 6.75 (4) alignedtext
263 grestore
264 % 6->4
265 gsave
266 1 setlinewidth
267 0.000 0.000 0.000 edgecolor
268 newpath 27 216 moveto
269 27 208 27 199 27 190 curveto
270 stroke
271 0.000 0.000 0.000 edgecolor
272 newpath 30.5001 190 moveto
273 27 180 lineto
274 23.5001 190 lineto
275 closepath fill
276 1 setlinewidth
277 solid
278 0.000 0.000 0.000 edgecolor
279 newpath 30.5001 190 moveto
280 27 180 lineto
281 23.5001 190 lineto
282 closepath stroke
283 grestore
284 % 5
285 gsave
286 1 setlinewidth
287 0.000 0.000 0.000 nodecolor
288 99 162 27 18 ellipse_path stroke
289 0.000 0.000 0.000 nodecolor
290 14.00 /Times-Roman set_font
291 95.625 158.4 moveto 6.75 (5) alignedtext
292 grestore
293 % 6->5
294 gsave
295 1 setlinewidth
296 0.000 0.000 0.000 edgecolor
297 newpath 42 219 moveto
298 52 209 65 196 77 184 curveto
299 stroke
300 0.000 0.000 0.000 edgecolor
301 newpath 79.4038 186.546 moveto
302 84 177 lineto
303 74.454 181.596 lineto
304 closepath fill
305 1 setlinewidth
306 solid
307 0.000 0.000 0.000 edgecolor
308 newpath 79.4038 186.546 moveto
309 84 177 lineto
310 74.454 181.596 lineto
311 closepath stroke
312 grestore
313 % 7->5
314 gsave
315 1 setlinewidth
316 0.000 0.000 0.000 edgecolor
317 newpath 99 216 moveto
318 99 208 99 199 99 190 curveto
319 stroke
320 0.000 0.000 0.000 edgecolor
321 newpath 102.5 190 moveto
322 99 180 lineto
323 95.5001 190 lineto
324 closepath fill
325 1 setlinewidth
326 solid
327 0.000 0.000 0.000 edgecolor
328 newpath 102.5 190 moveto
329 99 180 lineto
330 95.5001 190 lineto
331 closepath stroke
332 grestore
333 % 3
334 gsave
335 1 setlinewidth
336 0.000 0.000 0.000 nodecolor
337 63 90 27 18 ellipse_path stroke
338 0.000 0.000 0.000 nodecolor
339 14.00 /Times-Roman set_font
340 59.625 86.4 moveto 6.75 (3) alignedtext
341 grestore
342 % 4->3
343 gsave
344 1 setlinewidth
345 0.000 0.000 0.000 edgecolor
346 newpath 36 145 moveto
347 40 136 45 126 50 116 curveto
348 stroke
349 0.000 0.000 0.000 edgecolor
350 newpath 53.1369 117.56 moveto
351 54 107 lineto
352 46.7402 114.717 lineto
353 closepath fill
354 1 setlinewidth
355 solid
356 0.000 0.000 0.000 edgecolor
357 newpath 53.1369 117.56 moveto
358 54 107 lineto
359 46.7402 114.717 lineto
360 closepath stroke
361 grestore
362 % 5->3
363 gsave
364 1 setlinewidth
365 0.000 0.000 0.000 edgecolor
366 newpath 90 145 moveto
367 86 136 81 126 76 116 curveto
368 stroke
369 0.000 0.000 0.000 edgecolor
370 newpath 79.2598 114.717 moveto
371 72 107 lineto
372 72.8631 117.56 lineto
373 closepath fill
374 1 setlinewidth
375 solid
376 0.000 0.000 0.000 edgecolor
377 newpath 79.2598 114.717 moveto
378 72 107 lineto
379 72.8631 117.56 lineto
380 closepath stroke
381 grestore
382 % 1
383 gsave
384 1 setlinewidth
385 0.000 0.000 0.000 nodecolor
386 27 18 27 18 ellipse_path stroke
387 0.000 0.000 0.000 nodecolor
388 14.00 /Times-Roman set_font
389 23.625 14.4 moveto 6.75 (1) alignedtext
390 grestore
391 % 3->1
392 gsave
393 1 setlinewidth
394 0.000 0.000 0.000 edgecolor
395 newpath 54 73 moveto
396 50 64 45 54 40 44 curveto
397 stroke
398 0.000 0.000 0.000 edgecolor
399 newpath 43.2598 42.7166 moveto
400 36 35 lineto
401 36.8631 45.5596 lineto
402 closepath fill
403 1 setlinewidth
404 solid
405 0.000 0.000 0.000 edgecolor
406 newpath 43.2598 42.7166 moveto
407 36 35 lineto
408 36.8631 45.5596 lineto
409 closepath stroke
410 grestore
411 % 2
412 gsave
413 1 setlinewidth
414 0.000 0.000 0.000 nodecolor
415 99 18 27 18 ellipse_path stroke
416 0.000 0.000 0.000 nodecolor
417 14.00 /Times-Roman set_font
418 95.625 14.4 moveto 6.75 (2) alignedtext
419 grestore
420 % 3->2
421 gsave
422 1 setlinewidth
423 0.000 0.000 0.000 edgecolor
424 newpath 72 73 moveto
425 76 64 81 54 86 44 curveto
426 stroke
427 0.000 0.000 0.000 edgecolor
428 newpath 89.1369 45.5596 moveto
429 90 35 lineto
430 82.7402 42.7166 lineto
431 closepath fill
432 1 setlinewidth
433 solid
434 0.000 0.000 0.000 edgecolor
435 newpath 89.1369 45.5596 moveto
436 90 35 lineto
437 82.7402 42.7166 lineto
438 closepath stroke
439 grestore
440 endpage
441 showpage
442 grestore
443 %%PageTrailer
444 %%EndPage: 1
445 %%Trailer
446 %%Pages: 1
447 %%BoundingBox: 36 36 170 368
448 end
449 restore
450 %%EOF