doc/lispintro/lambda-2.eps

   1 %!PS-Adobe-3.0 EPSF-3.0
   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 % Copyright (C) 1995, 1997, 2001, 2002, 2003, 2004, 2005, 2006, 2007,
   8 %   2008, 2009, 2010, 2011, 2012  Free Software Foundation, Inc.
   9 %
  10 % This file is part of GNU Emacs.
  11 %
  12 % GNU Emacs is free software: you can redistribute it and/or modify
  13 % it under the terms of the GNU General Public License as published by
  14 % the Free Software Foundation, either version 3 of the License, or
  15 % (at your option) any later version.
  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
  23 % along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.
  24
  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
 430       395 85 moveto
 431       -21 0 atan dup cos 8 mul 395 exch sub
 432       exch sin 8 mul 64 exch sub lineto
 433    stroke
 434 grestore
 435 gsave
 436    newpath
 437       395 64 8 3 0 -21 tgifarrowtip
 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