doc/lispintro/lambda-2.eps

   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
  10 % Copyright (C) 1995, 1997, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
  11 %   Free Software Foundation, Inc.
  12 %
  13 % This file is part of GNU Emacs.
  14 %
  15 % GNU Emacs is free software: you can redistribute it and/or modify
  16 % it under the terms of the GNU General Public License as published by
  17 % the Free Software Foundation, either version 3 of the License, or
  18 % (at your option) any later version.
  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
  26 % along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.
  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