diff options
Diffstat (limited to 'src/algebra/strap/LIST.lsp')
-rw-r--r-- | src/algebra/strap/LIST.lsp | 163 |
1 files changed, 77 insertions, 86 deletions
diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp index 43656399..8e1a47d8 100644 --- a/src/algebra/strap/LIST.lsp +++ b/src/algebra/strap/LIST.lsp @@ -63,15 +63,12 @@ (DEFUN |LIST;writeOMList| (|dev| |x| $) (SEQ (SPADCALL |dev| (|getShellEntry| $ 14)) (SPADCALL |dev| "list1" "list" (|getShellEntry| $ 16)) - (SEQ G190 - (COND - ((NULL (SPADCALL (NULL |x|) (|getShellEntry| $ 17))) - (GO G191))) + (SEQ G190 (COND ((NULL (NOT (NULL |x|))) (GO G191))) (SEQ (SPADCALL |dev| (|SPADfirst| |x|) 'NIL - (|getShellEntry| $ 18)) + (|getShellEntry| $ 17)) (EXIT (LETT |x| (CDR |x|) |LIST;writeOMList|))) NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 19))))) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 18))))) (DEFUN |LIST;OMwrite;$S;6| (|x| $) (PROG (|sp| |dev| |s|) @@ -79,13 +76,13 @@ (SEQ (LETT |s| "" |LIST;OMwrite;$S;6|) (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |LIST;OMwrite;$S;6|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 21)) - (|getShellEntry| $ 22)) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 20)) + (|getShellEntry| $ 21)) |LIST;OMwrite;$S;6|) - (SPADCALL |dev| (|getShellEntry| $ 23)) + (SPADCALL |dev| (|getShellEntry| $ 22)) (|LIST;writeOMList| |dev| |x| $) + (SPADCALL |dev| (|getShellEntry| $ 23)) (SPADCALL |dev| (|getShellEntry| $ 24)) - (SPADCALL |dev| (|getShellEntry| $ 25)) (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |LIST;OMwrite;$S;6|) (EXIT |s|))))) @@ -95,44 +92,41 @@ (SEQ (LETT |s| "" |LIST;OMwrite;$BS;7|) (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |LIST;OMwrite;$BS;7|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 21)) - (|getShellEntry| $ 22)) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 20)) + (|getShellEntry| $ 21)) |LIST;OMwrite;$BS;7|) - (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 23)))) + (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 22)))) (|LIST;writeOMList| |dev| |x| $) - (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 24)))) - (SPADCALL |dev| (|getShellEntry| $ 25)) + (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 23)))) + (SPADCALL |dev| (|getShellEntry| $ 24)) (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |LIST;OMwrite;$BS;7|) (EXIT |s|))))) (DEFUN |LIST;OMwrite;Omd$V;8| (|dev| |x| $) - (SEQ (SPADCALL |dev| (|getShellEntry| $ 23)) + (SEQ (SPADCALL |dev| (|getShellEntry| $ 22)) (|LIST;writeOMList| |dev| |x| $) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 24))))) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 23))))) (DEFUN |LIST;OMwrite;Omd$BV;9| (|dev| |x| |wholeObj| $) - (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 23)))) + (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 22)))) (|LIST;writeOMList| |dev| |x| $) (EXIT (COND - (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 24))))))) + (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 23))))))) (DEFUN |LIST;setUnion;3$;10| (|l1| |l2| $) - (SPADCALL (SPADCALL |l1| |l2| (|getShellEntry| $ 30)) - (|getShellEntry| $ 31))) + (SPADCALL (SPADCALL |l1| |l2| (|getShellEntry| $ 29)) + (|getShellEntry| $ 30))) (DEFUN |LIST;setIntersection;3$;11| (|l1| |l2| $) (PROG (|u|) (RETURN (SEQ (LETT |u| NIL |LIST;setIntersection;3$;11|) - (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 31)) + (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 30)) |LIST;setIntersection;3$;11|) - (SEQ G190 - (COND - ((NULL (SPADCALL (NULL |l1|) (|getShellEntry| $ 17))) - (GO G191))) + (SEQ G190 (COND ((NULL (NOT (NULL |l1|))) (GO G191))) (SEQ (COND ((SPADCALL (|SPADfirst| |l1|) |l2| - (|getShellEntry| $ 33)) + (|getShellEntry| $ 32)) (LETT |u| (CONS (|SPADfirst| |l1|) |u|) |LIST;setIntersection;3$;11|))) (EXIT (LETT |l1| (CDR |l1|) @@ -143,19 +137,16 @@ (DEFUN |LIST;setDifference;3$;12| (|l1| |l2| $) (PROG (|l11| |lu|) (RETURN - (SEQ (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 31)) + (SEQ (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 30)) |LIST;setDifference;3$;12|) (LETT |lu| NIL |LIST;setDifference;3$;12|) - (SEQ G190 - (COND - ((NULL (SPADCALL (NULL |l1|) (|getShellEntry| $ 17))) - (GO G191))) + (SEQ G190 (COND ((NULL (NOT (NULL |l1|))) (GO G191))) (SEQ (LETT |l11| - (SPADCALL |l1| 1 (|getShellEntry| $ 36)) + (SPADCALL |l1| 1 (|getShellEntry| $ 35)) |LIST;setDifference;3$;12|) (COND ((NULL (SPADCALL |l11| |l2| - (|getShellEntry| $ 33))) + (|getShellEntry| $ 32))) (LETT |lu| (CONS |l11| |lu|) |LIST;setDifference;3$;12|))) (EXIT (LETT |l1| (CDR |l1|) @@ -168,8 +159,8 @@ (RETURN (SEQ (SPADCALL (CONS (SPADCALL - (SPADCALL "construct" (|getShellEntry| $ 39)) - (|getShellEntry| $ 41)) + (SPADCALL "construct" (|getShellEntry| $ 38)) + (|getShellEntry| $ 40)) (PROGN (LETT #0# NIL |LIST;convert;$If;13|) (SEQ (LETT |a| NIL |LIST;convert;$If;13|) @@ -184,12 +175,12 @@ (SEQ (EXIT (LETT #0# (CONS (SPADCALL |a| - (|getShellEntry| $ 42)) + (|getShellEntry| $ 41)) #0#) |LIST;convert;$If;13|))) (LETT #1# (CDR #1#) |LIST;convert;$If;13|) (GO G190) G191 (EXIT (NREVERSE0 #0#))))) - (|getShellEntry| $ 44)))))) + (|getShellEntry| $ 43)))))) (DEFUN |List| (#0=#:G1444) (PROG () @@ -214,7 +205,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|List|)) (LETT |dv$| (LIST '|List| |dv$1|) . #0#) - (LETT $ (|newShell| 63) . #0#) + (LETT $ (|newShell| 62) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| @@ -257,29 +248,29 @@ (COND ((|testBitVector| |pv$| 6) (PROGN - (|setShellEntry| $ 26 + (|setShellEntry| $ 25 (CONS (|dispatchFunction| |LIST;OMwrite;$S;6|) $)) - (|setShellEntry| $ 27 + (|setShellEntry| $ 26 (CONS (|dispatchFunction| |LIST;OMwrite;$BS;7|) $)) - (|setShellEntry| $ 28 + (|setShellEntry| $ 27 (CONS (|dispatchFunction| |LIST;OMwrite;Omd$V;8|) $)) - (|setShellEntry| $ 29 + (|setShellEntry| $ 28 (CONS (|dispatchFunction| |LIST;OMwrite;Omd$BV;9|) $))))) (COND ((|testBitVector| |pv$| 8) (PROGN - (|setShellEntry| $ 32 + (|setShellEntry| $ 31 (CONS (|dispatchFunction| |LIST;setUnion;3$;10|) $)) - (|setShellEntry| $ 34 + (|setShellEntry| $ 33 (CONS (|dispatchFunction| |LIST;setIntersection;3$;11|) $)) - (|setShellEntry| $ 37 + (|setShellEntry| $ 36 (CONS (|dispatchFunction| |LIST;setDifference;3$;12|) $))))) (COND ((|testBitVector| |pv$| 3) - (|setShellEntry| $ 45 + (|setShellEntry| $ 44 (CONS (|dispatchFunction| |LIST;convert;$If;13|) $)))) $)))) @@ -288,26 +279,26 @@ (|local| |#1|) |LIST;nil;$;1| (|Boolean|) |LIST;null;$B;2| |LIST;cons;S2$;3| |LIST;append;3$;4| (|Void|) (|OpenMathDevice|) (0 . |OMputApp|) (|String|) - (5 . |OMputSymbol|) (12 . |not|) (17 . |OMwrite|) - (24 . |OMputEndApp|) (|OpenMathEncoding|) - (29 . |OMencodingXML|) (33 . |OMopenString|) - (39 . |OMputObject|) (44 . |OMputEndObject|) - (49 . |OMclose|) (54 . |OMwrite|) (59 . |OMwrite|) - (65 . |OMwrite|) (71 . |OMwrite|) (78 . |concat|) - (84 . |removeDuplicates|) (89 . |setUnion|) - (95 . |member?|) (101 . |setIntersection|) (|Integer|) - (107 . |elt|) (113 . |setDifference|) (|Symbol|) - (119 . |coerce|) (|InputForm|) (124 . |convert|) - (129 . |convert|) (|List| $) (134 . |convert|) - (139 . |convert|) (|Mapping| 6 6 6) (|NonNegativeInteger|) - (|List| 6) (|Equation| 6) (|List| 49) (|Mapping| 8 6) - (|Mapping| 8 6 6) (|UniversalSegment| 35) '"last" '"rest" + (5 . |OMputSymbol|) (12 . |OMwrite|) (19 . |OMputEndApp|) + (|OpenMathEncoding|) (24 . |OMencodingXML|) + (28 . |OMopenString|) (34 . |OMputObject|) + (39 . |OMputEndObject|) (44 . |OMclose|) (49 . |OMwrite|) + (54 . |OMwrite|) (60 . |OMwrite|) (66 . |OMwrite|) + (73 . |concat|) (79 . |removeDuplicates|) + (84 . |setUnion|) (90 . |member?|) + (96 . |setIntersection|) (|Integer|) (102 . |elt|) + (108 . |setDifference|) (|Symbol|) (114 . |coerce|) + (|InputForm|) (119 . |convert|) (124 . |convert|) + (|List| $) (129 . |convert|) (134 . |convert|) + (|Mapping| 6 6 6) (|NonNegativeInteger|) (|List| 6) + (|Equation| 6) (|List| 48) (|Mapping| 8 6) + (|Mapping| 8 6 6) (|UniversalSegment| 34) '"last" '"rest" '"first" '"value" (|Mapping| 6 6) (|OutputForm|) - (|SingleInteger|) (|List| 35) (|Union| 6 '"failed")) - '#(|setUnion| 144 |setIntersection| 150 |setDifference| 156 - |removeDuplicates| 162 |null| 167 |nil| 172 |member?| 176 - |elt| 182 |convert| 188 |cons| 193 |concat| 199 |append| - 205 |OMwrite| 211) + (|SingleInteger|) (|List| 34) (|Union| 6 '"failed")) + '#(|setUnion| 139 |setIntersection| 145 |setDifference| 151 + |removeDuplicates| 157 |null| 162 |nil| 167 |member?| 171 + |elt| 177 |convert| 183 |cons| 188 |concat| 194 |append| + 200 |OMwrite| 206) '((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) (CONS (|makeByteWordVec2| 6 '(0 0 0 0 0 0 0 0 0 0 5 0 0 1 4 0 0 1 2 3 4 6)) @@ -327,29 +318,29 @@ (|UnaryRecursiveAggregate| 6) (|LinearAggregate| 6) (|RecursiveAggregate| 6) - (|IndexedAggregate| 35 6) + (|IndexedAggregate| 34 6) (|Collection| 6) (|HomogeneousAggregate| 6) (|OrderedSet|) (|Aggregate|) - (|EltableAggregate| 35 6) (|Evalable| 6) + (|EltableAggregate| 34 6) (|Evalable| 6) (|SetCategory|) (|Type|) - (|Eltable| 35 6) (|InnerEvalable| 6 6) - (|CoercibleTo| 59) (|ConvertibleTo| 40) + (|Eltable| 34 6) (|InnerEvalable| 6 6) + (|CoercibleTo| 58) (|ConvertibleTo| 39) (|BasicType|) (|OpenMath|)) - (|makeByteWordVec2| 45 - '(1 13 12 0 14 3 13 12 0 15 15 16 1 8 0 - 0 17 3 6 12 13 0 8 18 1 13 12 0 19 0 - 20 0 21 2 13 0 15 20 22 1 13 12 0 23 - 1 13 12 0 24 1 13 12 0 25 1 0 15 0 26 - 2 0 15 0 8 27 2 0 12 13 0 28 3 0 12 - 13 0 8 29 2 0 0 0 0 30 1 0 0 0 31 2 0 - 0 0 0 32 2 0 8 6 0 33 2 0 0 0 0 34 2 - 0 6 0 35 36 2 0 0 0 0 37 1 38 0 15 39 - 1 40 0 38 41 1 6 40 0 42 1 40 0 43 44 - 1 0 40 0 45 2 8 0 0 0 32 2 8 0 0 0 34 - 2 8 0 0 0 37 1 8 0 0 31 1 0 8 0 9 0 0 - 0 7 2 8 8 6 0 33 2 0 6 0 35 36 1 3 40 - 0 45 2 0 0 6 0 10 2 0 0 0 0 30 2 0 0 - 0 0 11 3 6 12 13 0 8 29 2 6 12 13 0 - 28 1 6 15 0 26 2 6 15 0 8 27))))) + (|makeByteWordVec2| 44 + '(1 13 12 0 14 3 13 12 0 15 15 16 3 6 + 12 13 0 8 17 1 13 12 0 18 0 19 0 20 2 + 13 0 15 19 21 1 13 12 0 22 1 13 12 0 + 23 1 13 12 0 24 1 0 15 0 25 2 0 15 0 + 8 26 2 0 12 13 0 27 3 0 12 13 0 8 28 + 2 0 0 0 0 29 1 0 0 0 30 2 0 0 0 0 31 + 2 0 8 6 0 32 2 0 0 0 0 33 2 0 6 0 34 + 35 2 0 0 0 0 36 1 37 0 15 38 1 39 0 + 37 40 1 6 39 0 41 1 39 0 42 43 1 0 39 + 0 44 2 8 0 0 0 31 2 8 0 0 0 33 2 8 0 + 0 0 36 1 8 0 0 30 1 0 8 0 9 0 0 0 7 2 + 8 8 6 0 32 2 0 6 0 34 35 1 3 39 0 44 + 2 0 0 6 0 10 2 0 0 0 0 29 2 0 0 0 0 + 11 3 6 12 13 0 8 28 2 6 12 13 0 27 1 + 6 15 0 25 2 6 15 0 8 26))))) '|lookupIncomplete|)) |