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