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