aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/ILIST.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/ILIST.lsp')
-rw-r--r--src/algebra/strap/ILIST.lsp248
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|))