diff options
Diffstat (limited to 'src/algebra/strap/ILIST.lsp')
-rw-r--r-- | src/algebra/strap/ILIST.lsp | 248 |
1 files changed, 115 insertions, 133 deletions
diff --git a/src/algebra/strap/ILIST.lsp b/src/algebra/strap/ILIST.lsp index addea91c..0af4f011 100644 --- a/src/algebra/strap/ILIST.lsp +++ b/src/algebra/strap/ILIST.lsp @@ -200,13 +200,11 @@ (RETURN (SEQ (LETT |y| NIL |ILIST;copy;2$;20|) (SEQ (LETT |i| 0 |ILIST;copy;2$;20|) G190 - (COND - ((NULL (SPADCALL (NULL |x|) (|getShellEntry| $ 33))) - (GO G191))) + (COND ((NULL (NOT (NULL |x|))) (GO G191))) (SEQ (COND ((EQ |i| 1000) (COND - ((SPADCALL |x| (|getShellEntry| $ 34)) + ((SPADCALL |x| (|getShellEntry| $ 33)) (|error| "cyclic list"))))) (LETT |y| (CONS (QCAR |x|) |y|) |ILIST;copy;2$;20|) @@ -219,25 +217,25 @@ (PROG (|s| |y| |z|) (RETURN (SEQ (LETT |y| NIL |ILIST;coerce;$Of;21|) - (LETT |s| (SPADCALL |x| (|getShellEntry| $ 36)) + (LETT |s| (SPADCALL |x| (|getShellEntry| $ 35)) |ILIST;coerce;$Of;21|) (SEQ G190 (COND ((NULL (NEQ |x| |s|)) (GO G191))) (SEQ (LETT |y| (CONS (SPADCALL (|SPADfirst| |x|) - (|getShellEntry| $ 38)) + (|getShellEntry| $ 37)) |y|) |ILIST;coerce;$Of;21|) (EXIT (LETT |x| (CDR |x|) |ILIST;coerce;$Of;21|))) NIL (GO G190) G191 (EXIT NIL)) (LETT |y| (NREVERSE |y|) |ILIST;coerce;$Of;21|) (EXIT (COND - ((NULL |s|) (SPADCALL |y| (|getShellEntry| $ 40))) + ((NULL |s|) (SPADCALL |y| (|getShellEntry| $ 39))) ('T (SEQ (LETT |z| (SPADCALL (SPADCALL (|SPADfirst| |x|) - (|getShellEntry| $ 38)) - (|getShellEntry| $ 42)) + (|getShellEntry| $ 37)) + (|getShellEntry| $ 41)) |ILIST;coerce;$Of;21|) (SEQ G190 (COND @@ -248,7 +246,7 @@ (LETT |z| (CONS (SPADCALL (|SPADfirst| |x|) - (|getShellEntry| $ 38)) + (|getShellEntry| $ 37)) |z|) |ILIST;coerce;$Of;21|))) NIL (GO G190) G191 (EXIT NIL)) @@ -256,10 +254,10 @@ (SPADCALL |y| (SPADCALL (SPADCALL (NREVERSE |z|) - (|getShellEntry| $ 43)) - (|getShellEntry| $ 44)) - (|getShellEntry| $ 45)) - (|getShellEntry| $ 40))))))))))) + (|getShellEntry| $ 42)) + (|getShellEntry| $ 43)) + (|getShellEntry| $ 44)) + (|getShellEntry| $ 39))))))))))) (DEFUN |ILIST;=;2$B;22| (|x| |y| $) (PROG (#0=#:G1469) @@ -271,14 +269,12 @@ (COND ((NULL (COND ((NULL |x|) 'NIL) - ('T - (SPADCALL (NULL |y|) - (|getShellEntry| $ 33))))) + ('T (NOT (NULL |y|))))) (GO G191))) (SEQ (EXIT (COND ((SPADCALL (QCAR |x|) (QCAR |y|) - (|getShellEntry| $ 47)) + (|getShellEntry| $ 46)) (PROGN (LETT #0# 'NIL |ILIST;=;2$B;22|) @@ -300,14 +296,11 @@ (PROG (|s|) (RETURN (SEQ (LETT |s| "\\left[" |ILIST;latex;$S;23|) - (SEQ G190 - (COND - ((NULL (SPADCALL (NULL |x|) (|getShellEntry| $ 33))) - (GO G191))) + (SEQ G190 (COND ((NULL (NOT (NULL |x|))) (GO G191))) (SEQ (LETT |s| (STRCONC |s| (SPADCALL (QCAR |x|) - (|getShellEntry| $ 50))) + (|getShellEntry| $ 49))) |ILIST;latex;$S;23|) (LETT |x| (QCDR |x|) |ILIST;latex;$S;23|) (EXIT (COND @@ -321,13 +314,10 @@ (PROG (#0=#:G1477) (RETURN (SEQ (EXIT (SEQ (SEQ G190 - (COND - ((NULL (SPADCALL (NULL |x|) - (|getShellEntry| $ 33))) - (GO G191))) + (COND ((NULL (NOT (NULL |x|))) (GO G191))) (SEQ (EXIT (COND ((SPADCALL |s| (QCAR |x|) - (|getShellEntry| $ 52)) + (|getShellEntry| $ 51)) (PROGN (LETT #0# 'T |ILIST;member?;S$B;24|) @@ -353,9 +343,7 @@ (SEQ (LETT |z| |x| |ILIST;concat!;3$;25|) (SEQ G190 (COND - ((NULL (SPADCALL (NULL (QCDR |z|)) - (|getShellEntry| $ 33))) - (GO G191))) + ((NULL (NOT (NULL (QCDR |z|)))) (GO G191))) (SEQ (EXIT (LETT |z| (QCDR |z|) |ILIST;concat!;3$;25|))) NIL (GO G190) G191 (EXIT NIL)) @@ -365,10 +353,7 @@ (PROG (|f| |p| |pr| |pp|) (RETURN (SEQ (LETT |p| |l| |ILIST;removeDuplicates!;2$;26|) - (SEQ G190 - (COND - ((NULL (SPADCALL (NULL |p|) (|getShellEntry| $ 33))) - (GO G191))) + (SEQ G190 (COND ((NULL (NOT (NULL |p|))) (GO G191))) (SEQ (LETT |pp| |p| |ILIST;removeDuplicates!;2$;26|) (LETT |f| (QCAR |p|) |ILIST;removeDuplicates!;2$;26|) @@ -377,16 +362,15 @@ (EXIT (SEQ G190 (COND ((NULL - (SPADCALL + (NOT (NULL (LETT |pr| (QCDR |pp|) - |ILIST;removeDuplicates!;2$;26|)) - (|getShellEntry| $ 33))) + |ILIST;removeDuplicates!;2$;26|)))) (GO G191))) (SEQ (EXIT (COND ((SPADCALL (QCAR |pr|) |f| - (|getShellEntry| $ 52)) + (|getShellEntry| $ 51)) (QRPLACD |pp| (QCDR |pr|))) ('T (LETT |pp| |pr| @@ -423,9 +407,7 @@ (COND ((NULL (COND ((NULL |p|) 'NIL) - ('T - (SPADCALL (NULL |q|) - (|getShellEntry| $ 33))))) + ('T (NOT (NULL |q|))))) (GO G191))) (SEQ (EXIT (COND ((SPADCALL (QCAR |p|) (QCAR |q|) @@ -519,7 +501,7 @@ (LETT |dv$1| (|devaluate| |#1|) . #0=(|IndexedList|)) (LETT |dv$2| (|devaluate| |#2|) . #0#) (LETT |dv$| (LIST '|IndexedList| |dv$1| |dv$2|) . #0#) - (LETT $ (|newShell| 73) . #0#) + (LETT $ (|newShell| 72) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| @@ -561,20 +543,20 @@ (|setShellEntry| $ 7 |#2|) (COND ((|testBitVector| |pv$| 8) - (|setShellEntry| $ 46 + (|setShellEntry| $ 45 (CONS (|dispatchFunction| |ILIST;coerce;$Of;21|) $)))) (COND ((|testBitVector| |pv$| 7) (PROGN - (|setShellEntry| $ 48 + (|setShellEntry| $ 47 (CONS (|dispatchFunction| |ILIST;=;2$B;22|) $)) - (|setShellEntry| $ 51 + (|setShellEntry| $ 50 (CONS (|dispatchFunction| |ILIST;latex;$S;23|) $)) - (|setShellEntry| $ 53 + (|setShellEntry| $ 52 (CONS (|dispatchFunction| |ILIST;member?;S$B;24|) $))))) (COND ((|testBitVector| |pv$| 7) - (|setShellEntry| $ 55 + (|setShellEntry| $ 54 (CONS (|dispatchFunction| |ILIST;removeDuplicates!;2$;26|) $)))) @@ -591,43 +573,43 @@ |ILIST;setelt;$rest2$;13| (|List| 6) |ILIST;construct;L$;14| |ILIST;parts;$L;15| |ILIST;reverse!;2$;16| |ILIST;reverse;2$;17| (|Integer|) - |ILIST;minIndex;$I;18| |ILIST;rest;$Nni$;19| (0 . |not|) - (5 . |cyclic?|) |ILIST;copy;2$;20| (10 . |cycleEntry|) - (|OutputForm|) (15 . |coerce|) (|List| $) (20 . |bracket|) - (|List| 37) (25 . |list|) (30 . |commaSeparate|) - (35 . |overbar|) (40 . |concat!|) (46 . |coerce|) - (51 . ~=) (57 . =) (|String|) (63 . |latex|) - (68 . |latex|) (73 . =) (79 . |member?|) - |ILIST;concat!;3$;25| (85 . |removeDuplicates!|) + |ILIST;minIndex;$I;18| |ILIST;rest;$Nni$;19| + (0 . |cyclic?|) |ILIST;copy;2$;20| (5 . |cycleEntry|) + (|OutputForm|) (10 . |coerce|) (|List| $) (15 . |bracket|) + (|List| 36) (20 . |list|) (25 . |commaSeparate|) + (30 . |overbar|) (35 . |concat!|) (41 . |coerce|) + (46 . ~=) (52 . =) (|String|) (58 . |latex|) + (63 . |latex|) (68 . =) (74 . |member?|) + |ILIST;concat!;3$;25| (80 . |removeDuplicates!|) (|Mapping| 11 6 6) |ILIST;sort!;M2$;27| |ILIST;merge!;M3$;28| |ILIST;split!;$I$;29| - (|Mapping| 6 6 6) (|Equation| 6) (|List| 61) + (|Mapping| 6 6 6) (|Equation| 6) (|List| 60) (|Mapping| 11 6) (|Void|) (|UniversalSegment| 30) '"last" '"value" (|Mapping| 6 6) (|InputForm|) (|SingleInteger|) (|List| 30) (|Union| 6 '"failed")) - '#(~= 90 |value| 96 |third| 101 |tail| 106 |swap!| 111 - |split!| 118 |sorted?| 124 |sort!| 135 |sort| 146 |size?| - 157 |setvalue!| 163 |setrest!| 169 |setlast!| 175 - |setfirst!| 181 |setelt| 187 |setchildren!| 229 |select!| - 235 |select| 241 |second| 247 |sample| 252 |reverse!| 256 - |reverse| 261 |rest| 266 |removeDuplicates!| 277 - |removeDuplicates| 282 |remove!| 287 |remove| 299 |reduce| - 311 |qsetelt!| 332 |qelt| 339 |possiblyInfinite?| 345 - |position| 350 |parts| 369 |nodes| 374 |node?| 379 |new| - 385 |more?| 391 |minIndex| 397 |min| 402 |merge!| 408 - |merge| 421 |members| 434 |member?| 439 |maxIndex| 445 - |max| 450 |map!| 456 |map| 462 |list| 475 |less?| 480 - |leaves| 486 |leaf?| 491 |latex| 496 |last| 501 |insert!| - 512 |insert| 526 |indices| 540 |index?| 545 |hash| 551 - |first| 556 |find| 567 |fill!| 573 |explicitlyFinite?| 579 - |every?| 584 |eval| 590 |eq?| 616 |entry?| 622 |entries| - 628 |empty?| 633 |empty| 638 |elt| 642 |distance| 685 - |delete!| 691 |delete| 703 |cyclic?| 715 |cycleTail| 720 - |cycleSplit!| 725 |cycleLength| 730 |cycleEntry| 735 - |count| 740 |copyInto!| 752 |copy| 759 |convert| 764 - |construct| 769 |concat!| 774 |concat| 786 |coerce| 809 - |children| 814 |child?| 819 |any?| 825 >= 831 > 837 = 843 - <= 849 < 855 |#| 861) + '#(~= 85 |value| 91 |third| 96 |tail| 101 |swap!| 106 + |split!| 113 |sorted?| 119 |sort!| 130 |sort| 141 |size?| + 152 |setvalue!| 158 |setrest!| 164 |setlast!| 170 + |setfirst!| 176 |setelt| 182 |setchildren!| 224 |select!| + 230 |select| 236 |second| 242 |sample| 247 |reverse!| 251 + |reverse| 256 |rest| 261 |removeDuplicates!| 272 + |removeDuplicates| 277 |remove!| 282 |remove| 294 |reduce| + 306 |qsetelt!| 327 |qelt| 334 |possiblyInfinite?| 340 + |position| 345 |parts| 364 |nodes| 369 |node?| 374 |new| + 380 |more?| 386 |minIndex| 392 |min| 397 |merge!| 403 + |merge| 416 |members| 429 |member?| 434 |maxIndex| 440 + |max| 445 |map!| 451 |map| 457 |list| 470 |less?| 475 + |leaves| 481 |leaf?| 486 |latex| 491 |last| 496 |insert!| + 507 |insert| 521 |indices| 535 |index?| 540 |hash| 546 + |first| 551 |find| 562 |fill!| 568 |explicitlyFinite?| 574 + |every?| 579 |eval| 585 |eq?| 611 |entry?| 617 |entries| + 623 |empty?| 628 |empty| 633 |elt| 637 |distance| 680 + |delete!| 686 |delete| 698 |cyclic?| 710 |cycleTail| 715 + |cycleSplit!| 720 |cycleLength| 725 |cycleEntry| 730 + |count| 735 |copyInto!| 747 |copy| 754 |convert| 759 + |construct| 764 |concat!| 769 |concat| 781 |coerce| 804 + |children| 809 |child?| 814 |any?| 820 >= 826 > 832 = 838 + <= 844 < 850 |#| 856) '((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) (CONS (|makeByteWordVec2| 5 '(0 0 0 0 0 0 0 0 0 0 5 0 0 1 4 0 0 1 2 3 4)) @@ -654,58 +636,58 @@ (|EltableAggregate| 30 6) (|Evalable| 6) (|SetCategory|) (|Type|) (|Eltable| 30 6) (|InnerEvalable| 6 6) - (|CoercibleTo| 37) (|ConvertibleTo| 69) + (|CoercibleTo| 36) (|ConvertibleTo| 68) (|BasicType|)) - (|makeByteWordVec2| 72 - '(1 11 0 0 33 1 0 11 0 34 1 0 0 0 36 1 - 6 37 0 38 1 37 0 39 40 1 41 0 37 42 1 - 37 0 39 43 1 37 0 0 44 2 41 0 0 37 45 - 1 0 37 0 46 2 6 11 0 0 47 2 0 11 0 0 - 48 1 6 49 0 50 1 0 49 0 51 2 6 11 0 0 - 52 2 0 11 6 0 53 1 0 0 0 55 2 7 11 0 - 0 1 1 0 6 0 1 1 0 6 0 1 1 0 0 0 1 3 0 - 64 0 30 30 1 2 0 0 0 30 59 1 5 11 0 1 - 2 0 11 56 0 1 1 5 0 0 1 2 0 0 56 0 57 - 1 5 0 0 1 2 0 0 56 0 1 2 0 11 0 8 1 2 - 0 6 0 6 1 2 0 0 0 0 23 2 0 6 0 6 1 2 - 0 6 0 6 21 3 0 6 0 30 6 1 3 0 6 0 65 - 6 1 3 0 6 0 66 6 1 3 0 0 0 19 0 24 3 - 0 6 0 14 6 22 3 0 6 0 67 6 1 2 0 0 0 - 39 1 2 0 0 63 0 1 2 0 0 63 0 1 1 0 6 - 0 1 0 0 0 1 1 0 0 0 28 1 0 0 0 29 2 0 - 0 0 8 32 1 0 0 0 18 1 7 0 0 55 1 7 0 - 0 1 2 7 0 6 0 1 2 0 0 63 0 1 2 7 0 6 - 0 1 2 0 0 63 0 1 4 7 6 60 0 6 6 1 2 0 - 6 60 0 1 3 0 6 60 0 6 1 3 0 6 0 30 6 - 1 2 0 6 0 30 1 1 0 11 0 1 2 7 30 6 0 - 1 3 7 30 6 0 30 1 2 0 30 63 0 1 1 0 - 25 0 27 1 0 39 0 1 2 7 11 0 0 1 2 0 0 - 8 6 1 2 0 11 0 8 1 1 6 30 0 31 2 5 0 - 0 0 1 2 5 0 0 0 1 3 0 0 56 0 0 58 2 5 - 0 0 0 1 3 0 0 56 0 0 1 1 0 25 0 1 2 7 - 11 6 0 53 1 6 30 0 1 2 5 0 0 0 1 2 0 - 0 68 0 1 3 0 0 60 0 0 1 2 0 0 68 0 1 - 1 0 0 6 1 2 0 11 0 8 1 1 0 25 0 1 1 0 - 11 0 1 1 7 49 0 51 2 0 0 0 8 1 1 0 6 - 0 1 3 0 0 6 0 30 1 3 0 0 0 0 30 1 3 0 - 0 0 0 30 1 3 0 0 6 0 30 1 1 0 71 0 1 - 2 0 11 30 0 1 1 7 70 0 1 2 0 0 0 8 1 - 1 0 6 0 13 2 0 72 63 0 1 2 0 0 0 6 1 - 1 0 11 0 1 2 0 11 63 0 1 3 9 0 0 6 6 - 1 3 9 0 0 25 25 1 2 9 0 0 61 1 2 9 0 - 0 62 1 2 0 11 0 0 12 2 7 11 6 0 1 1 0 - 25 0 1 1 0 11 0 17 0 0 0 16 2 0 6 0 - 30 1 3 0 6 0 30 6 1 2 0 0 0 65 1 2 0 - 6 0 66 1 2 0 0 0 19 20 2 0 6 0 14 15 - 2 0 6 0 67 1 2 0 30 0 0 1 2 0 0 0 65 - 1 2 0 0 0 30 1 2 0 0 0 65 1 2 0 0 0 - 30 1 1 0 11 0 34 1 0 0 0 1 1 0 0 0 1 - 1 0 8 0 1 1 0 0 0 36 2 7 8 6 0 1 2 0 - 8 63 0 1 3 0 0 0 0 30 1 1 0 0 0 35 1 - 3 69 0 1 1 0 0 25 26 2 0 0 0 0 54 2 0 - 0 0 6 1 1 0 0 39 1 2 0 0 0 6 1 2 0 0 - 6 0 10 2 0 0 0 0 1 1 8 37 0 46 1 0 39 - 0 1 2 7 11 0 0 1 2 0 11 63 0 1 2 5 11 - 0 0 1 2 5 11 0 0 1 2 7 11 0 0 48 2 5 - 11 0 0 1 2 5 11 0 0 1 1 0 8 0 9))))) + (|makeByteWordVec2| 71 + '(1 0 11 0 33 1 0 0 0 35 1 6 36 0 37 1 + 36 0 38 39 1 40 0 36 41 1 36 0 38 42 + 1 36 0 0 43 2 40 0 0 36 44 1 0 36 0 + 45 2 6 11 0 0 46 2 0 11 0 0 47 1 6 48 + 0 49 1 0 48 0 50 2 6 11 0 0 51 2 0 11 + 6 0 52 1 0 0 0 54 2 7 11 0 0 1 1 0 6 + 0 1 1 0 6 0 1 1 0 0 0 1 3 0 63 0 30 + 30 1 2 0 0 0 30 58 1 5 11 0 1 2 0 11 + 55 0 1 1 5 0 0 1 2 0 0 55 0 56 1 5 0 + 0 1 2 0 0 55 0 1 2 0 11 0 8 1 2 0 6 0 + 6 1 2 0 0 0 0 23 2 0 6 0 6 1 2 0 6 0 + 6 21 3 0 6 0 30 6 1 3 0 6 0 64 6 1 3 + 0 6 0 65 6 1 3 0 0 0 19 0 24 3 0 6 0 + 14 6 22 3 0 6 0 66 6 1 2 0 0 0 38 1 2 + 0 0 62 0 1 2 0 0 62 0 1 1 0 6 0 1 0 0 + 0 1 1 0 0 0 28 1 0 0 0 29 2 0 0 0 8 + 32 1 0 0 0 18 1 7 0 0 54 1 7 0 0 1 2 + 7 0 6 0 1 2 0 0 62 0 1 2 7 0 6 0 1 2 + 0 0 62 0 1 4 7 6 59 0 6 6 1 2 0 6 59 + 0 1 3 0 6 59 0 6 1 3 0 6 0 30 6 1 2 0 + 6 0 30 1 1 0 11 0 1 2 7 30 6 0 1 3 7 + 30 6 0 30 1 2 0 30 62 0 1 1 0 25 0 27 + 1 0 38 0 1 2 7 11 0 0 1 2 0 0 8 6 1 2 + 0 11 0 8 1 1 6 30 0 31 2 5 0 0 0 1 2 + 5 0 0 0 1 3 0 0 55 0 0 57 2 5 0 0 0 1 + 3 0 0 55 0 0 1 1 0 25 0 1 2 7 11 6 0 + 52 1 6 30 0 1 2 5 0 0 0 1 2 0 0 67 0 + 1 3 0 0 59 0 0 1 2 0 0 67 0 1 1 0 0 6 + 1 2 0 11 0 8 1 1 0 25 0 1 1 0 11 0 1 + 1 7 48 0 50 2 0 0 0 8 1 1 0 6 0 1 3 0 + 0 6 0 30 1 3 0 0 0 0 30 1 3 0 0 0 0 + 30 1 3 0 0 6 0 30 1 1 0 70 0 1 2 0 11 + 30 0 1 1 7 69 0 1 2 0 0 0 8 1 1 0 6 0 + 13 2 0 71 62 0 1 2 0 0 0 6 1 1 0 11 0 + 1 2 0 11 62 0 1 3 9 0 0 6 6 1 3 9 0 0 + 25 25 1 2 9 0 0 60 1 2 9 0 0 61 1 2 0 + 11 0 0 12 2 7 11 6 0 1 1 0 25 0 1 1 0 + 11 0 17 0 0 0 16 2 0 6 0 30 1 3 0 6 0 + 30 6 1 2 0 0 0 64 1 2 0 6 0 65 1 2 0 + 0 0 19 20 2 0 6 0 14 15 2 0 6 0 66 1 + 2 0 30 0 0 1 2 0 0 0 64 1 2 0 0 0 30 + 1 2 0 0 0 64 1 2 0 0 0 30 1 1 0 11 0 + 33 1 0 0 0 1 1 0 0 0 1 1 0 8 0 1 1 0 + 0 0 35 2 7 8 6 0 1 2 0 8 62 0 1 3 0 0 + 0 0 30 1 1 0 0 0 34 1 3 68 0 1 1 0 0 + 25 26 2 0 0 0 0 53 2 0 0 0 6 1 1 0 0 + 38 1 2 0 0 0 6 1 2 0 0 6 0 10 2 0 0 0 + 0 1 1 8 36 0 45 1 0 38 0 1 2 7 11 0 0 + 1 2 0 11 62 0 1 2 5 11 0 0 1 2 5 11 0 + 0 1 2 7 11 0 0 47 2 5 11 0 0 1 2 5 11 + 0 0 1 1 0 8 0 9))))) '|lookupComplete|)) |