From 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 17 Aug 2008 08:59:26 +0000 Subject: * algebra/Makefile.pamphlet (all-algstrap): New. * algebra/strap: Update cached Lisp translation. --- src/algebra/strap/OUTFORM.lsp | 555 +++++++++++++++++++++++++++++++++++------- 1 file changed, 468 insertions(+), 87 deletions(-) (limited to 'src/algebra/strap/OUTFORM.lsp') diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp index 91e85005..03c859e5 100644 --- a/src/algebra/strap/OUTFORM.lsp +++ b/src/algebra/strap/OUTFORM.lsp @@ -7,11 +7,13 @@ (DEFUN |OUTFORM;message;S$;2| (|s| $) (COND - ((SPADCALL |s| (QREFELT $ 11)) (SPADCALL (QREFELT $ 12))) + ((SPADCALL |s| (|getShellEntry| $ 11)) + (SPADCALL (|getShellEntry| $ 12))) ('T |s|))) (DEFUN |OUTFORM;messagePrint;SV;3| (|s| $) - (SPADCALL (SPADCALL |s| (QREFELT $ 13)) (QREFELT $ 8))) + (SPADCALL (SPADCALL |s| (|getShellEntry| $ 13)) + (|getShellEntry| $ 8))) (PUT '|OUTFORM;=;2$B;4| '|SPADreplace| 'EQUAL) @@ -20,9 +22,9 @@ (DEFUN |OUTFORM;=;3$;5| (|a| |b| $) (LIST (|OUTFORM;sform| "=" $) |a| |b|)) -(PUT '|OUTFORM;coerce;$Of;6| '|SPADreplace| '(XLAM (|a|) |a|)) +(PUT '|OUTFORM;coerce;2$;6| '|SPADreplace| '(XLAM (|a|) |a|)) -(DEFUN |OUTFORM;coerce;$Of;6| (|a| $) |a|) +(DEFUN |OUTFORM;coerce;2$;6| (|a| $) |a|) (PUT '|OUTFORM;outputForm;I$;7| '|SPADreplace| '(XLAM (|n|) |n|)) @@ -50,9 +52,10 @@ (DEFUN |OUTFORM;outputForm;S$;13| (|s| $) (|OUTFORM;sform| - (SPADCALL (SPADCALL (QREFELT $ 26)) - (SPADCALL |s| (SPADCALL (QREFELT $ 26)) (QREFELT $ 27)) - (QREFELT $ 28)) + (SPADCALL (SPADCALL (|getShellEntry| $ 26)) + (SPADCALL |s| (SPADCALL (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) + (|getShellEntry| $ 28)) $)) (PUT '|OUTFORM;width;$I;14| '|SPADreplace| '|outformWidth|) @@ -81,50 +84,58 @@ (DEFUN |OUTFORM;center;$I$;20| (|a| |w| $) (SPADCALL - (SPADCALL (QUOTIENT2 (- |w| (SPADCALL |a| (QREFELT $ 30))) 2) - (QREFELT $ 36)) - |a| (QREFELT $ 37))) + (SPADCALL + (QUOTIENT2 (- |w| (SPADCALL |a| (|getShellEntry| $ 30))) 2) + (|getShellEntry| $ 36)) + |a| (|getShellEntry| $ 37))) (DEFUN |OUTFORM;left;$I$;21| (|a| |w| $) (SPADCALL |a| - (SPADCALL (- |w| (SPADCALL |a| (QREFELT $ 30))) (QREFELT $ 36)) - (QREFELT $ 37))) + (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 30))) + (|getShellEntry| $ 36)) + (|getShellEntry| $ 37))) (DEFUN |OUTFORM;right;$I$;22| (|a| |w| $) (SPADCALL - (SPADCALL (- |w| (SPADCALL |a| (QREFELT $ 30))) (QREFELT $ 36)) - |a| (QREFELT $ 37))) + (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 30))) + (|getShellEntry| $ 36)) + |a| (|getShellEntry| $ 37))) (DEFUN |OUTFORM;center;2$;23| (|a| $) - (SPADCALL |a| (SPADCALL (QREFELT $ 35)) (QREFELT $ 38))) + (SPADCALL |a| (SPADCALL (|getShellEntry| $ 35)) + (|getShellEntry| $ 38))) (DEFUN |OUTFORM;left;2$;24| (|a| $) - (SPADCALL |a| (SPADCALL (QREFELT $ 35)) (QREFELT $ 39))) + (SPADCALL |a| (SPADCALL (|getShellEntry| $ 35)) + (|getShellEntry| $ 39))) (DEFUN |OUTFORM;right;2$;25| (|a| $) - (SPADCALL |a| (SPADCALL (QREFELT $ 35)) (QREFELT $ 40))) + (SPADCALL |a| (SPADCALL (|getShellEntry| $ 35)) + (|getShellEntry| $ 40))) (DEFUN |OUTFORM;vspace;I$;26| (|n| $) (COND - ((EQL |n| 0) (SPADCALL (QREFELT $ 12))) + ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 12))) ('T (SPADCALL (|OUTFORM;sform| " " $) - (SPADCALL (- |n| 1) (QREFELT $ 44)) (QREFELT $ 45))))) + (SPADCALL (- |n| 1) (|getShellEntry| $ 44)) + (|getShellEntry| $ 45))))) (DEFUN |OUTFORM;hspace;I$;27| (|n| $) (COND - ((EQL |n| 0) (SPADCALL (QREFELT $ 12))) + ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 12))) ('T (|OUTFORM;sform| (|fillerSpaces| |n|) $)))) (DEFUN |OUTFORM;rspace;2I$;28| (|n| |m| $) (COND - ((OR (EQL |n| 0) (EQL |m| 0)) (SPADCALL (QREFELT $ 12))) + ((OR (EQL |n| 0) (EQL |m| 0)) (SPADCALL (|getShellEntry| $ 12))) ('T - (SPADCALL (SPADCALL |n| (QREFELT $ 36)) - (SPADCALL |n| (- |m| 1) (QREFELT $ 46)) (QREFELT $ 45))))) + (SPADCALL (SPADCALL |n| (|getShellEntry| $ 36)) + (SPADCALL |n| (- |m| 1) (|getShellEntry| $ 46)) + (|getShellEntry| $ 45))))) (DEFUN |OUTFORM;matrix;L$;29| (|ll| $) - (PROG (#0=#:G1437 |l| #1=#:G1438 |lv|) + (PROG (#0=#:G1439 |l| #1=#:G1440 |lv|) (RETURN (SEQ (LETT |lv| (PROGN @@ -155,13 +166,13 @@ (CONS (|OUTFORM;eform| 'AGGSET $) |l|)) (DEFUN |OUTFORM;blankSeparate;L$;33| (|l| $) - (PROG (|c| |u| #0=#:G1446 |l1|) + (PROG (|c| |u| #0=#:G1448 |l1|) (RETURN (SEQ (LETT |c| (|OUTFORM;eform| 'CONCATB $) |OUTFORM;blankSeparate;L$;33|) (LETT |l1| NIL |OUTFORM;blankSeparate;L$;33|) (SEQ (LETT |u| NIL |OUTFORM;blankSeparate;L$;33|) - (LETT #0# (SPADCALL |l| (QREFELT $ 53)) + (LETT #0# (SPADCALL |l| (|getShellEntry| $ 53)) |OUTFORM;blankSeparate;L$;33|) G190 (COND @@ -175,7 +186,7 @@ ((EQCAR |u| |c|) (LETT |l1| (SPADCALL (CDR |u|) |l1| - (QREFELT $ 54)) + (|getShellEntry| $ 54)) |OUTFORM;blankSeparate;L$;33|)) ('T (LETT |l1| (CONS |u| |l1|) @@ -188,19 +199,22 @@ (LIST (|OUTFORM;eform| 'BRACE $) |a|)) (DEFUN |OUTFORM;brace;L$;35| (|l| $) - (SPADCALL (SPADCALL |l| (QREFELT $ 51)) (QREFELT $ 56))) + (SPADCALL (SPADCALL |l| (|getShellEntry| $ 51)) + (|getShellEntry| $ 56))) (DEFUN |OUTFORM;bracket;2$;36| (|a| $) (LIST (|OUTFORM;eform| 'BRACKET $) |a|)) (DEFUN |OUTFORM;bracket;L$;37| (|l| $) - (SPADCALL (SPADCALL |l| (QREFELT $ 51)) (QREFELT $ 58))) + (SPADCALL (SPADCALL |l| (|getShellEntry| $ 51)) + (|getShellEntry| $ 58))) (DEFUN |OUTFORM;paren;2$;38| (|a| $) (LIST (|OUTFORM;eform| 'PAREN $) |a|)) (DEFUN |OUTFORM;paren;L$;39| (|l| $) - (SPADCALL (SPADCALL |l| (QREFELT $ 51)) (QREFELT $ 60))) + (SPADCALL (SPADCALL |l| (|getShellEntry| $ 51)) + (|getShellEntry| $ 60))) (DEFUN |OUTFORM;sub;3$;40| (|a| |b| $) (LIST (|OUTFORM;eform| 'SUB $) |a| |b|)) @@ -218,17 +232,19 @@ (DEFUN |OUTFORM;scripts;$L$;44| (|a| |l| $) (COND - ((SPADCALL |l| (QREFELT $ 66)) |a|) - ((SPADCALL (SPADCALL |l| (QREFELT $ 67)) (QREFELT $ 66)) - (SPADCALL |a| (SPADCALL |l| (QREFELT $ 68)) (QREFELT $ 62))) + ((SPADCALL |l| (|getShellEntry| $ 66)) |a|) + ((SPADCALL (SPADCALL |l| (|getShellEntry| $ 67)) + (|getShellEntry| $ 66)) + (SPADCALL |a| (SPADCALL |l| (|getShellEntry| $ 68)) + (|getShellEntry| $ 62))) ('T (CONS (|OUTFORM;eform| 'SUPERSUB $) (CONS |a| |l|))))) (DEFUN |OUTFORM;supersub;$L$;45| (|a| |l| $) (SEQ (COND - ((ODDP (SPADCALL |l| (QREFELT $ 71))) + ((ODDP (SPADCALL |l| (|getShellEntry| $ 71))) (LETT |l| - (SPADCALL |l| (LIST (SPADCALL (QREFELT $ 12))) - (QREFELT $ 73)) + (SPADCALL |l| (LIST (SPADCALL (|getShellEntry| $ 12))) + (|getShellEntry| $ 73)) |OUTFORM;supersub;$L$;45|))) (EXIT (CONS (|OUTFORM;eform| 'ALTSUPERSUB $) (CONS |a| |l|))))) @@ -309,7 +325,7 @@ (DEFUN |OUTFORM;empty;$;71| ($) (LIST (|OUTFORM;eform| 'NOTHING $))) (DEFUN |OUTFORM;infix?;$B;72| (|a| $) - (PROG (#0=#:G1491 |e|) + (PROG (#0=#:G1493 |e|) (RETURN (SEQ (EXIT (SEQ (LETT |e| (COND @@ -329,32 +345,35 @@ (DEFUN |OUTFORM;prefix;$L$;74| (|a| |l| $) (COND - ((NULL (SPADCALL |a| (QREFELT $ 98))) (CONS |a| |l|)) + ((NULL (SPADCALL |a| (|getShellEntry| $ 98))) (CONS |a| |l|)) ('T (SPADCALL |a| - (SPADCALL (SPADCALL |l| (QREFELT $ 51)) (QREFELT $ 60)) - (QREFELT $ 37))))) + (SPADCALL (SPADCALL |l| (|getShellEntry| $ 51)) + (|getShellEntry| $ 60)) + (|getShellEntry| $ 37))))) (DEFUN |OUTFORM;infix;$L$;75| (|a| |l| $) (COND - ((SPADCALL |l| (QREFELT $ 66)) (SPADCALL (QREFELT $ 12))) - ((SPADCALL (SPADCALL |l| (QREFELT $ 67)) (QREFELT $ 66)) - (SPADCALL |l| (QREFELT $ 68))) - ((SPADCALL |a| (QREFELT $ 98)) (CONS |a| |l|)) + ((SPADCALL |l| (|getShellEntry| $ 66)) + (SPADCALL (|getShellEntry| $ 12))) + ((SPADCALL (SPADCALL |l| (|getShellEntry| $ 67)) + (|getShellEntry| $ 66)) + (SPADCALL |l| (|getShellEntry| $ 68))) + ((SPADCALL |a| (|getShellEntry| $ 98)) (CONS |a| |l|)) ('T (SPADCALL - (LIST (SPADCALL |l| (QREFELT $ 68)) |a| - (SPADCALL |a| (SPADCALL |l| (QREFELT $ 101)) - (QREFELT $ 102))) - (QREFELT $ 75))))) + (LIST (SPADCALL |l| (|getShellEntry| $ 68)) |a| + (SPADCALL |a| (SPADCALL |l| (|getShellEntry| $ 101)) + (|getShellEntry| $ 102))) + (|getShellEntry| $ 75))))) (DEFUN |OUTFORM;infix;4$;76| (|a| |b| |c| $) (COND - ((SPADCALL |a| (QREFELT $ 98)) (LIST |a| |b| |c|)) - ('T (SPADCALL (LIST |b| |a| |c|) (QREFELT $ 75))))) + ((SPADCALL |a| (|getShellEntry| $ 98)) (LIST |a| |b| |c|)) + ('T (SPADCALL (LIST |b| |a| |c|) (|getShellEntry| $ 75))))) (DEFUN |OUTFORM;postfix;3$;77| (|a| |b| $) - (SPADCALL |b| |a| (QREFELT $ 37))) + (SPADCALL |b| |a| (|getShellEntry| $ 37))) (DEFUN |OUTFORM;string;2$;78| (|a| $) (LIST (|OUTFORM;eform| 'STRING $) |a|)) @@ -366,26 +385,30 @@ (LIST (|OUTFORM;eform| 'OVERBAR $) |a|)) (DEFUN |OUTFORM;dot;2$;81| (|a| $) - (SPADCALL |a| (|OUTFORM;sform| "." $) (QREFELT $ 63))) + (SPADCALL |a| (|OUTFORM;sform| "." $) (|getShellEntry| $ 63))) (DEFUN |OUTFORM;prime;2$;82| (|a| $) - (SPADCALL |a| (|OUTFORM;sform| "," $) (QREFELT $ 63))) + (SPADCALL |a| (|OUTFORM;sform| "," $) (|getShellEntry| $ 63))) (DEFUN |OUTFORM;dot;$Nni$;83| (|a| |nn| $) (PROG (|s|) (RETURN (SEQ (LETT |s| - (MAKE-FULL-CVEC |nn| (SPADCALL "." (QREFELT $ 110))) + (MAKE-FULL-CVEC |nn| + (SPADCALL "." (|getShellEntry| $ 110))) |OUTFORM;dot;$Nni$;83|) - (EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $) (QREFELT $ 63))))))) + (EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $) + (|getShellEntry| $ 63))))))) (DEFUN |OUTFORM;prime;$Nni$;84| (|a| |nn| $) (PROG (|s|) (RETURN (SEQ (LETT |s| - (MAKE-FULL-CVEC |nn| (SPADCALL "," (QREFELT $ 110))) + (MAKE-FULL-CVEC |nn| + (SPADCALL "," (|getShellEntry| $ 110))) |OUTFORM;prime;$Nni$;84|) - (EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $) (QREFELT $ 63))))))) + (EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $) + (|getShellEntry| $ 63))))))) (DEFUN |OUTFORM;overlabel;3$;85| (|a| |b| $) (LIST (|OUTFORM;eform| 'OVERLABEL $) |a| |b|)) @@ -418,11 +441,11 @@ (LIST (|OUTFORM;eform| 'TAG $) |a| |b|)) (DEFUN |OUTFORM;differentiate;$Nni$;95| (|a| |nn| $) - (PROG (#0=#:G1521 |r| |s|) + (PROG (#0=#:G1523 |r| |s|) (RETURN (SEQ (COND ((ZEROP |nn|) |a|) - ((< |nn| 4) (SPADCALL |a| |nn| (QREFELT $ 112))) + ((< |nn| 4) (SPADCALL |a| |nn| (|getShellEntry| $ 112))) ('T (SEQ (LETT |r| (SPADCALL @@ -430,17 +453,18 @@ |OUTFORM;differentiate;$Nni$;95|) (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#)) - (QREFELT $ 125)) + (|getShellEntry| $ 125)) |OUTFORM;differentiate;$Nni$;95|) - (LETT |s| (SPADCALL |r| (QREFELT $ 126)) + (LETT |s| (SPADCALL |r| (|getShellEntry| $ 126)) |OUTFORM;differentiate;$Nni$;95|) (EXIT (SPADCALL |a| (SPADCALL (|OUTFORM;sform| |s| $) - (QREFELT $ 60)) - (QREFELT $ 63)))))))))) + (|getShellEntry| $ 60)) + (|getShellEntry| $ 63)))))))))) (DEFUN |OUTFORM;sum;2$;96| (|a| $) - (LIST (|OUTFORM;eform| 'SIGMA $) (SPADCALL (QREFELT $ 12)) |a|)) + (LIST (|OUTFORM;eform| 'SIGMA $) (SPADCALL (|getShellEntry| $ 12)) + |a|)) (DEFUN |OUTFORM;sum;3$;97| (|a| |b| $) (LIST (|OUTFORM;eform| 'SIGMA $) |b| |a|)) @@ -449,7 +473,7 @@ (LIST (|OUTFORM;eform| 'SIGMA2 $) |b| |c| |a|)) (DEFUN |OUTFORM;prod;2$;99| (|a| $) - (LIST (|OUTFORM;eform| 'PI $) (SPADCALL (QREFELT $ 12)) |a|)) + (LIST (|OUTFORM;eform| 'PI $) (SPADCALL (|getShellEntry| $ 12)) |a|)) (DEFUN |OUTFORM;prod;3$;100| (|a| |b| $) (LIST (|OUTFORM;eform| 'PI $) |b| |a|)) @@ -458,11 +482,12 @@ (LIST (|OUTFORM;eform| 'PI2 $) |b| |c| |a|)) (DEFUN |OUTFORM;int;2$;102| (|a| $) - (LIST (|OUTFORM;eform| 'INTSIGN $) (SPADCALL (QREFELT $ 12)) - (SPADCALL (QREFELT $ 12)) |a|)) + (LIST (|OUTFORM;eform| 'INTSIGN $) (SPADCALL (|getShellEntry| $ 12)) + (SPADCALL (|getShellEntry| $ 12)) |a|)) (DEFUN |OUTFORM;int;3$;103| (|a| |b| $) - (LIST (|OUTFORM;eform| 'INTSIGN $) |b| (SPADCALL (QREFELT $ 12)) |a|)) + (LIST (|OUTFORM;eform| 'INTSIGN $) |b| + (SPADCALL (|getShellEntry| $ 12)) |a|)) (DEFUN |OUTFORM;int;4$;104| (|a| |b| |c| $) (LIST (|OUTFORM;eform| 'INTSIGN $) |b| |c| |a|)) @@ -470,7 +495,7 @@ (DEFUN |OutputForm| () (PROG () (RETURN - (PROG (#0=#:G1535) + (PROG (#0=#:G1537) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|OutputForm|) @@ -491,11 +516,12 @@ (PROGN (LETT |dv$| '(|OutputForm|) . #0=(|OutputForm|)) (LETT $ (|newShell| 138) . #0#) - (QSETREFV $ 0 |dv$|) - (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) + (|setShellEntry| $ 0 |dv$|) + (|setShellEntry| $ 3 + (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) (|haddProp| |$ConstructorCache| '|OutputForm| NIL (CONS 1 $)) (|stuffDomainSlots| $) - (QSETREFV $ 6 (|List| $)) + (|setShellEntry| $ 6 (|List| $)) $)))) (MAKEPROP '|OutputForm| '|infovec| @@ -503,7 +529,7 @@ |OUTFORM;print;$V;1| (|Boolean|) (|String|) (0 . |empty?|) |OUTFORM;empty;$;71| |OUTFORM;message;S$;2| |OUTFORM;messagePrint;SV;3| |OUTFORM;=;2$B;4| - |OUTFORM;=;3$;5| (|OutputForm|) |OUTFORM;coerce;$Of;6| + |OUTFORM;=;3$;5| (|OutputForm|) |OUTFORM;coerce;2$;6| (|Integer|) |OUTFORM;outputForm;I$;7| (|Symbol|) |OUTFORM;outputForm;S$;8| (|DoubleFloat|) |OUTFORM;outputForm;Df$;9| (|Character|) (5 . |quote|) @@ -516,8 +542,8 @@ |OUTFORM;right;$I$;22| |OUTFORM;center;2$;23| |OUTFORM;left;2$;24| |OUTFORM;right;2$;25| |OUTFORM;vspace;I$;26| |OUTFORM;vconcat;3$;48| - |OUTFORM;rspace;2I$;28| (|List| 49) |OUTFORM;matrix;L$;29| - (|List| $) |OUTFORM;pile;L$;30| + |OUTFORM;rspace;2I$;28| (|List| $) (|List| 47) + |OUTFORM;matrix;L$;29| |OUTFORM;pile;L$;30| |OUTFORM;commaSeparate;L$;31| |OUTFORM;semicolonSeparate;L$;32| (21 . |reverse|) (26 . |append|) |OUTFORM;blankSeparate;L$;33| @@ -587,34 +613,34 @@ 1 25 0 10 110 1 124 10 123 125 1 10 0 0 126 2 0 0 0 0 77 2 0 9 0 0 1 2 0 0 0 0 115 0 0 19 35 1 0 19 0 30 1 0 0 - 19 44 1 0 0 49 76 2 0 0 0 0 45 2 0 0 - 0 49 74 1 0 19 0 33 2 0 0 0 0 63 2 0 + 19 44 1 0 0 47 76 2 0 0 0 0 45 2 0 0 + 0 47 74 1 0 19 0 33 2 0 0 0 0 63 2 0 0 0 0 129 3 0 0 0 0 0 130 1 0 0 0 128 1 0 19 0 32 2 0 0 0 0 62 1 0 0 0 105 - 2 0 0 0 0 119 1 0 0 49 52 2 0 0 0 49 + 2 0 0 0 0 119 1 0 0 47 52 2 0 0 0 47 69 2 0 0 19 19 46 1 0 0 0 116 2 0 0 0 0 117 1 0 0 0 43 2 0 0 0 19 40 2 0 0 0 0 89 2 0 0 0 0 122 1 0 0 0 106 2 0 0 0 0 90 3 0 0 0 0 0 133 1 0 0 0 131 2 0 0 0 0 132 1 0 7 0 8 2 0 0 0 70 112 1 0 0 0 109 2 0 0 0 0 65 2 0 0 0 - 0 64 2 0 0 0 49 100 2 0 0 0 0 104 1 0 - 0 49 50 1 0 0 49 61 1 0 0 0 60 2 0 0 + 0 64 2 0 0 0 47 100 2 0 0 0 0 104 1 0 + 0 47 50 1 0 0 47 61 1 0 0 0 60 2 0 0 0 0 113 1 0 0 0 107 2 0 0 0 0 118 1 0 0 10 29 1 0 0 23 24 1 0 0 21 22 1 0 0 19 20 2 0 0 0 0 93 1 0 0 0 94 1 0 7 - 10 14 1 0 0 10 13 1 0 0 47 48 1 0 0 0 + 10 14 1 0 0 10 13 1 0 0 48 49 1 0 0 0 42 2 0 0 0 19 39 1 0 10 0 1 2 0 0 0 0 121 3 0 0 0 0 0 136 2 0 0 0 0 135 1 0 - 0 0 134 1 0 9 0 98 2 0 0 0 49 102 3 0 + 0 0 134 1 0 9 0 98 2 0 0 0 47 102 3 0 0 0 0 0 103 1 0 0 19 36 0 0 19 34 1 0 - 19 0 31 1 0 0 49 75 2 0 0 0 0 37 1 0 + 19 0 31 1 0 0 47 75 2 0 0 0 0 37 1 0 137 0 1 2 0 0 0 0 91 0 0 0 12 2 0 0 0 - 49 99 2 0 0 0 70 111 1 0 0 0 108 2 0 - 0 0 0 88 2 0 0 0 70 127 1 0 0 49 51 1 + 47 99 2 0 0 0 70 111 1 0 0 0 108 2 0 + 0 0 0 88 2 0 0 0 70 127 1 0 0 47 51 1 0 17 0 18 1 0 0 0 41 2 0 0 0 19 38 1 - 0 0 0 58 1 0 0 49 59 1 0 0 49 57 1 0 - 0 0 56 1 0 0 0 114 1 0 0 49 55 2 0 0 + 0 0 0 58 1 0 0 47 59 1 0 0 47 57 1 0 + 0 0 56 1 0 0 0 114 1 0 0 47 55 2 0 0 0 0 97 2 0 0 0 0 120 2 0 0 0 0 92 1 0 0 0 96 2 0 0 0 0 95 2 0 0 0 0 81 2 0 0 0 0 79 2 0 0 0 0 16 2 0 9 0 0 15 2 @@ -623,4 +649,359 @@ 2 0 0 0 0 87 2 0 0 0 0 85))))) '|lookupComplete|)) +(SETQ |$CategoryFrame| + (|put| '|OutputForm| '|isFunctor| + '(((SEGMENT ($ $)) T (ELT $ 96)) + ((SEGMENT ($ $ $)) T (ELT $ 95)) + ((|not| ($ $)) T (ELT $ 94)) + ((|or| ($ $ $)) T (ELT $ 93)) + ((|and| ($ $ $)) T (ELT $ 92)) + ((|exquo| ($ $ $)) T (ELT $ 91)) + ((|quo| ($ $ $)) T (ELT $ 90)) + ((|rem| ($ $ $)) T (ELT $ 89)) + ((|div| ($ $ $)) T (ELT $ 88)) + ((** ($ $ $)) T (ELT $ 87)) ((/ ($ $ $)) T (ELT $ 86)) + ((* ($ $ $)) T (ELT $ 85)) ((- ($ $)) T (ELT $ 84)) + ((- ($ $ $)) T (ELT $ 83)) ((+ ($ $ $)) T (ELT $ 82)) + ((>= ($ $ $)) T (ELT $ 81)) ((<= ($ $ $)) T (ELT $ 80)) + ((> ($ $ $)) T (ELT $ 79)) ((< ($ $ $)) T (ELT $ 78)) + ((~= ($ $ $)) T (ELT $ 77)) ((= ($ $ $)) T (ELT $ 16)) + ((|blankSeparate| ($ (|List| $))) T (ELT $ 55)) + ((|semicolonSeparate| ($ (|List| $))) T (ELT $ 52)) + ((|commaSeparate| ($ (|List| $))) T (ELT $ 51)) + ((|pile| ($ (|List| $))) T (ELT $ 50)) + ((|paren| ($ (|List| $))) T (ELT $ 61)) + ((|paren| ($ $)) T (ELT $ 60)) + ((|bracket| ($ (|List| $))) T (ELT $ 59)) + ((|bracket| ($ $)) T (ELT $ 58)) + ((|brace| ($ (|List| $))) T (ELT $ 57)) + ((|brace| ($ $)) T (ELT $ 56)) + ((|int| ($ $ $ $)) T (ELT $ 136)) + ((|int| ($ $ $)) T (ELT $ 135)) + ((|int| ($ $)) T (ELT $ 134)) + ((|prod| ($ $ $ $)) T (ELT $ 133)) + ((|prod| ($ $ $)) T (ELT $ 132)) + ((|prod| ($ $)) T (ELT $ 131)) + ((|sum| ($ $ $ $)) T (ELT $ 130)) + ((|sum| ($ $ $)) T (ELT $ 129)) + ((|sum| ($ $)) T (ELT $ 128)) + ((|overlabel| ($ $ $)) T (ELT $ 113)) + ((|overbar| ($ $)) T (ELT $ 107)) + ((|prime| ($ $ (|NonNegativeInteger|))) T (ELT $ 112)) + ((|prime| ($ $)) T (ELT $ 109)) + ((|dot| ($ $ (|NonNegativeInteger|))) T (ELT $ 111)) + ((|dot| ($ $)) T (ELT $ 108)) + ((|quote| ($ $)) T (ELT $ 106)) + ((|supersub| ($ $ (|List| $))) T (ELT $ 74)) + ((|scripts| ($ $ (|List| $))) T (ELT $ 69)) + ((|presuper| ($ $ $)) T (ELT $ 65)) + ((|presub| ($ $ $)) T (ELT $ 64)) + ((|super| ($ $ $)) T (ELT $ 63)) + ((|sub| ($ $ $)) T (ELT $ 62)) + ((|binomial| ($ $ $)) T (ELT $ 97)) + ((|differentiate| ($ $ (|NonNegativeInteger|))) T + (ELT $ 127)) + ((|rarrow| ($ $ $)) T (ELT $ 122)) + ((|assign| ($ $ $)) T (ELT $ 120)) + ((|slash| ($ $ $)) T (ELT $ 119)) + ((|over| ($ $ $)) T (ELT $ 118)) + ((|root| ($ $ $)) T (ELT $ 117)) + ((|root| ($ $)) T (ELT $ 116)) + ((|zag| ($ $ $)) T (ELT $ 115)) + ((|matrix| ($ (|List| (|List| $)))) T (ELT $ 49)) + ((|box| ($ $)) T (ELT $ 114)) + ((|label| ($ $ $)) T (ELT $ 121)) + ((|string| ($ $)) T (ELT $ 105)) + ((|elt| ($ $ (|List| $))) T (ELT $ 99)) + ((|infix?| ((|Boolean|) $)) T (ELT $ 98)) + ((|postfix| ($ $ $)) T (ELT $ 104)) + ((|infix| ($ $ $ $)) T (ELT $ 103)) + ((|infix| ($ $ (|List| $))) T (ELT $ 102)) + ((|prefix| ($ $ (|List| $))) T (ELT $ 100)) + ((|vconcat| ($ (|List| $))) T (ELT $ 76)) + ((|hconcat| ($ (|List| $))) T (ELT $ 75)) + ((|vconcat| ($ $ $)) T (ELT $ 45)) + ((|hconcat| ($ $ $)) T (ELT $ 37)) + ((|center| ($ $)) T (ELT $ 41)) + ((|right| ($ $)) T (ELT $ 43)) + ((|left| ($ $)) T (ELT $ 42)) + ((|center| ($ $ (|Integer|))) T (ELT $ 38)) + ((|right| ($ $ (|Integer|))) T (ELT $ 40)) + ((|left| ($ $ (|Integer|))) T (ELT $ 39)) + ((|rspace| ($ (|Integer|) (|Integer|))) T (ELT $ 46)) + ((|vspace| ($ (|Integer|))) T (ELT $ 44)) + ((|hspace| ($ (|Integer|))) T (ELT $ 36)) + ((|superHeight| ((|Integer|) $)) T (ELT $ 33)) + ((|subHeight| ((|Integer|) $)) T (ELT $ 32)) + ((|height| ((|Integer|))) T (ELT $ 34)) + ((|width| ((|Integer|))) T (ELT $ 35)) + ((|height| ((|Integer|) $)) T (ELT $ 31)) + ((|width| ((|Integer|) $)) T (ELT $ 30)) + ((|empty| ($)) T (ELT $ 12)) + ((|outputForm| ($ (|DoubleFloat|))) T (ELT $ 24)) + ((|outputForm| ($ (|String|))) T (ELT $ 29)) + ((|outputForm| ($ (|Symbol|))) T (ELT $ 22)) + ((|outputForm| ($ (|Integer|))) T (ELT $ 20)) + ((|messagePrint| ((|Void|) (|String|))) T (ELT $ 14)) + ((|message| ($ (|String|))) T (ELT $ 13)) + ((|print| ((|Void|) $)) T (ELT $ 8)) + ((|latex| ((|String|) $)) T (ELT $ NIL)) + ((|hash| ((|SingleInteger|) $)) T (ELT $ NIL)) + ((|coerce| ((|OutputForm|) $)) T (ELT $ 18)) + ((= ((|Boolean|) $ $)) T (ELT $ 15)) + ((~= ((|Boolean|) $ $)) T (ELT $ NIL))) + (|addModemap| '|OutputForm| '(|OutputForm|) + '((|Join| (|SetCategory|) + (CATEGORY |domain| + (SIGNATURE |print| ((|Void|) $)) + (SIGNATURE |message| ($ (|String|))) + (SIGNATURE |messagePrint| + ((|Void|) (|String|))) + (SIGNATURE |outputForm| ($ (|Integer|))) + (SIGNATURE |outputForm| ($ (|Symbol|))) + (SIGNATURE |outputForm| ($ (|String|))) + (SIGNATURE |outputForm| + ($ (|DoubleFloat|))) + (SIGNATURE |empty| ($)) + (SIGNATURE |width| ((|Integer|) $)) + (SIGNATURE |height| ((|Integer|) $)) + (SIGNATURE |width| ((|Integer|))) + (SIGNATURE |height| ((|Integer|))) + (SIGNATURE |subHeight| ((|Integer|) $)) + (SIGNATURE |superHeight| + ((|Integer|) $)) + (SIGNATURE |hspace| ($ (|Integer|))) + (SIGNATURE |vspace| ($ (|Integer|))) + (SIGNATURE |rspace| + ($ (|Integer|) (|Integer|))) + (SIGNATURE |left| ($ $ (|Integer|))) + (SIGNATURE |right| ($ $ (|Integer|))) + (SIGNATURE |center| ($ $ (|Integer|))) + (SIGNATURE |left| ($ $)) + (SIGNATURE |right| ($ $)) + (SIGNATURE |center| ($ $)) + (SIGNATURE |hconcat| ($ $ $)) + (SIGNATURE |vconcat| ($ $ $)) + (SIGNATURE |hconcat| ($ (|List| $))) + (SIGNATURE |vconcat| ($ (|List| $))) + (SIGNATURE |prefix| ($ $ (|List| $))) + (SIGNATURE |infix| ($ $ (|List| $))) + (SIGNATURE |infix| ($ $ $ $)) + (SIGNATURE |postfix| ($ $ $)) + (SIGNATURE |infix?| ((|Boolean|) $)) + (SIGNATURE |elt| ($ $ (|List| $))) + (SIGNATURE |string| ($ $)) + (SIGNATURE |label| ($ $ $)) + (SIGNATURE |box| ($ $)) + (SIGNATURE |matrix| + ($ (|List| (|List| $)))) + (SIGNATURE |zag| ($ $ $)) + (SIGNATURE |root| ($ $)) + (SIGNATURE |root| ($ $ $)) + (SIGNATURE |over| ($ $ $)) + (SIGNATURE |slash| ($ $ $)) + (SIGNATURE |assign| ($ $ $)) + (SIGNATURE |rarrow| ($ $ $)) + (SIGNATURE |differentiate| + ($ $ (|NonNegativeInteger|))) + (SIGNATURE |binomial| ($ $ $)) + (SIGNATURE |sub| ($ $ $)) + (SIGNATURE |super| ($ $ $)) + (SIGNATURE |presub| ($ $ $)) + (SIGNATURE |presuper| ($ $ $)) + (SIGNATURE |scripts| ($ $ (|List| $))) + (SIGNATURE |supersub| ($ $ (|List| $))) + (SIGNATURE |quote| ($ $)) + (SIGNATURE |dot| ($ $)) + (SIGNATURE |dot| + ($ $ (|NonNegativeInteger|))) + (SIGNATURE |prime| ($ $)) + (SIGNATURE |prime| + ($ $ (|NonNegativeInteger|))) + (SIGNATURE |overbar| ($ $)) + (SIGNATURE |overlabel| ($ $ $)) + (SIGNATURE |sum| ($ $)) + (SIGNATURE |sum| ($ $ $)) + (SIGNATURE |sum| ($ $ $ $)) + (SIGNATURE |prod| ($ $)) + (SIGNATURE |prod| ($ $ $)) + (SIGNATURE |prod| ($ $ $ $)) + (SIGNATURE |int| ($ $)) + (SIGNATURE |int| ($ $ $)) + (SIGNATURE |int| ($ $ $ $)) + (SIGNATURE |brace| ($ $)) + (SIGNATURE |brace| ($ (|List| $))) + (SIGNATURE |bracket| ($ $)) + (SIGNATURE |bracket| ($ (|List| $))) + (SIGNATURE |paren| ($ $)) + (SIGNATURE |paren| ($ (|List| $))) + (SIGNATURE |pile| ($ (|List| $))) + (SIGNATURE |commaSeparate| + ($ (|List| $))) + (SIGNATURE |semicolonSeparate| + ($ (|List| $))) + (SIGNATURE |blankSeparate| + ($ (|List| $))) + (SIGNATURE = ($ $ $)) + (SIGNATURE ~= ($ $ $)) + (SIGNATURE < ($ $ $)) + (SIGNATURE > ($ $ $)) + (SIGNATURE <= ($ $ $)) + (SIGNATURE >= ($ $ $)) + (SIGNATURE + ($ $ $)) + (SIGNATURE - ($ $ $)) + (SIGNATURE - ($ $)) + (SIGNATURE * ($ $ $)) + (SIGNATURE / ($ $ $)) + (SIGNATURE ** ($ $ $)) + (SIGNATURE |div| ($ $ $)) + (SIGNATURE |rem| ($ $ $)) + (SIGNATURE |quo| ($ $ $)) + (SIGNATURE |exquo| ($ $ $)) + (SIGNATURE |and| ($ $ $)) + (SIGNATURE |or| ($ $ $)) + (SIGNATURE |not| ($ $)) + (SIGNATURE SEGMENT ($ $ $)) + (SIGNATURE SEGMENT ($ $))))) + T '|OutputForm| + (|put| '|OutputForm| '|mode| + '(|Mapping| + (|Join| (|SetCategory|) + (CATEGORY |domain| + (SIGNATURE |print| ((|Void|) $)) + (SIGNATURE |message| + ($ (|String|))) + (SIGNATURE |messagePrint| + ((|Void|) (|String|))) + (SIGNATURE |outputForm| + ($ (|Integer|))) + (SIGNATURE |outputForm| + ($ (|Symbol|))) + (SIGNATURE |outputForm| + ($ (|String|))) + (SIGNATURE |outputForm| + ($ (|DoubleFloat|))) + (SIGNATURE |empty| ($)) + (SIGNATURE |width| + ((|Integer|) $)) + (SIGNATURE |height| + ((|Integer|) $)) + (SIGNATURE |width| ((|Integer|))) + (SIGNATURE |height| + ((|Integer|))) + (SIGNATURE |subHeight| + ((|Integer|) $)) + (SIGNATURE |superHeight| + ((|Integer|) $)) + (SIGNATURE |hspace| + ($ (|Integer|))) + (SIGNATURE |vspace| + ($ (|Integer|))) + (SIGNATURE |rspace| + ($ (|Integer|) (|Integer|))) + (SIGNATURE |left| + ($ $ (|Integer|))) + (SIGNATURE |right| + ($ $ (|Integer|))) + (SIGNATURE |center| + ($ $ (|Integer|))) + (SIGNATURE |left| ($ $)) + (SIGNATURE |right| ($ $)) + (SIGNATURE |center| ($ $)) + (SIGNATURE |hconcat| ($ $ $)) + (SIGNATURE |vconcat| ($ $ $)) + (SIGNATURE |hconcat| + ($ (|List| $))) + (SIGNATURE |vconcat| + ($ (|List| $))) + (SIGNATURE |prefix| + ($ $ (|List| $))) + (SIGNATURE |infix| + ($ $ (|List| $))) + (SIGNATURE |infix| ($ $ $ $)) + (SIGNATURE |postfix| ($ $ $)) + (SIGNATURE |infix?| + ((|Boolean|) $)) + (SIGNATURE |elt| + ($ $ (|List| $))) + (SIGNATURE |string| ($ $)) + (SIGNATURE |label| ($ $ $)) + (SIGNATURE |box| ($ $)) + (SIGNATURE |matrix| + ($ (|List| (|List| $)))) + (SIGNATURE |zag| ($ $ $)) + (SIGNATURE |root| ($ $)) + (SIGNATURE |root| ($ $ $)) + (SIGNATURE |over| ($ $ $)) + (SIGNATURE |slash| ($ $ $)) + (SIGNATURE |assign| ($ $ $)) + (SIGNATURE |rarrow| ($ $ $)) + (SIGNATURE |differentiate| + ($ $ (|NonNegativeInteger|))) + (SIGNATURE |binomial| ($ $ $)) + (SIGNATURE |sub| ($ $ $)) + (SIGNATURE |super| ($ $ $)) + (SIGNATURE |presub| ($ $ $)) + (SIGNATURE |presuper| ($ $ $)) + (SIGNATURE |scripts| + ($ $ (|List| $))) + (SIGNATURE |supersub| + ($ $ (|List| $))) + (SIGNATURE |quote| ($ $)) + (SIGNATURE |dot| ($ $)) + (SIGNATURE |dot| + ($ $ (|NonNegativeInteger|))) + (SIGNATURE |prime| ($ $)) + (SIGNATURE |prime| + ($ $ (|NonNegativeInteger|))) + (SIGNATURE |overbar| ($ $)) + (SIGNATURE |overlabel| ($ $ $)) + (SIGNATURE |sum| ($ $)) + (SIGNATURE |sum| ($ $ $)) + (SIGNATURE |sum| ($ $ $ $)) + (SIGNATURE |prod| ($ $)) + (SIGNATURE |prod| ($ $ $)) + (SIGNATURE |prod| ($ $ $ $)) + (SIGNATURE |int| ($ $)) + (SIGNATURE |int| ($ $ $)) + (SIGNATURE |int| ($ $ $ $)) + (SIGNATURE |brace| ($ $)) + (SIGNATURE |brace| + ($ (|List| $))) + (SIGNATURE |bracket| ($ $)) + (SIGNATURE |bracket| + ($ (|List| $))) + (SIGNATURE |paren| ($ $)) + (SIGNATURE |paren| + ($ (|List| $))) + (SIGNATURE |pile| ($ (|List| $))) + (SIGNATURE |commaSeparate| + ($ (|List| $))) + (SIGNATURE |semicolonSeparate| + ($ (|List| $))) + (SIGNATURE |blankSeparate| + ($ (|List| $))) + (SIGNATURE = ($ $ $)) + (SIGNATURE ~= ($ $ $)) + (SIGNATURE < ($ $ $)) + (SIGNATURE > ($ $ $)) + (SIGNATURE <= ($ $ $)) + (SIGNATURE >= ($ $ $)) + (SIGNATURE + ($ $ $)) + (SIGNATURE - ($ $ $)) + (SIGNATURE - ($ $)) + (SIGNATURE * ($ $ $)) + (SIGNATURE / ($ $ $)) + (SIGNATURE ** ($ $ $)) + (SIGNATURE |div| ($ $ $)) + (SIGNATURE |rem| ($ $ $)) + (SIGNATURE |quo| ($ $ $)) + (SIGNATURE |exquo| ($ $ $)) + (SIGNATURE |and| ($ $ $)) + (SIGNATURE |or| ($ $ $)) + (SIGNATURE |not| ($ $)) + (SIGNATURE SEGMENT ($ $ $)) + (SIGNATURE SEGMENT ($ $))))) + |$CategoryFrame|)))) + (MAKEPROP '|OutputForm| 'NILADIC T) -- cgit v1.2.3