diff options
author | dos-reis <gdr@axiomatics.org> | 2009-03-01 05:22:19 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-03-01 05:22:19 +0000 |
commit | c42526006076b88ff2755f33eb1defd2e455e67e (patch) | |
tree | 975c82ab94b65bc41169dd0c339700d4a2efc825 /src/algebra/strap/SYMBOL.lsp | |
parent | 4311f047fffe6dbc6f58ba4f37f074cc9d155630 (diff) | |
download | open-axiom-c42526006076b88ff2755f33eb1defd2e455e67e.tar.gz |
Optimization should not change slot numbers.
Diffstat (limited to 'src/algebra/strap/SYMBOL.lsp')
-rw-r--r-- | src/algebra/strap/SYMBOL.lsp | 426 |
1 files changed, 225 insertions, 201 deletions
diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp index 6529e944..933198cc 100644 --- a/src/algebra/strap/SYMBOL.lsp +++ b/src/algebra/strap/SYMBOL.lsp @@ -117,7 +117,7 @@ (COND ((|SYMBOL;scripted?;$B;30| |x| $) (|error| "Cannot convert a scripted symbol to OpenMath")) - ('T (SPADCALL |dev| |x| (|getShellEntry| $ 26))))) + ('T (SPADCALL |dev| |x| (|getShellEntry| $ 27))))) (DEFUN |SYMBOL;OMwrite;$S;2| (|x| $) (PROG (|sp| |dev| |s|) @@ -125,13 +125,13 @@ (SEQ (LETT |s| "" |SYMBOL;OMwrite;$S;2|) (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |SYMBOL;OMwrite;$S;2|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 28)) - (|getShellEntry| $ 29)) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 29)) + (|getShellEntry| $ 30)) |SYMBOL;OMwrite;$S;2|) - (SPADCALL |dev| (|getShellEntry| $ 30)) - (|SYMBOL;writeOMSym| |dev| |x| $) (SPADCALL |dev| (|getShellEntry| $ 31)) + (|SYMBOL;writeOMSym| |dev| |x| $) (SPADCALL |dev| (|getShellEntry| $ 32)) + (SPADCALL |dev| (|getShellEntry| $ 33)) (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |SYMBOL;OMwrite;$S;2|) (EXIT |s|))))) @@ -142,30 +142,30 @@ (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |SYMBOL;OMwrite;$BS;3|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 28)) - (|getShellEntry| $ 29)) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 29)) + (|getShellEntry| $ 30)) |SYMBOL;OMwrite;$BS;3|) - (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 30)))) - (|SYMBOL;writeOMSym| |dev| |x| $) (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 31)))) - (SPADCALL |dev| (|getShellEntry| $ 32)) + (|SYMBOL;writeOMSym| |dev| |x| $) + (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 32)))) + (SPADCALL |dev| (|getShellEntry| $ 33)) (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |SYMBOL;OMwrite;$BS;3|) (EXIT |s|))))) (DEFUN |SYMBOL;OMwrite;Omd$V;4| (|dev| |x| $) - (SEQ (SPADCALL |dev| (|getShellEntry| $ 30)) + (SEQ (SPADCALL |dev| (|getShellEntry| $ 31)) (|SYMBOL;writeOMSym| |dev| |x| $) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 31))))) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 32))))) (DEFUN |SYMBOL;OMwrite;Omd$BV;5| (|dev| |x| |wholeObj| $) - (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 30)))) + (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 31)))) (|SYMBOL;writeOMSym| |dev| |x| $) (EXIT (COND - (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 31))))))) + (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 32))))))) (DEFUN |SYMBOL;convert;$If;6| (|s| $) - (SPADCALL |s| (|getShellEntry| $ 45))) + (SPADCALL |s| (|getShellEntry| $ 47))) (DEFUN |SYMBOL;convert;2$;7| (|s| $) (DECLARE (IGNORE $)) |s|) @@ -180,7 +180,7 @@ (GGREATERP |y| |x|)) (DEFUN |SYMBOL;coerce;$Of;11| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 52))) + (SPADCALL |x| (|getShellEntry| $ 54))) (DEFUN |SYMBOL;subscript;$L$;12| (|sy| |lx| $) (|SYMBOL;script;$L$;22| |sy| (LIST |lx| NIL NIL NIL NIL) $)) @@ -195,19 +195,19 @@ (|SYMBOL;script;$L$;22| |sy| (LIST NIL NIL NIL NIL |lx|) $)) (DEFUN |SYMBOL;patternMatch;$P2Pmr;16| (|x| |p| |l| $) - (SPADCALL |x| |p| |l| (|getShellEntry| $ 64))) + (SPADCALL |x| |p| |l| (|getShellEntry| $ 69))) (DEFUN |SYMBOL;patternMatch;$P2Pmr;17| (|x| |p| |l| $) - (SPADCALL |x| |p| |l| (|getShellEntry| $ 71))) + (SPADCALL |x| |p| |l| (|getShellEntry| $ 76))) (DEFUN |SYMBOL;convert;$P;18| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 74))) + (SPADCALL |x| (|getShellEntry| $ 79))) (DEFUN |SYMBOL;convert;$P;19| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 76))) + (SPADCALL |x| (|getShellEntry| $ 81))) (DEFUN |SYMBOL;syprefix| (|sc| $) - (PROG (|ns| #0=#:G1549 |n| #1=#:G1550) + (PROG (|ns| #0=#:G1550 |n| #1=#:G1551) (RETURN (SEQ (LETT |ns| (LIST (LENGTH (QVELT |sc| 3)) (LENGTH (QVELT |sc| 2)) @@ -222,7 +222,7 @@ (SEQ (EXIT (LETT |ns| (CDR |ns|) |SYMBOL;syprefix|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT (SPADCALL - (CONS (STRCONC (|getShellEntry| $ 37) + (CONS (STRCONC (|getShellEntry| $ 38) (|SYMBOL;istring| (LENGTH (QVELT |sc| 4)) $)) (PROGN @@ -247,22 +247,22 @@ |SYMBOL;syprefix|) (GO G190) G191 (EXIT (NREVERSE0 #0#))))) - (|getShellEntry| $ 79))))))) + (|getShellEntry| $ 95))))))) (DEFUN |SYMBOL;syscripts| (|sc| $) (PROG (|all|) (RETURN (SEQ (LETT |all| (QVELT |sc| 3) |SYMBOL;syscripts|) (LETT |all| - (SPADCALL (QVELT |sc| 2) |all| (|getShellEntry| $ 80)) + (SPADCALL (QVELT |sc| 2) |all| (|getShellEntry| $ 96)) |SYMBOL;syscripts|) (LETT |all| - (SPADCALL (QVELT |sc| 1) |all| (|getShellEntry| $ 80)) + (SPADCALL (QVELT |sc| 1) |all| (|getShellEntry| $ 96)) |SYMBOL;syscripts|) (LETT |all| - (SPADCALL (QVELT |sc| 0) |all| (|getShellEntry| $ 80)) + (SPADCALL (QVELT |sc| 0) |all| (|getShellEntry| $ 96)) |SYMBOL;syscripts|) - (EXIT (SPADCALL |all| (QVELT |sc| 4) (|getShellEntry| $ 80))))))) + (EXIT (SPADCALL |all| (QVELT |sc| 4) (|getShellEntry| $ 96))))))) (DEFUN |SYMBOL;script;$L$;22| (|sy| |ls| $) (PROG (|sc|) @@ -318,9 +318,9 @@ (COND ((< 1 (QCSIZE |s|)) (COND - ((SPADCALL (SPADCALL |s| 1 (|getShellEntry| $ 85)) - (SPADCALL "\\" (|getShellEntry| $ 40)) - (|getShellEntry| $ 86)) + ((SPADCALL (SPADCALL |s| 1 (|getShellEntry| $ 107)) + (SPADCALL "\\" (|getShellEntry| $ 43)) + (|getShellEntry| $ 108)) (LETT |s| (STRCONC "\\mbox{\\it " (STRCONC |s| "}")) |SYMBOL;latex;$S;25|))))) (COND ((NULL (|SYMBOL;scripted?;$B;30| |e| $)) (EXIT |s|))) @@ -335,7 +335,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 88))) + (|getShellEntry| $ 112))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -356,7 +356,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 88))) + (|getShellEntry| $ 112))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -377,7 +377,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 88))) + (|getShellEntry| $ 112))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -398,7 +398,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 88))) + (|getShellEntry| $ 112))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -419,7 +419,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 88))) + (|getShellEntry| $ 112))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -435,7 +435,7 @@ (EXIT |s|))))) (DEFUN |SYMBOL;anyRadix| (|n| |s| $) - (PROG (|qr| |ns| #0=#:G1504) + (PROG (|qr| |ns| #0=#:G1505) (RETURN (SEQ (EXIT (SEQ (LETT |ns| "" |SYMBOL;anyRadix|) (EXIT (SEQ G190 NIL @@ -449,9 +449,9 @@ (SPADCALL |s| (+ (QCDR |qr|) (SPADCALL |s| - (|getShellEntry| $ 90))) - (|getShellEntry| $ 85)) - |ns| (|getShellEntry| $ 91)) + (|getShellEntry| $ 117))) + (|getShellEntry| $ 107)) + |ns| (|getShellEntry| $ 119)) |SYMBOL;anyRadix|) (EXIT (COND @@ -468,15 +468,15 @@ (RETURN (SEQ (LETT |sym| (|SYMBOL;anyRadix| - (SPADCALL (|getShellEntry| $ 9) - (|getShellEntry| $ 92)) - (|getShellEntry| $ 19) $) + (SPADCALL (|getShellEntry| $ 10) + (|getShellEntry| $ 120)) + (|getShellEntry| $ 20) $) |SYMBOL;new;$;27|) - (SPADCALL (|getShellEntry| $ 9) - (+ (SPADCALL (|getShellEntry| $ 9) - (|getShellEntry| $ 92)) + (SPADCALL (|getShellEntry| $ 10) + (+ (SPADCALL (|getShellEntry| $ 10) + (|getShellEntry| $ 120)) 1) - (|getShellEntry| $ 93)) + (|getShellEntry| $ 121)) (EXIT (|SYMBOL;coerce;S$;8| (STRCONC "%" |sym|) $)))))) (DEFUN |SYMBOL;new;2$;28| (|x| $) @@ -484,15 +484,15 @@ (RETURN (SEQ (LETT |n| (SEQ (LETT |u| - (SPADCALL |x| (|getShellEntry| $ 12) - (|getShellEntry| $ 96)) + (SPADCALL |x| (|getShellEntry| $ 13) + (|getShellEntry| $ 124)) |SYMBOL;new;2$;28|) (EXIT (COND ((QEQCAR |u| 1) 0) ('T (+ (QCDR |u|) 1))))) |SYMBOL;new;2$;28|) - (SPADCALL (|getShellEntry| $ 12) |x| |n| - (|getShellEntry| $ 97)) + (SPADCALL (|getShellEntry| $ 13) |x| |n| + (|getShellEntry| $ 127)) (LETT |xx| (COND ((NULL (|SYMBOL;scripted?;$B;30| |x| $)) @@ -507,19 +507,19 @@ ((NULL (< (SPADCALL (SPADCALL |xx| (SPADCALL |xx| - (|getShellEntry| $ 98)) - (|getShellEntry| $ 85)) - (|getShellEntry| $ 18) - (|getShellEntry| $ 99)) - (SPADCALL (|getShellEntry| $ 18) - (|getShellEntry| $ 90)))) + (|getShellEntry| $ 128)) + (|getShellEntry| $ 107)) + (|getShellEntry| $ 19) + (|getShellEntry| $ 129)) + (SPADCALL (|getShellEntry| $ 19) + (|getShellEntry| $ 117)))) (STRCONC |xx| (|SYMBOL;anyRadix| |n| - (|getShellEntry| $ 20) $))) + (|getShellEntry| $ 21) $))) ('T (STRCONC |xx| (|SYMBOL;anyRadix| |n| - (|getShellEntry| $ 18) $)))) + (|getShellEntry| $ 19) $)))) |SYMBOL;new;2$;28|) (COND ((NULL (|SYMBOL;scripted?;$B;30| |x| $)) @@ -528,13 +528,13 @@ (|SYMBOL;scripts;$R;32| |x| $) $)))))) (DEFUN |SYMBOL;resetNew;V;29| ($) - (PROG (|k| #0=#:G1551) + (PROG (|k| #0=#:G1552) (RETURN - (SEQ (SPADCALL (|getShellEntry| $ 9) 0 (|getShellEntry| $ 93)) + (SEQ (SPADCALL (|getShellEntry| $ 10) 0 (|getShellEntry| $ 121)) (SEQ (LETT |k| NIL |SYMBOL;resetNew;V;29|) (LETT #0# - (SPADCALL (|getShellEntry| $ 12) - (|getShellEntry| $ 102)) + (SPADCALL (|getShellEntry| $ 13) + (|getShellEntry| $ 133)) |SYMBOL;resetNew;V;29|) G190 (COND @@ -543,16 +543,16 @@ (LETT |k| (CAR #0#) |SYMBOL;resetNew;V;29|) NIL)) (GO G191))) - (SEQ (EXIT (SPADCALL |k| (|getShellEntry| $ 12) - (|getShellEntry| $ 103)))) + (SEQ (EXIT (SPADCALL |k| (|getShellEntry| $ 13) + (|getShellEntry| $ 134)))) (LETT #0# (CDR #0#) |SYMBOL;resetNew;V;29|) (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL (|getShellEntry| $ 104))))))) + (EXIT (SPADCALL (|getShellEntry| $ 135))))))) (DEFUN |SYMBOL;scripted?;$B;30| (|sy| $) (NOT (ATOM |sy|))) (DEFUN |SYMBOL;name;2$;31| (|sy| $) - (PROG (|str| |i| #0=#:G1552 #1=#:G1532 #2=#:G1530) + (PROG (|str| |i| #0=#:G1553 #1=#:G1533 #2=#:G1531) (RETURN (SEQ (EXIT (COND ((NULL (|SYMBOL;scripted?;$B;30| |sy| $)) |sy|) @@ -561,12 +561,12 @@ (|SYMBOL;string;$S;24| (SPADCALL (|SYMBOL;list;$L;34| |sy| $) - (|getShellEntry| $ 107)) + (|getShellEntry| $ 139)) $) |SYMBOL;name;2$;31|) (SEQ (EXIT (SEQ (LETT |i| - (+ (|getShellEntry| $ 38) 1) + (+ (|getShellEntry| $ 41) 1) |SYMBOL;name;2$;31|) (LETT #0# (QCSIZE |str|) |SYMBOL;name;2$;31|) @@ -578,8 +578,8 @@ ((NULL (SPADCALL (SPADCALL |str| |i| - (|getShellEntry| $ 85)) - (|getShellEntry| $ 108))) + (|getShellEntry| $ 107)) + (|getShellEntry| $ 143))) (PROGN (LETT #2# (PROGN @@ -589,9 +589,9 @@ (SPADCALL |i| (QCSIZE |str|) (|getShellEntry| $ - 110)) + 145)) (|getShellEntry| $ - 111)) + 146)) $) |SYMBOL;name;2$;31|) (GO #1#)) @@ -605,8 +605,8 @@ #1# (EXIT #1#))))) (DEFUN |SYMBOL;scripts;$R;32| (|sy| $) - (PROG (|lscripts| |str| |nstr| |j| #0=#:G1535 |nscripts| |m| |n| - #1=#:G1553 |i| #2=#:G1554 |a| #3=#:G1555 |allscripts|) + (PROG (|lscripts| |str| |nstr| |j| #0=#:G1536 |nscripts| |m| |n| + #1=#:G1554 |i| #2=#:G1555 |a| #3=#:G1556 |allscripts|) (RETURN (SEQ (COND ((NULL (|SYMBOL;scripted?;$B;30| |sy| $)) @@ -619,22 +619,22 @@ (LETT |str| (|SYMBOL;string;$S;24| (SPADCALL (|SYMBOL;list;$L;34| |sy| $) - (|getShellEntry| $ 107)) + (|getShellEntry| $ 139)) $) |SYMBOL;scripts;$R;32|) (LETT |nstr| (QCSIZE |str|) |SYMBOL;scripts;$R;32|) (LETT |m| - (SPADCALL |nscripts| (|getShellEntry| $ 113)) + (SPADCALL |nscripts| (|getShellEntry| $ 148)) |SYMBOL;scripts;$R;32|) - (SEQ (LETT |j| (+ (|getShellEntry| $ 38) 1) + (SEQ (LETT |j| (+ (|getShellEntry| $ 41) 1) |SYMBOL;scripts;$R;32|) (LETT |i| |m| |SYMBOL;scripts;$R;32|) G190 (COND ((OR (> |j| |nstr|) (NULL (SPADCALL (SPADCALL |str| |j| - (|getShellEntry| $ 85)) - (|getShellEntry| $ 108)))) + (|getShellEntry| $ 107)) + (|getShellEntry| $ 143)))) (GO G191))) (SEQ (EXIT (SPADCALL |nscripts| |i| (PROG1 @@ -642,14 +642,14 @@ (- (SPADCALL (SPADCALL |str| |j| - (|getShellEntry| $ 85)) - (|getShellEntry| $ 42)) - (|getShellEntry| $ 43)) + (|getShellEntry| $ 107)) + (|getShellEntry| $ 44)) + (|getShellEntry| $ 45)) |SYMBOL;scripts;$R;32|) (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 114)))) + (|getShellEntry| $ 150)))) (LETT |i| (PROG1 (+ |i| 1) (LETT |j| (+ |j| 1) @@ -659,14 +659,14 @@ (LETT |nscripts| (SPADCALL (CDR |nscripts|) (|SPADfirst| |nscripts|) - (|getShellEntry| $ 115)) + (|getShellEntry| $ 153)) |SYMBOL;scripts;$R;32|) (LETT |allscripts| (SPADCALL (|SYMBOL;list;$L;34| |sy| $) - (|getShellEntry| $ 116)) + (|getShellEntry| $ 154)) |SYMBOL;scripts;$R;32|) (LETT |m| - (SPADCALL |lscripts| (|getShellEntry| $ 117)) + (SPADCALL |lscripts| (|getShellEntry| $ 155)) |SYMBOL;scripts;$R;32|) (SEQ (LETT |n| NIL |SYMBOL;scripts;$R;32|) (LETT #1# |nscripts| |SYMBOL;scripts;$R;32|) @@ -681,7 +681,7 @@ (SEQ (EXIT (COND ((< (SPADCALL |allscripts| - (|getShellEntry| $ 118)) + (|getShellEntry| $ 156)) |n|) (|error| "Improper script count in symbol")) @@ -696,7 +696,7 @@ |SYMBOL;scripts;$R;32|) (LETT #3# (SPADCALL |allscripts| |n| - (|getShellEntry| $ 119)) + (|getShellEntry| $ 157)) |SYMBOL;scripts;$R;32|) G190 (COND @@ -718,11 +718,11 @@ |SYMBOL;scripts;$R;32|) (GO G190) G191 (EXIT (NREVERSE0 #2#)))) - (|getShellEntry| $ 120)) + (|getShellEntry| $ 158)) (EXIT (LETT |allscripts| (SPADCALL |allscripts| |n| - (|getShellEntry| $ 121)) + (|getShellEntry| $ 159)) |SYMBOL;scripts;$R;32|))))))) (LETT |i| (PROG1 (+ |i| 1) @@ -731,20 +731,20 @@ |SYMBOL;scripts;$R;32|) (GO G190) G191 (EXIT NIL)) (EXIT (VECTOR (SPADCALL |lscripts| |m| - (|getShellEntry| $ 122)) + (|getShellEntry| $ 160)) (SPADCALL |lscripts| (+ |m| 1) - (|getShellEntry| $ 122)) + (|getShellEntry| $ 160)) (SPADCALL |lscripts| (+ |m| 2) - (|getShellEntry| $ 122)) + (|getShellEntry| $ 160)) (SPADCALL |lscripts| (+ |m| 3) - (|getShellEntry| $ 122)) + (|getShellEntry| $ 160)) (SPADCALL |lscripts| (+ |m| 4) - (|getShellEntry| $ 122))))))))))) + (|getShellEntry| $ 160))))))))))) (DEFUN |SYMBOL;istring| (|n| $) (COND ((< 9 |n|) (|error| "Can have at most 9 scripts of each kind")) - ('T (|getSimpleArrayEntry| (|getShellEntry| $ 17) (+ |n| 0))))) + ('T (|getSimpleArrayEntry| (|getShellEntry| $ 18) (+ |n| 0))))) (DEFUN |SYMBOL;list;$L;34| (|sy| $) (COND @@ -757,7 +757,7 @@ (DEFUN |Symbol| () (PROG () (RETURN - (PROG (#0=#:G1557) + (PROG (#0=#:G1558) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|Symbol|) |Symbol|) @@ -775,129 +775,153 @@ (RETURN (PROGN (LETT |dv$| '(|Symbol|) . #0=(|Symbol|)) - (LETT $ (|newShell| 125) . #0#) + (LETT $ (|newShell| 164) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) (|haddProp| |$ConstructorCache| '|Symbol| NIL (CONS 1 $)) (|stuffDomainSlots| $) - (|setShellEntry| $ 9 (SPADCALL 0 (|getShellEntry| $ 8))) - (|setShellEntry| $ 12 (SPADCALL (|getShellEntry| $ 11))) - (|setShellEntry| $ 17 + (|setShellEntry| $ 10 (SPADCALL 0 (|getShellEntry| $ 9))) + (|setShellEntry| $ 13 (SPADCALL (|getShellEntry| $ 12))) + (|setShellEntry| $ 18 (SPADCALL (LIST "0" "1" "2" "3" "4" "5" "6" "7" "8" "9") - (|getShellEntry| $ 16))) - (|setShellEntry| $ 18 "0123456789") - (|setShellEntry| $ 19 "ABCDEFGHIJKLMNOPQRSTUVWXYZ") - (|setShellEntry| $ 20 "abcdefghijklmnopqrstuvwxyz") - (|setShellEntry| $ 37 "*") - (|setShellEntry| $ 38 (QCSIZE (|getShellEntry| $ 37))) - (|setShellEntry| $ 43 - (SPADCALL (SPADCALL "0" (|getShellEntry| $ 40)) - (|getShellEntry| $ 42))) + (|getShellEntry| $ 17))) + (|setShellEntry| $ 19 "0123456789") + (|setShellEntry| $ 20 "ABCDEFGHIJKLMNOPQRSTUVWXYZ") + (|setShellEntry| $ 21 "abcdefghijklmnopqrstuvwxyz") + (|setShellEntry| $ 38 "*") + (|setShellEntry| $ 41 (QCSIZE (|getShellEntry| $ 38))) + (|setShellEntry| $ 45 + (SPADCALL (SPADCALL "0" (|getShellEntry| $ 43)) + (|getShellEntry| $ 44))) $)))) (MAKEPROP '|Symbol| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL (|Integer|) (|Reference| 6) - (0 . |ref|) '|count| (|AssociationList| $$ 6) - (5 . |empty|) '|xcount| (|String|) (|List| 13) - (|PrimitiveArray| 13) (9 . |construct|) '|istrings| - '|nums| 'ALPHAS '|alphas| (|Boolean|) - |SYMBOL;scripted?;$B;30| (|Void|) (|Symbol|) - (|OpenMathDevice|) (14 . |OMputVariable|) - (|OpenMathEncoding|) (20 . |OMencodingXML|) - (24 . |OMopenString|) (30 . |OMputObject|) - (35 . |OMputEndObject|) (40 . |OMclose|) + (LIST '#(NIL NIL NIL NIL NIL NIL (|Integer|) (0 . |Zero|) + (|Reference| 6) (4 . |ref|) '|count| + (|AssociationList| $$ 6) (9 . |empty|) '|xcount| + (|String|) (|List| 14) (|PrimitiveArray| 14) + (13 . |construct|) '|istrings| '|nums| 'ALPHAS '|alphas| + (|Boolean|) |SYMBOL;scripted?;$B;30| (|Void|) (|Symbol|) + (|OpenMathDevice|) (18 . |OMputVariable|) + (|OpenMathEncoding|) (24 . |OMencodingXML|) + (28 . |OMopenString|) (34 . |OMputObject|) + (39 . |OMputEndObject|) (44 . |OMclose|) |SYMBOL;OMwrite;$S;2| |SYMBOL;OMwrite;$BS;3| |SYMBOL;OMwrite;Omd$V;4| |SYMBOL;OMwrite;Omd$BV;5| '|hd| - '|lhd| (|Character|) (45 . |char|) (|NonNegativeInteger|) - (50 . |ord|) '|ord0| (|InputForm|) (55 . |convert|) - |SYMBOL;convert;$If;6| |SYMBOL;convert;2$;7| - |SYMBOL;coerce;S$;8| |SYMBOL;=;2$B;9| |SYMBOL;<;2$B;10| - (|OutputForm|) (60 . |outputForm|) |SYMBOL;coerce;$Of;11| - (|List| 51) (|List| 54) |SYMBOL;script;$L$;22| - |SYMBOL;subscript;$L$;12| |SYMBOL;elt;$L$;13| - |SYMBOL;superscript;$L$;14| |SYMBOL;argscript;$L$;15| - (|PatternMatchResult| 6 24) (|Pattern| 6) - (|PatternMatchSymbol| 6) (65 . |patternMatch|) - (|PatternMatchResult| 6 $) |SYMBOL;patternMatch;$P2Pmr;16| - (|Float|) (|PatternMatchResult| 67 24) (|Pattern| 67) - (|PatternMatchSymbol| 67) (72 . |patternMatch|) - (|PatternMatchResult| 67 $) - |SYMBOL;patternMatch;$P2Pmr;17| (79 . |coerce|) - |SYMBOL;convert;$P;18| (84 . |coerce|) - |SYMBOL;convert;$P;19| (|List| $) (89 . |concat|) - (94 . |concat|) - (|Record| (|:| |sub| 54) (|:| |sup| 54) (|:| |presup| 54) - (|:| |presub| 54) (|:| |args| 54)) + (|NonNegativeInteger|) (49 . |#|) '|lhd| (|Character|) + (54 . |char|) (59 . |ord|) '|ord0| (|InputForm|) + (64 . |convert|) |SYMBOL;convert;$If;6| + |SYMBOL;convert;2$;7| |SYMBOL;coerce;S$;8| + |SYMBOL;=;2$B;9| |SYMBOL;<;2$B;10| (|OutputForm|) + (69 . |outputForm|) |SYMBOL;coerce;$Of;11| (74 . |nil|) + (|List| 53) (78 . |nil|) (|List| 57) (82 . |nil|) + |SYMBOL;script;$L$;22| |SYMBOL;subscript;$L$;12| + |SYMBOL;elt;$L$;13| |SYMBOL;superscript;$L$;14| + |SYMBOL;argscript;$L$;15| (|PatternMatchResult| 6 25) + (|Pattern| 6) (|PatternMatchSymbol| 6) + (86 . |patternMatch|) (|PatternMatchResult| 6 $) + |SYMBOL;patternMatch;$P2Pmr;16| (|Float|) + (|PatternMatchResult| 72 25) (|Pattern| 72) + (|PatternMatchSymbol| 72) (93 . |patternMatch|) + (|PatternMatchResult| 72 $) + |SYMBOL;patternMatch;$P2Pmr;17| (100 . |coerce|) + |SYMBOL;convert;$P;18| (105 . |coerce|) + |SYMBOL;convert;$P;19| (110 . |#|) (|List| 6) (115 . |#|) + (120 . <) (126 . |false|) (130 . |first|) (135 . |zero?|) + (140 . |rest|) (145 . |concat|) (151 . |reverse!|) + (156 . |concat|) (|List| $) (162 . |concat|) + (167 . |concat|) (173 . |null|) (178 . |first|) + (183 . |rest|) + (|Record| (|:| |sub| 57) (|:| |sup| 57) (|:| |presup| 57) + (|:| |presub| 57) (|:| |args| 57)) |SYMBOL;script;$R$;23| |SYMBOL;name;2$;31| - |SYMBOL;string;$S;24| (100 . |elt|) (106 . ~=) - |SYMBOL;scripts;$R;32| (112 . |latex|) - |SYMBOL;latex;$S;25| (117 . |minIndex|) (122 . |concat|) - (128 . |elt|) (133 . |setelt|) |SYMBOL;new;$;27| - (|Union| 6 '"failed") (139 . |search|) (145 . |setelt|) - (152 . |maxIndex|) (157 . |position|) |SYMBOL;new;2$;28| - (|List| $$) (163 . |keys|) (168 . |remove!|) - (174 . |void|) |SYMBOL;resetNew;V;29| |SYMBOL;list;$L;34| - (178 . |first|) (183 . |digit?|) (|UniversalSegment| 6) - (188 . SEGMENT) (194 . |elt|) (|List| 41) - (200 . |minIndex|) (205 . |setelt|) (212 . |concat|) - (218 . |rest|) (223 . |minIndex|) (228 . |#|) - (233 . |first|) (239 . |setelt|) (246 . |rest|) - (252 . |elt|) + |SYMBOL;string;$S;24| (188 . |concat|) (194 . |One|) + (198 . |One|) (202 . |elt|) (208 . ~=) + |SYMBOL;scripts;$R;32| (214 . |empty?|) (219 . |first|) + (224 . |latex|) (229 . |rest|) |SYMBOL;latex;$S;25| + (|Record| (|:| |quotient| $) (|:| |remainder| $)) + (234 . |divide|) (240 . |minIndex|) (245 . +) + (251 . |concat|) (257 . |elt|) (262 . |setelt|) + |SYMBOL;new;$;27| (|Union| 6 '"failed") (268 . |search|) + (274 . |Zero|) (278 . |inc|) (283 . |setelt|) + (290 . |maxIndex|) (295 . |position|) (301 . <) + |SYMBOL;new;2$;28| (|List| $$) (307 . |keys|) + (312 . |remove!|) (318 . |void|) |SYMBOL;resetNew;V;29| + (322 . |not|) |SYMBOL;list;$L;34| (327 . |first|) + (|SingleInteger|) (332 . |One|) (336 . +) (342 . |digit?|) + (|UniversalSegment| 6) (347 . SEGMENT) (353 . |elt|) + (|List| 39) (359 . |minIndex|) (364 . -) (370 . |setelt|) + (377 . |rest|) (382 . |first|) (387 . |concat|) + (393 . |rest|) (398 . |minIndex|) (403 . |#|) + (408 . |first|) (414 . |setelt|) (421 . |rest|) + (427 . |elt|) (433 . |minIndex|) (438 . |elt|) (CONS IDENTITY (FUNCALL (|dispatchFunction| |SYMBOL;sample;$;35|) - $)) - (|SingleInteger|)) - '#(~= 258 |superscript| 264 |subscript| 270 |string| 276 - |scripts| 281 |scripted?| 286 |script| 291 |sample| 303 - |resetNew| 307 |patternMatch| 311 |new| 325 |name| 334 - |min| 339 |max| 345 |list| 351 |latex| 356 |hash| 361 - |elt| 366 |convert| 372 |coerce| 392 |argscript| 402 - |OMwrite| 408 >= 432 > 438 = 444 <= 450 < 456) + $))) + '#(~= 444 |superscript| 450 |subscript| 456 |string| 462 + |scripts| 467 |scripted?| 472 |script| 477 |sample| 489 + |resetNew| 493 |patternMatch| 497 |new| 511 |name| 520 + |min| 525 |max| 531 |list| 537 |latex| 542 |hash| 547 + |elt| 552 |convert| 558 |coerce| 578 |argscript| 588 + |OMwrite| 594 >= 618 > 624 = 630 <= 636 < 642) 'NIL (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0)) (CONS '#(|OrderedSet&| NIL NIL |SetCategory&| |BasicType&| NIL NIL NIL NIL NIL NIL NIL) - (CONS '#((|OrderedSet|) (|PatternMatchable| 67) + (CONS '#((|OrderedSet|) (|PatternMatchable| 72) (|PatternMatchable| 6) (|SetCategory|) - (|BasicType|) (|ConvertibleTo| 69) - (|ConvertibleTo| 62) - (|CoercibleFrom| 13) - (|ConvertibleTo| 24) (|OpenMath|) - (|ConvertibleTo| 44) (|CoercibleTo| 51)) - (|makeByteWordVec2| 124 - '(1 7 0 6 8 0 10 0 11 1 15 0 14 16 2 25 - 23 0 24 26 0 27 0 28 2 25 0 13 27 29 - 1 25 23 0 30 1 25 23 0 31 1 25 23 0 - 32 1 39 0 13 40 1 39 41 0 42 1 44 0 - 24 45 1 51 0 24 52 3 63 61 24 62 61 - 64 3 70 68 24 69 68 71 1 69 0 24 74 1 - 62 0 24 76 1 13 0 78 79 2 54 0 0 0 80 - 2 13 39 0 6 85 2 39 21 0 0 86 1 51 13 - 0 88 1 13 6 0 90 2 13 0 39 0 91 1 7 6 - 0 92 2 7 6 0 6 93 2 10 95 2 0 96 3 10 - 6 0 2 6 97 1 13 6 0 98 2 13 6 39 0 99 - 1 10 101 0 102 2 10 95 2 0 103 0 23 0 - 104 1 101 2 0 107 1 39 21 0 108 2 109 - 0 6 6 110 2 13 0 0 109 111 1 112 6 0 - 113 3 112 41 0 6 41 114 2 112 0 0 41 - 115 1 101 0 0 116 1 55 6 0 117 1 101 - 41 0 118 2 101 0 0 41 119 3 55 54 0 6 - 54 120 2 101 0 0 41 121 2 55 54 0 6 - 122 2 0 21 0 0 1 2 0 0 0 54 59 2 0 0 - 0 54 57 1 0 13 0 84 1 0 81 0 87 1 0 - 21 0 22 2 0 0 0 55 56 2 0 0 0 81 82 0 - 0 0 123 0 0 23 105 3 0 72 0 69 72 73 - 3 0 65 0 62 65 66 0 0 0 94 1 0 0 0 - 100 1 0 0 0 83 2 0 0 0 0 1 2 0 0 0 0 - 1 1 0 78 0 106 1 0 13 0 89 1 0 124 0 - 1 2 0 0 0 54 58 1 0 69 0 75 1 0 62 0 - 77 1 0 24 0 47 1 0 44 0 46 1 0 0 13 - 48 1 0 51 0 53 2 0 0 0 54 60 3 0 23 - 25 0 21 36 2 0 13 0 21 34 2 0 23 25 0 - 35 1 0 13 0 33 2 0 21 0 0 1 2 0 21 0 - 0 1 2 0 21 0 0 49 2 0 21 0 0 1 2 0 21 - 0 0 50))))) + (|BasicType|) (|ConvertibleTo| 74) + (|ConvertibleTo| 67) + (|CoercibleFrom| 14) + (|ConvertibleTo| 25) (|OpenMath|) + (|ConvertibleTo| 46) (|CoercibleTo| 53)) + (|makeByteWordVec2| 163 + '(0 6 0 7 1 8 0 6 9 0 11 0 12 1 16 0 15 + 17 2 26 24 0 25 27 0 28 0 29 2 26 0 + 14 28 30 1 26 24 0 31 1 26 24 0 32 1 + 26 24 0 33 1 14 39 0 40 1 42 0 14 43 + 1 42 39 0 44 1 46 0 25 47 1 53 0 25 + 54 0 15 0 56 0 57 0 58 0 59 0 60 3 68 + 66 25 67 66 69 3 75 73 25 74 73 76 1 + 74 0 25 79 1 67 0 25 81 1 57 39 0 83 + 1 84 39 0 85 2 39 22 0 0 86 0 22 0 87 + 1 84 6 0 88 1 6 22 0 89 1 84 0 0 90 2 + 14 0 0 0 91 1 84 0 0 92 2 15 0 14 0 + 93 1 14 0 94 95 2 57 0 0 0 96 1 59 22 + 0 97 1 59 57 0 98 1 59 0 0 99 2 57 0 + 53 0 104 0 39 0 105 0 6 0 106 2 14 42 + 0 6 107 2 42 22 0 0 108 1 57 22 0 110 + 1 57 53 0 111 1 53 14 0 112 1 57 0 0 + 113 2 6 115 0 0 116 1 14 6 0 117 2 6 + 0 0 0 118 2 14 0 42 0 119 1 8 6 0 120 + 2 8 6 0 6 121 2 11 123 2 0 124 0 39 0 + 125 1 6 0 0 126 3 11 6 0 2 6 127 1 14 + 6 0 128 2 14 6 42 0 129 2 6 22 0 0 + 130 1 11 132 0 133 2 11 123 2 0 134 0 + 24 0 135 1 22 0 0 137 1 132 2 0 139 0 + 140 0 141 2 39 0 0 0 142 1 42 22 0 + 143 2 144 0 6 6 145 2 14 0 0 144 146 + 1 147 6 0 148 2 6 0 0 0 149 3 147 39 + 0 6 39 150 1 147 0 0 151 1 147 39 0 + 152 2 147 0 0 39 153 1 132 0 0 154 1 + 59 6 0 155 1 132 39 0 156 2 132 0 0 + 39 157 3 59 57 0 6 57 158 2 132 0 0 + 39 159 2 59 57 0 6 160 1 16 6 0 161 2 + 16 14 0 6 162 2 0 22 0 0 1 2 0 0 0 57 + 64 2 0 0 0 57 62 1 0 14 0 103 1 0 100 + 0 109 1 0 22 0 23 2 0 0 0 59 61 2 0 0 + 0 100 101 0 0 0 163 0 0 24 136 3 0 77 + 0 74 77 78 3 0 70 0 67 70 71 0 0 0 + 122 1 0 0 0 131 1 0 0 0 102 2 0 0 0 0 + 1 2 0 0 0 0 1 1 0 94 0 138 1 0 14 0 + 114 1 0 140 0 1 2 0 0 0 57 63 1 0 74 + 0 80 1 0 67 0 82 1 0 25 0 49 1 0 46 0 + 48 1 0 0 14 50 1 0 53 0 55 2 0 0 0 57 + 65 3 0 24 26 0 22 37 2 0 14 0 22 35 2 + 0 24 26 0 36 1 0 14 0 34 2 0 22 0 0 1 + 2 0 22 0 0 1 2 0 22 0 0 51 2 0 22 0 0 + 1 2 0 22 0 0 52))))) '|lookupComplete|)) (MAKEPROP '|Symbol| 'NILADIC T) |