aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/OUTFORM.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/OUTFORM.lsp')
-rw-r--r--src/algebra/strap/OUTFORM.lsp555
1 files changed, 468 insertions, 87 deletions
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)
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-30 17:20:22 +0000