2 %%Creator: dot version 2.2 (Wed May 18 03:22:07 UTC 2005)
4 %%Title: MaximaTopLevel
6 %%BoundingBox: 35 35 991 911
15 /EncodingVector 256 array def
18 ISOLatin1Encoding 0 255 getinterval putinterval
71 % Set up ISO Latin 1 character encoding
73 dup dup findfont dup length dict begin
74 { 1 index /FID ne { def }{ pop pop } ifelse
76 /Encoding EncodingVector def
77 currentdict end definefont
79 /Times-Roman starnetISO def
80 /Times-Italic starnetISO def
81 /Times-Bold starnetISO def
82 /Times-BoldItalic starnetISO def
83 /Helvetica starnetISO def
84 /Helvetica-Oblique starnetISO def
85 /Helvetica-Bold starnetISO def
86 /Helvetica-BoldOblique starnetISO def
87 /Courier starnetISO def
88 /Courier-Oblique starnetISO def
89 /Courier-Bold starnetISO def
90 /Courier-BoldOblique starnetISO def
94 %%BeginResource: procset graphviz 0 0
95 /coord-font-family /Times-Roman def
96 /default-font-family /Times-Roman def
97 /coordfont coord-font-family findfont 8 scalefont def
99 /InvScaleFactor 1.0 def
101 dup 1 exch div /InvScaleFactor exch def
106 /solid { [] 0 setdash } bind def
107 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
108 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
109 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
110 /bold { 2 setlinewidth } bind def
112 /unfilled { } bind def
113 /rounded { } bind def
114 /diagonals { } bind def
116 % hooks for setting color
117 /nodecolor { sethsbcolor } bind def
118 /edgecolor { sethsbcolor } bind def
119 /graphcolor { sethsbcolor } bind def
120 /nopcolor {pop pop pop} bind def
122 /beginpage { % i j npages
131 (\() show i str cvs show (,) show j str cvs show (\)) show
141 % draw aligned label in bounding box aligned to current point
142 /alignedtext { % width adj text
148 text stringwidth pop adj mul 0 rmoveto
155 /boxprim { % xcorner ycorner xsize ysize
178 /endpage { showpage } bind def
182 [ % layer color sequence - darkest to lightest
191 /layerlen layercolorseq length def
193 /setlayer {/maxlayer exch def /curlayer exch def
194 layercolorseq curlayer 1 sub layerlen mod get
195 aload pop sethsbcolor
196 /nodecolor {nopcolor} def
197 /edgecolor {nopcolor} def
198 /graphcolor {nopcolor} def
201 /onlayer { curlayer ne {invis} if } def
217 14 default-font-family set_font
219 % /arrowlength 10 def
222 % make sure pdfmark is harmless for PS-interpreters other than Distiller
223 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
224 % make '<<' and '>>' safe on PS Level 1 devices
225 /languagelevel where {pop languagelevel}{1} ifelse
227 userdict (<<) cvn ([) cvn load put
228 userdict (>>) cvn ([) cvn load put
233 %%PageBoundingBox: 36 36 991 911
234 %%PageOrientation: Portrait
236 35 35 956 876 boxprim clip newpath
239 0 0 translate 0 rotate
240 0.000 0.000 0.000 graphcolor
241 14.00 /Times-Roman set_font
245 392 856 38 18 ellipse_path
250 [6.96 5.52 6.24 4.56 3.84 3.84 4.8 6.96 6.96]
257 392 782 66 18 ellipse_path
262 [10.8 6.24 6.24 5.52 6.96 10.8 6.24 4.56 3.84 6.96 6.96 4.56 3.84 5.76 6.48 6.24 3.84]
267 % startup -> toplevel
268 newpath 392 838 moveto
269 392 829 392 820 392 810 curveto
274 0.000 0.000 0.000 edgecolor
275 newpath 396 810 moveto
280 0.000 0.000 0.000 edgecolor
281 newpath 396 810 moveto
290 392 686 139 39 ellipse_path
295 [6.24 6.96 6.96 3.84 3.84 6.96 6.96 6.24]
298 (1. dbm-read parses the input)
299 [6.24 3.6 3.6 6.96 6.96 10.8 4.56 4.56 6.24 6.24 6.96 3.6 6.96 6.24 4.56 5.52 6.24 5.52 3.6 4.08 6.96 6.24 3.6 3.84 6.72 6.96 6.96 3.84]
302 (2. the eval path begins mathematical work.)
303 [6.96 3.6 3.6 4.08 6.96 6.24 3.6 5.76 6.72 6.24 3.84 3.6 6.96 6.24 4.08 6.96 3.6 6.96 6.24 6.96 3.84 6.96 5.52 3.6 10.8 6.24 4.08 6.96 6.24 10.8 6.24 3.84 3.84 6.24 6.24 3.84 3.6 9.6 6.96 4.32 6.96 3.6]
308 % toplevel -> replmain
309 newpath 392 764 moveto
310 392 756 392 746 392 736 curveto
315 0.000 0.000 0.000 edgecolor
316 newpath 396 736 moveto
321 0.000 0.000 0.000 edgecolor
322 newpath 396 736 moveto
331 159 558 40 18 ellipse_path
336 [6.96 6.96 10.8 4.56 4.56 6.24 6.24 6.96]
341 % replmain -> dbmread
343 0.000 1.000 1.000 edgecolor
344 newpath 273 666 moveto
345 230 656 188 643 173 628 curveto
346 163 617 160 601 158 586 curveto
351 0.000 1.000 1.000 edgecolor
352 newpath 162 586 moveto
357 0.000 1.000 1.000 edgecolor
358 newpath 162 586 moveto
365 10.00 /Times-Roman set_font
368 [5.28 4.56 3.36 3.84 4.56 2.4 2.88 4.8 5.04 5.04 2.88]
375 358 558 132 39 ellipse_path
379 (toplevel-macsyma-eval)
380 [3.84 6.96 6.96 3.84 5.76 6.48 6.24 3.84 4.56 10.8 6.24 6.24 5.52 6.96 10.8 6.24 4.56 5.76 6.72 6.24 3.84]
383 (Used in code via $% as set in)
384 [10.08 5.52 6.24 6.96 3.6 3.84 6.96 3.6 6.24 6.96 6.96 6.24 3.6 6.96 3.84 6.24 3.6 6.96 11.76 3.6 6.24 5.52 3.6 5.52 6 3.84 3.6 3.84 6.96]
387 ( \(setq $% \(toplevel-macsyma-eval $__\)\))
388 [3.6 4.56 5.52 6 3.84 6.96 3.6 6.96 11.76 3.6 4.56 3.84 6.96 6.96 3.84 5.76 6.48 6.24 3.84 4.56 10.8 6.24 6.24 5.52 6.96 10.8 6.24 4.56 5.76 6.72 6.24 3.84 3.6 6.96 6.96 6.96 4.56 4.56]
393 % replmain -> firstevalcall
395 0.000 1.000 1.000 edgecolor
396 newpath 378 646 moveto
397 376 640 374 634 372 628 curveto
398 370 621 368 615 367 608 curveto
403 0.000 1.000 1.000 edgecolor
404 newpath 370 607 moveto
409 0.000 1.000 1.000 edgecolor
410 newpath 370 607 moveto
417 10.00 /Times-Roman set_font
420 [7.2 5.04 2.4 4.32 4.8 4.56 2.88]
427 665 558 122 28 ellipse_path
432 [6.96 3.84 5.52 6.96 3.84 6.24]
435 (Uses linear-displa if display2d is false)
436 [10.08 5.52 6.24 5.52 3.6 3.84 3.84 6.96 6.24 6.24 3.84 4.56 6.96 3.84 5.52 6.96 3.84 6.24 3.6 3.84 4.56 3.6 6.96 3.84 5.52 6.96 3.84 5.76 6.96 6.96 6.96 3.6 3.84 5.52 3.6 4.32 6.24 3.84 5.52 6.24]
441 % replmain -> display
443 0.000 1.000 1.000 edgecolor
444 newpath 479 655 moveto
445 529 634 576 609 611 590 curveto
450 0.000 1.000 1.000 edgecolor
451 newpath 613 593 moveto
456 0.000 1.000 1.000 edgecolor
457 newpath 613 593 moveto
464 10.00 /Times-Roman set_font
467 [5.52 4.56 5.04 5.04 2.4 2.88 5.04 2.4 5.04 2.88 3.84 5.04 2.88 4.32 5.04]
472 % dbmread -> replmain
474 0.667 1.000 1.000 edgecolor
475 newpath 181 573 moveto
476 192 581 205 590 217 598 curveto
477 256 621 278 636 304 649 curveto
482 0.667 1.000 1.000 edgecolor
483 newpath 302 652 moveto
488 0.667 1.000 1.000 edgecolor
489 newpath 302 652 moveto
496 10.00 /Times-Roman set_font
498 (Return parsed input)
499 [6.48 4.56 2.88 5.04 3.6 5.04 2.4 5.04 4.56 3.36 3.84 4.56 5.04 2.4 2.88 4.8 5.04 5.04 2.88]
506 143 462 30 18 ellipse_path
511 [10.8 4.56 6.24 6.24 6.96]
517 newpath 156 540 moveto
518 154 526 150 506 148 490 curveto
523 0.000 0.000 0.000 edgecolor
524 newpath 151 489 moveto
529 0.000 0.000 0.000 edgecolor
530 newpath 151 489 moveto
537 % firstevalcall -> replmain
539 0.667 1.000 1.000 edgecolor
540 newpath 400 596 moveto
541 403 601 406 607 409 616 curveto
542 411 623 412 630 411 637 curveto
547 0.667 1.000 1.000 edgecolor
548 newpath 408 637 moveto
553 0.667 1.000 1.000 edgecolor
554 newpath 408 637 moveto
561 10.00 /Times-Roman set_font
564 [6.48 4.56 2.88 5.04 3.6 5.04]
571 290 462 33 18 ellipse_path
576 [10.8 5.76 6.72 6.24 3.84 6.96]
581 % firstevalcall -> mevalmacro
582 newpath 331 519 moveto
583 323 508 315 497 308 487 curveto
588 0.000 0.000 0.000 edgecolor
589 newpath 311 485 moveto
594 0.000 0.000 0.000 edgecolor
595 newpath 311 485 moveto
602 % display -> replmain
604 0.667 1.000 1.000 edgecolor
605 newpath 653 586 moveto
606 646 600 636 617 623 628 curveto
607 588 657 565 665 534 671 curveto
612 0.667 1.000 1.000 edgecolor
613 newpath 533 668 moveto
618 0.667 1.000 1.000 edgecolor
619 newpath 533 668 moveto
626 10.00 /Times-Roman set_font
628 (Return after display)
629 [6.48 4.56 2.88 5.04 3.6 5.04 2.4 4.56 3.36 2.88 4.56 3.36 2.4 5.04 2.88 3.84 5.04 2.88 4.32 5.04]
636 569 462 36 18 ellipse_path
641 [6 6.96 6.24 6 6.96 4.56 6.24 3.84]
646 % display -> checkrat
647 newpath 637 530 moveto
648 623 516 606 499 592 485 curveto
653 0.000 0.000 0.000 edgecolor
654 newpath 595 483 moveto
659 0.000 0.000 0.000 edgecolor
660 newpath 595 483 moveto
669 665 462 42 18 ellipse_path
674 [6.96 3.84 10.8 6.24 6.96 5.52 3.84 6.96 6.96]
679 % display -> dimension
680 newpath 665 529 moveto
681 665 517 665 502 665 490 curveto
686 0.000 0.000 0.000 edgecolor
687 newpath 669 490 moveto
692 0.000 0.000 0.000 edgecolor
693 newpath 669 490 moveto
702 894 388 45 18 ellipse_path
707 [6 6.96 6.24 6 6.96 6.96 4.56 6.24 6.24 6.96]
712 % display -> checkbreak
713 newpath 685 530 moveto
714 705 504 735 468 769 444 curveto
715 783 434 821 417 852 405 curveto
720 0.000 0.000 0.000 edgecolor
721 newpath 854 408 moveto
726 0.000 0.000 0.000 edgecolor
727 newpath 854 408 moveto
736 809 462 31 18 ellipse_path
741 [6.96 6.96 3.84 6.96 6.96 3.84]
747 newpath 713 532 moveto
748 730 522 748 511 764 500 curveto
749 771 495 778 489 784 484 curveto
754 0.000 0.000 0.000 edgecolor
755 newpath 787 486 moveto
760 0.000 0.000 0.000 edgecolor
761 newpath 787 486 moveto
770 906 462 48 18 ellipse_path
775 [3.84 3.84 6.96 6.24 6.24 3.84 4.56 6.96 3.84 5.52 6.96 3.84 6.24]
780 % display -> lineardisplay
781 newpath 757 539 moveto
782 801 522 844 499 872 482 curveto
787 0.000 0.000 0.000 edgecolor
788 newpath 874 485 moveto
793 0.000 0.000 0.000 edgecolor
794 newpath 874 485 moveto
803 139 388 43 18 ellipse_path
808 [10.8 4.56 6.24 6.24 6.96 4.56 4.56 5.76 10.08]
814 newpath 142 444 moveto
815 141 435 141 426 141 416 curveto
820 0.000 0.000 0.000 edgecolor
821 newpath 144 416 moveto
826 0.000 0.000 0.000 edgecolor
827 newpath 144 416 moveto
836 128 314 62 18 ellipse_path
841 [6.96 6.24 6.24 6 4.56 6.96 6.96 6.24 4.56 3.84 6.96 6.72 6.24 6.96 4.56 6.96]
846 % mreadraw -> peekonetokeng
847 newpath 136 370 moveto
848 135 361 133 352 132 342 curveto
853 0.000 0.000 0.000 edgecolor
854 newpath 135 342 moveto
859 0.000 0.000 0.000 edgecolor
860 newpath 135 342 moveto
869 128 240 61 18 ellipse_path
874 [5.52 6.24 6.24 6.96 4.56 6.96 6.96 6.24 4.56 3.84 6.96 6.72 6.24 6.96 4.56 6.96]
879 % peekonetokeng -> scanonetokeng
880 newpath 128 296 moveto
881 128 287 128 278 128 268 curveto
886 0.000 0.000 0.000 edgecolor
887 newpath 132 268 moveto
892 0.000 0.000 0.000 edgecolor
893 newpath 132 268 moveto
902 128 166 73 18 ellipse_path
907 [4.56 6.24 6.24 6.96 4.56 6.24 6.96 10.8 10.8 6.24 6.96 6.96 4.56 3.84 6.96 6.72 6.24 6.96]
912 % scanonetokeng -> readcommandtoken
913 newpath 128 222 moveto
914 128 213 128 204 128 194 curveto
919 0.000 0.000 0.000 edgecolor
920 newpath 132 194 moveto
925 0.000 0.000 0.000 edgecolor
926 newpath 132 194 moveto
935 128 92 65 18 ellipse_path
940 [6.96 6.96 6.96 6.96 3.84 6.24 4.56 10.08 6.96 3.84 3.84 6.24 5.52 6.96 6.24 6.24 6.24]
945 % readcommandtoken -> gobblewhitespace
946 newpath 128 148 moveto
947 128 139 128 130 128 120 curveto
952 0.000 0.000 0.000 edgecolor
953 newpath 132 120 moveto
958 0.000 0.000 0.000 edgecolor
959 newpath 132 120 moveto
968 51 18 51 18 ellipse_path
973 [6.96 6.24 4.56 5.52 6.24 4.56 3.84 6.96 3.84 6.96 6.24 6.24 6.96]
978 % gobblewhitespace -> parsetyipeek
979 newpath 110 74 moveto
980 99 65 87 53 76 42 curveto
985 0.000 0.000 0.000 edgecolor
991 0.000 0.000 0.000 edgecolor
999 % readcommandtokenaux
1001 205 18 85 18 ellipse_path
1005 (read-command-token-aux)
1006 [4.56 6.24 6.24 6.96 4.56 6.24 6.96 10.8 10.8 6.24 6.96 6.96 4.56 3.84 6.96 6.72 6.24 6.96 4.56 6.24 6.96 6.96]
1011 % gobblewhitespace -> readcommandtokenaux
1012 newpath 146 74 moveto
1013 156 65 168 53 179 43 curveto
1018 0.000 0.000 0.000 edgecolor
1019 newpath 182 45 moveto
1024 0.000 0.000 0.000 edgecolor
1025 newpath 182 45 moveto
1034 239 388 30 18 ellipse_path
1039 [10.8 5.76 6.72 6.24 3.84]
1044 % mevalmacro -> meval
1045 newpath 278 445 moveto
1046 272 436 264 424 257 413 curveto
1051 0.000 0.000 0.000 edgecolor
1052 newpath 260 411 moveto
1057 0.000 0.000 0.000 edgecolor
1058 newpath 260 411 moveto
1067 247 314 39 18 ellipse_path
1072 [5.52 3.84 10.56 6.96 3.84 3.84 4.56 6.48 6.24]
1077 % meval -> simplifya
1078 newpath 241 370 moveto
1079 242 361 243 352 244 342 curveto
1084 0.000 0.000 0.000 edgecolor
1085 newpath 247 342 moveto
1090 0.000 0.000 0.000 edgecolor
1091 newpath 247 342 moveto
1100 247 240 33 18 ellipse_path
1105 [10.8 5.76 6.72 6.24 3.84 6.96]
1110 % simplifya -> meval1
1111 newpath 247 296 moveto
1112 247 287 247 278 247 268 curveto
1117 0.000 0.000 0.000 edgecolor
1118 newpath 251 268 moveto
1123 0.000 0.000 0.000 edgecolor
1124 newpath 251 268 moveto
1133 345 388 58 18 ellipse_path
1138 [6.96 3.84 10.8 6.24 6.96 5.52 3.84 6.96 6.96 4.56 6.24 3.84 6.96 10.8]
1143 % dimension -> dimensionatom
1144 newpath 625 456 moveto
1145 620 452 619 447 612 444 curveto
1146 601 439 423 408 412 406 curveto
1147 407 405 403 404 398 402 curveto
1152 0.000 0.000 0.000 edgecolor
1153 newpath 398 399 moveto
1158 0.000 0.000 0.000 edgecolor
1159 newpath 398 399 moveto
1168 481 388 60 18 ellipse_path
1173 [6.96 3.84 10.8 6.24 6.96 5.52 3.84 6.96 6.96 4.56 6.96 6.24 4.56 6.24 6.96]
1178 % dimension -> dimensionparen
1179 newpath 631 451 moveto
1180 605 440 559 421 526 407 curveto
1185 0.000 0.000 0.000 edgecolor
1186 newpath 527 403 moveto
1191 0.000 0.000 0.000 edgecolor
1192 newpath 527 403 moveto
1201 618 388 59 18 ellipse_path
1206 [6.96 3.84 10.8 6.24 6.96 5.52 3.84 6.96 6.96 4.56 6.24 5.04 4.56 5.76 6.96]
1211 % dimension -> dimensionarray
1212 newpath 654 444 moveto
1213 650 439 646 432 642 426 curveto
1214 640 422 637 418 635 414 curveto
1219 0.000 0.000 0.000 edgecolor
1220 newpath 638 412 moveto
1225 0.000 0.000 0.000 edgecolor
1226 newpath 638 412 moveto
1235 763 388 68 18 ellipse_path
1239 (dimension-function)
1240 [6.96 3.84 10.8 6.24 6.96 5.52 3.84 6.96 6.96 4.56 4.56 6.96 6.96 6.24 3.84 3.84 6.96 6.96]
1245 % dimension -> dimensionfunction
1246 newpath 670 444 moveto
1247 675 437 682 430 689 424 curveto
1248 696 418 705 413 713 408 curveto
1253 0.000 0.000 0.000 edgecolor
1254 newpath 715 411 moveto
1259 0.000 0.000 0.000 edgecolor
1260 newpath 715 411 moveto
1267 % dimension -> checkbreak
1268 newpath 691 448 moveto
1269 705 439 714 431 736 424 curveto
1270 780 408 794 417 840 406 curveto
1271 843 405 847 404 850 403 curveto
1276 0.000 0.000 0.000 edgecolor
1277 newpath 851 406 moveto
1282 0.000 0.000 0.000 edgecolor
1283 newpath 851 406 moveto
1290 % dimensionfunction -> dimension
1291 newpath 736 405 moveto
1292 726 410 716 417 707 424 curveto
1293 702 428 697 433 692 438 curveto
1298 0.000 0.000 0.000 edgecolor
1299 newpath 689 436 moveto
1304 0.000 0.000 0.000 edgecolor
1305 newpath 689 436 moveto