Commit | Line | Data |
---|---|---|
f06d3d36 | 1 | %!PS-Adobe-3.0 EPSF-3.0 |
3cc1fe6c EZ |
2 | %%BoundingBox: 33 730 240 777 |
3 | %%Title: lambda-diagram2 | |
4 | %%CreationDate: Wed Mar 8 14:33:09 1995 | |
5 | %%Creator: Tgif-2.16-p4 by William Chia-Wei Cheng (william@cs.UCLA.edu) | |
3cc1fe6c | 6 | |
f06d3d36 | 7 | % Copyright (C) 1995, 1997, 2001, 2002, 2003, 2004, 2005, 2006, 2007, |
49f70d46 | 8 | % 2008, 2009, 2010, 2011, 2012 Free Software Foundation, Inc. |
8a699aa8 GM |
9 | % |
10 | % This file is part of GNU Emacs. | |
11 | % | |
8ae3715e | 12 | % GNU Emacs is free software: you can redistribute it and/or modify |
8a699aa8 | 13 | % it under the terms of the GNU General Public License as published by |
8ae3715e GM |
14 | % the Free Software Foundation, either version 3 of the License, or |
15 | % (at your option) any later version. | |
8a699aa8 GM |
16 | % |
17 | % GNU Emacs is distributed in the hope that it will be useful, | |
18 | % but WITHOUT ANY WARRANTY; without even the implied warranty of | |
19 | % MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
20 | % GNU General Public License for more details. | |
21 | % | |
22 | % You should have received a copy of the GNU General Public License | |
8ae3715e | 23 | % along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
8a699aa8 | 24 | |
3cc1fe6c EZ |
25 | /tgifdict 132 dict def |
26 | tgifdict begin | |
27 | ||
28 | % | |
29 | % Using a zero value radius for an ellipse or an arc would result | |
30 | % in a non-invertible CTM matrix which causes problem when this | |
31 | % when this PostScript is wrapped inside other routines, such as | |
32 | % the multi.ps package from | |
33 | % ftp.ucc.su.oz.au:/pub/ps_printing/multi. You can overcome such | |
34 | % error by uncommenting the sole line of the procedure below: | |
35 | % | |
36 | /tgif_min_radius | |
37 | { | |
38 | % dup 0.01 lt { pop 0.01 } if | |
39 | } bind def | |
40 | ||
41 | /tgifellipsedict 6 dict def | |
42 | tgifellipsedict /mtrx matrix put | |
43 | ||
44 | /tgifellipse | |
45 | { tgifellipsedict begin | |
46 | /yrad exch def | |
47 | /xrad exch def | |
48 | /y exch def | |
49 | /x exch def | |
50 | /savematrix mtrx currentmatrix def | |
51 | x y translate | |
52 | xrad yrad scale | |
53 | 0 0 1 0 360 arc | |
54 | savematrix setmatrix | |
55 | end | |
56 | } def | |
57 | ||
58 | /tgifarrowtipdict 8 dict def | |
59 | tgifarrowtipdict /mtrx matrix put | |
60 | ||
61 | /tgifarrowtip | |
62 | { tgifarrowtipdict begin | |
63 | /dy exch def | |
64 | /dx exch def | |
65 | /h exch def | |
66 | /w exch def | |
67 | /y exch def | |
68 | /x exch def | |
69 | /savematrix mtrx currentmatrix def | |
70 | x y translate | |
71 | dy dx atan rotate | |
72 | 0 0 moveto | |
73 | w neg h lineto | |
74 | w neg h neg lineto | |
75 | savematrix setmatrix | |
76 | end | |
77 | } def | |
78 | ||
79 | /tgifarcdict 8 dict def | |
80 | tgifarcdict /mtrx matrix put | |
81 | ||
82 | /tgifarcn | |
83 | { tgifarcdict begin | |
84 | /endangle exch def | |
85 | /startangle exch def | |
86 | /yrad exch def | |
87 | /xrad exch def | |
88 | /y exch def | |
89 | /x exch def | |
90 | /savematrix mtrx currentmatrix def | |
91 | x y translate | |
92 | xrad yrad scale | |
93 | 0 0 1 startangle endangle arc | |
94 | savematrix setmatrix | |
95 | end | |
96 | } def | |
97 | ||
98 | /tgifarc | |
99 | { tgifarcdict begin | |
100 | /endangle exch def | |
101 | /startangle exch def | |
102 | /yrad exch def | |
103 | /xrad exch def | |
104 | /y exch def | |
105 | /x exch def | |
106 | /savematrix mtrx currentmatrix def | |
107 | x y translate | |
108 | xrad yrad scale | |
109 | 0 0 1 startangle endangle arcn | |
110 | savematrix setmatrix | |
111 | end | |
112 | } def | |
113 | ||
114 | /tgifsetuserscreendict 22 dict def | |
115 | tgifsetuserscreendict begin | |
116 | /tempctm matrix def | |
117 | /temprot matrix def | |
118 | /tempscale matrix def | |
119 | ||
120 | /concatprocs | |
121 | { /proc2 exch cvlit def | |
122 | /proc1 exch cvlit def | |
123 | /newproc proc1 length proc2 length add array def | |
124 | newproc 0 proc1 putinterval | |
125 | newproc proc1 length proc2 putinterval | |
126 | newproc cvx | |
127 | } def | |
128 | /resmatrix matrix def | |
129 | /findresolution | |
130 | { 72 0 resmatrix defaultmatrix dtransform | |
131 | /yres exch def /xres exch def | |
132 | xres dup mul yres dup mul add sqrt | |
133 | } def | |
134 | end | |
135 | ||
136 | /tgifsetuserscreen | |
137 | { tgifsetuserscreendict begin | |
138 | /spotfunction exch def | |
139 | /screenangle exch def | |
140 | /cellsize exch def | |
141 | ||
142 | /m tempctm currentmatrix def | |
143 | /rm screenangle temprot rotate def | |
144 | /sm cellsize dup tempscale scale def | |
145 | ||
146 | sm rm m m concatmatrix m concatmatrix pop | |
147 | ||
148 | 1 0 m dtransform /y1 exch def /x1 exch def | |
149 | ||
150 | /veclength x1 dup mul y1 dup mul add sqrt def | |
151 | /frequency findresolution veclength div def | |
152 | ||
153 | /newscreenangle y1 x1 atan def | |
154 | ||
155 | m 2 get m 1 get mul m 0 get m 3 get mul sub 0 gt | |
156 | ||
157 | {{neg} /spotfunction load concatprocs | |
158 | /spotfunction exch def | |
159 | } if | |
160 | ||
161 | frequency newscreenangle /spotfunction load setscreen | |
162 | end | |
163 | } def | |
164 | ||
165 | /tgifsetpatterndict 18 dict def | |
166 | tgifsetpatterndict begin | |
167 | /bitison | |
168 | { /ybit exch def /xbit exch def | |
169 | /bytevalue bstring ybit bwidth mul xbit 8 idiv add get def | |
170 | ||
171 | /mask 1 7 xbit 8 mod sub bitshift def | |
172 | bytevalue mask and 0 ne | |
173 | } def | |
174 | end | |
175 | ||
176 | /tgifbitpatternspotfunction | |
177 | { tgifsetpatterndict begin | |
178 | /y exch def /x exch def | |
179 | ||
180 | /xindex x 1 add 2 div bpside mul cvi def | |
181 | /yindex y 1 add 2 div bpside mul cvi def | |
182 | ||
183 | xindex yindex bitison | |
184 | { /onbits onbits 1 add def 1 } | |
185 | { /offbits offbits 1 add def 0 } | |
186 | ifelse | |
187 | end | |
188 | } def | |
189 | ||
190 | /tgifsetpattern | |
191 | { tgifsetpatterndict begin | |
192 | /cellsz exch def | |
193 | /angle exch def | |
194 | /bwidth exch def | |
195 | /bpside exch def | |
196 | /bstring exch def | |
197 | ||
198 | /onbits 0 def /offbits 0 def | |
199 | cellsz angle /tgifbitpatternspotfunction load tgifsetuserscreen | |
200 | {} settransfer | |
201 | offbits offbits onbits add div setgray | |
202 | end | |
203 | } def | |
204 | ||
205 | /tgifxpmdict 4 dict def | |
206 | /tgifbwpicstr 1 string def | |
207 | /tgifcolorpicstr 3 string def | |
208 | ||
209 | /tgifsetpixels { tgifxpmdict begin /pixels exch def end } def | |
210 | ||
211 | /tgifsetpix { tgifxpmdict begin pixels 3 1 roll putinterval end } def | |
212 | ||
213 | /tgifbwspot | |
214 | { tgifxpmdict begin | |
215 | /index exch def | |
216 | tgifbwpicstr 0 | |
217 | pixels index 3 mul 3 getinterval aload pop | |
218 | 255 mul .114 mul exch 255 mul .587 mul add exch 255 mul .299 mul add | |
219 | cvi put | |
220 | tgifbwpicstr | |
221 | end | |
222 | } def | |
223 | ||
224 | /tgifcolorspot | |
225 | { tgifxpmdict begin | |
226 | /index exch def | |
227 | pixels index 3 mul 3 getinterval aload pop | |
228 | 255 mul cvi tgifcolorpicstr 2 3 -1 roll put | |
229 | 255 mul cvi tgifcolorpicstr 1 3 -1 roll put | |
230 | 255 mul cvi tgifcolorpicstr 0 3 -1 roll put | |
231 | tgifcolorpicstr | |
232 | end | |
233 | } def | |
234 | ||
235 | /tgifnewcolorspot | |
236 | { tgifxpmdict begin | |
237 | /index exch def | |
238 | pixels index 3 mul 3 getinterval aload pop setrgbcolor | |
239 | end | |
240 | } def | |
241 | ||
242 | /tgifcolordict 4 dict def | |
243 | ||
244 | /colorimage where | |
245 | { pop } | |
246 | { /colorimage | |
247 | { tgifcolordict begin | |
248 | pop pop pop pop pop | |
249 | /ih exch def | |
250 | /iw exch def | |
251 | /x 0 def | |
252 | /y 0 def | |
253 | 1 1 ih | |
254 | { pop 1 1 iw | |
255 | { pop currentfile | |
256 | tgifbwpicstr readhexstring pop 0 get tgifnewcolorspot | |
257 | x y moveto 1 0 rlineto 0 1 rlineto -1 0 rlineto | |
258 | closepath fill | |
259 | /x x 1 add def | |
260 | } for | |
261 | /y y 1 add def | |
262 | /x 0 def | |
263 | } for | |
264 | end | |
265 | } def | |
266 | } ifelse | |
267 | ||
268 | /tgifpatdict 10 dict def | |
269 | ||
270 | /tgifpatbyte | |
271 | { currentdict /retstr get exch | |
272 | pat i cellsz mod get put | |
273 | } def | |
274 | ||
275 | /tgifpatproc | |
276 | { 0 1 widthlim {tgifpatbyte} for retstr | |
277 | /i i 1 add def | |
278 | } def | |
279 | ||
280 | /tgifpatfill | |
281 | { tgifpatdict begin | |
282 | /h exch def | |
283 | /w exch def | |
284 | /lty exch def | |
285 | /ltx exch def | |
286 | /cellsz exch def | |
287 | /pat exch def | |
288 | ||
289 | /widthlim w cellsz div cvi 1 sub def | |
290 | /retstr widthlim 1 add string def | |
291 | /i 0 def | |
292 | ||
293 | ltx lty translate | |
294 | w h true [1 0 0 1 0 0] {tgifpatproc} imagemask | |
295 | ltx neg lty neg translate | |
296 | end | |
297 | } def | |
298 | ||
299 | /pat1 <ffffffffffffffff> def | |
300 | /pat2 <0000000000000000> def | |
301 | /pat3 <8000000008000000> def | |
302 | /pat4 <8800000022000000> def | |
303 | /pat5 <8800220088002200> def | |
304 | /pat6 <8822882288228822> def | |
305 | /pat7 <aa55aa55aa55aa55> def | |
306 | /pat8 <77dd77dd77dd77dd> def | |
307 | /pat9 <77ffddff77ffddff> def | |
308 | /pat10 <77ffffff77ffffff> def | |
309 | /pat11 <7fffffff7fffffff> def | |
310 | /pat12 <8040200002040800> def | |
311 | /pat13 <40a00000040a0000> def | |
312 | /pat14 <ff888888ff888888> def | |
313 | /pat15 <ff808080ff080808> def | |
314 | /pat16 <f87422478f172271> def | |
315 | /pat17 <038448300c020101> def | |
316 | /pat18 <081c22c180010204> def | |
317 | /pat19 <8080413e080814e3> def | |
318 | /pat20 <8040201008040201> def | |
319 | /pat21 <8844221188442211> def | |
320 | /pat22 <77bbddee77bbddee> def | |
321 | /pat23 <c1e070381c0e0783> def | |
322 | /pat24 <7fbfdfeff7fbfdfe> def | |
323 | /pat25 <3e1f8fc7e3f1f87c> def | |
324 | /pat26 <0102040810204080> def | |
325 | /pat27 <1122448811224488> def | |
326 | /pat28 <eeddbb77eeddbb77> def | |
327 | /pat29 <83070e1c3870e0c1> def | |
328 | /pat30 <fefdfbf7efdfbf7f> def | |
329 | /pat31 <7cf8f1e3c78f1f3e> def | |
330 | ||
331 | /tgifcentertext { dup stringwidth pop 2 div neg 0 rmoveto } def | |
332 | ||
333 | /tgifrighttext { dup stringwidth pop neg 0 rmoveto } def | |
334 | ||
335 | /tgifreencsmalldict 12 dict def | |
336 | /tgifReEncodeSmall | |
337 | { tgifreencsmalldict begin | |
338 | /newcodesandnames exch def | |
339 | /newfontname exch def | |
340 | /basefontname exch def | |
341 | ||
342 | /basefontdict basefontname findfont def | |
343 | /newfont basefontdict maxlength dict def | |
344 | ||
345 | basefontdict | |
346 | { exch dup /FID ne | |
347 | { dup /Encoding eq | |
348 | { exch dup length array copy newfont 3 1 roll put } | |
349 | { exch newfont 3 1 roll put } | |
350 | ifelse | |
351 | } | |
352 | { pop pop } | |
353 | ifelse | |
354 | } | |
355 | forall | |
356 | ||
357 | newfont /FontName newfontname put | |
358 | newcodesandnames aload pop | |
359 | ||
360 | newcodesandnames length 2 idiv | |
361 | { newfont /Encoding get 3 1 roll put} | |
362 | repeat | |
363 | ||
364 | newfontname newfont definefont pop | |
365 | end | |
366 | } def | |
367 | ||
368 | /tgifgray { 8 1 0 72 300 32 div div tgifsetpattern } bind def | |
369 | ||
370 | /tgifboxdict 6 dict def | |
371 | /tgifboxstroke | |
372 | { tgifboxdict begin | |
373 | /pat def /w def /y2 exch def /x2 exch def /y1 exch def /x1 exch def | |
374 | 1.415 setmiterlimit | |
375 | w 1 eq { w setlinewidth } if | |
376 | pat pat1 ne pat pat2 ne and { gsave pat tgifgray } if | |
377 | newpath x1 y1 moveto x2 y1 lineto x2 y2 lineto x1 y2 lineto closepath | |
378 | pat pat2 eq { 1 setgray stroke 0 setgray } { stroke } ifelse | |
379 | pat pat1 ne pat pat2 ne and { grestore } if | |
380 | w 1 eq { 1 setlinewidth } if | |
381 | 1 setmiterlimit | |
382 | end | |
383 | } def | |
384 | /tgifboxfill | |
385 | { tgifboxdict begin | |
386 | /pat def /y2 exch def /x2 exch def /y1 exch def /x1 exch def | |
387 | pat pat1 ne pat pat2 ne and { gsave pat tgifgray } if | |
388 | newpath x1 y1 moveto x2 y1 lineto x2 y2 lineto x1 y2 lineto closepath | |
389 | pat pat2 eq { 1 setgray fill 0 setgray } { fill } ifelse | |
390 | pat pat1 ne pat pat2 ne and { grestore } if | |
391 | end | |
392 | } def | |
393 | ||
394 | end | |
395 | ||
396 | %%PageBoundingBox: 33 730 240 777 | |
397 | tgifdict begin | |
398 | /tgifsavedpage save def | |
399 | ||
400 | 1 setmiterlimit | |
401 | 1 setlinewidth | |
402 | ||
403 | 0 setgray | |
404 | ||
405 | 72 0 mul 72 11.00 mul translate | |
406 | 72 128 div 100 mul 100 div dup neg scale | |
407 | ||
408 | gsave | |
409 | ||
410 | % TEXT | |
411 | 0 setgray | |
412 | /Courier findfont [17 0 0 -17 0 0] makefont setfont | |
413 | gsave | |
414 | 63 43 moveto (\(\(lambda \(number\) \(* 7 number\)\) 3\)) show | |
415 | grestore | |
416 | ||
417 | % POLY/OPEN-SPLINE | |
418 | gsave | |
419 | newpath | |
420 | 80 48 moveto | |
421 | 96 64 lineto | |
422 | 336 64 lineto | |
423 | 353 49 lineto | |
424 | stroke | |
425 | grestore | |
426 | ||
427 | % POLY/OPEN-SPLINE | |
428 | gsave | |
429 | newpath | |
56aca04a RC |
430 | 395 85 moveto |
431 | -21 0 atan dup cos 8 mul 395 exch sub | |
3cc1fe6c EZ |
432 | exch sin 8 mul 64 exch sub lineto |
433 | stroke | |
434 | grestore | |
435 | gsave | |
436 | newpath | |
56aca04a | 437 | 395 64 8 3 0 -21 tgifarrowtip |
3cc1fe6c EZ |
438 | closepath fill |
439 | grestore | |
440 | ||
441 | % POLY/OPEN-SPLINE | |
442 | gsave | |
443 | newpath | |
444 | 208 69 moveto | |
445 | 208 85 lineto | |
446 | stroke | |
447 | grestore | |
448 | ||
449 | % TEXT | |
450 | 0 setgray | |
451 | /Courier findfont [17 0 0 -17 0 0] makefont setfont | |
452 | gsave | |
453 | 112 102 moveto (anonymous function) show | |
454 | grestore | |
455 | ||
456 | % TEXT | |
457 | 0 setgray | |
458 | /Courier findfont [17 0 0 -17 0 0] makefont setfont | |
459 | gsave | |
460 | 344 102 moveto (argument) show | |
461 | grestore | |
462 | ||
463 | grestore | |
464 | tgifsavedpage restore | |
465 | end | |
466 | %MatchingCreationDate: Wed Mar 8 14:33:09 1995 |