From 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 17 Aug 2008 08:59:26 +0000 Subject: * algebra/Makefile.pamphlet (all-algstrap): New. * algebra/strap: Update cached Lisp translation. --- src/algebra/strap/ILIST.lsp | 611 +++++++++++++++++++++++++++++++------------- 1 file changed, 437 insertions(+), 174 deletions(-) (limited to 'src/algebra/strap/ILIST.lsp') diff --git a/src/algebra/strap/ILIST.lsp b/src/algebra/strap/ILIST.lsp index 569cd271..404c69e7 100644 --- a/src/algebra/strap/ILIST.lsp +++ b/src/algebra/strap/ILIST.lsp @@ -41,25 +41,25 @@ (DEFUN |ILIST;setfirst!;$2S;10| (|x| |s| $) (COND - ((SPADCALL |x| (QREFELT $ 17)) + ((SPADCALL |x| (|getShellEntry| $ 17)) (|error| "Cannot update an empty list")) ('T (QCAR (RPLACA |x| |s|))))) (DEFUN |ILIST;setelt;$first2S;11| (|x| T2 |s| $) (COND - ((SPADCALL |x| (QREFELT $ 17)) + ((SPADCALL |x| (|getShellEntry| $ 17)) (|error| "Cannot update an empty list")) ('T (QCAR (RPLACA |x| |s|))))) (DEFUN |ILIST;setrest!;3$;12| (|x| |y| $) (COND - ((SPADCALL |x| (QREFELT $ 17)) + ((SPADCALL |x| (|getShellEntry| $ 17)) (|error| "Cannot update an empty list")) ('T (QCDR (RPLACD |x| |y|))))) (DEFUN |ILIST;setelt;$rest2$;13| (|x| T3 |y| $) (COND - ((SPADCALL |x| (QREFELT $ 17)) + ((SPADCALL |x| (|getShellEntry| $ 17)) (|error| "Cannot update an empty list")) ('T (QCDR (RPLACD |x| |y|))))) @@ -79,7 +79,7 @@ (DEFUN |ILIST;reverse;2$;17| (|x| $) (REVERSE |x|)) -(DEFUN |ILIST;minIndex;$I;18| (|x| $) (QREFELT $ 7)) +(DEFUN |ILIST;minIndex;$I;18| (|x| $) (|getShellEntry| $ 7)) (DEFUN |ILIST;rest;$Nni$;19| (|x| |n| $) (PROG (|i|) @@ -96,15 +96,16 @@ (DEFUN |ILIST;copy;2$;20| (|x| $) (PROG (|i| |y|) (RETURN - (SEQ (LETT |y| (SPADCALL (QREFELT $ 16)) |ILIST;copy;2$;20|) + (SEQ (LETT |y| (SPADCALL (|getShellEntry| $ 16)) + |ILIST;copy;2$;20|) (SEQ (LETT |i| 0 |ILIST;copy;2$;20|) G190 (COND - ((NULL (SPADCALL (NULL |x|) (QREFELT $ 33))) + ((NULL (SPADCALL (NULL |x|) (|getShellEntry| $ 33))) (GO G191))) (SEQ (COND ((EQ |i| 1000) (COND - ((SPADCALL |x| (QREFELT $ 34)) + ((SPADCALL |x| (|getShellEntry| $ 34)) (|error| "cyclic list"))))) (LETT |y| (CONS (QCAR |x|) |y|) |ILIST;copy;2$;20|) @@ -117,44 +118,50 @@ (PROG (|s| |y| |z|) (RETURN (SEQ (LETT |y| NIL |ILIST;coerce;$Of;21|) - (LETT |s| (SPADCALL |x| (QREFELT $ 36)) + (LETT |s| (SPADCALL |x| (|getShellEntry| $ 36)) |ILIST;coerce;$Of;21|) (SEQ G190 (COND ((NULL (NEQ |x| |s|)) (GO G191))) (SEQ (LETT |y| (CONS (SPADCALL - (SPADCALL |x| (QREFELT $ 13)) - (QREFELT $ 38)) + (SPADCALL |x| + (|getShellEntry| $ 13)) + (|getShellEntry| $ 38)) |y|) |ILIST;coerce;$Of;21|) - (EXIT (LETT |x| (SPADCALL |x| (QREFELT $ 18)) + (EXIT (LETT |x| + (SPADCALL |x| (|getShellEntry| $ 18)) |ILIST;coerce;$Of;21|))) NIL (GO G190) G191 (EXIT NIL)) (LETT |y| (NREVERSE |y|) |ILIST;coerce;$Of;21|) (EXIT (COND - ((SPADCALL |s| (QREFELT $ 17)) - (SPADCALL |y| (QREFELT $ 40))) + ((SPADCALL |s| (|getShellEntry| $ 17)) + (SPADCALL |y| (|getShellEntry| $ 40))) ('T (SEQ (LETT |z| (SPADCALL (SPADCALL - (SPADCALL |x| (QREFELT $ 13)) - (QREFELT $ 38)) - (QREFELT $ 42)) + (SPADCALL |x| + (|getShellEntry| $ 13)) + (|getShellEntry| $ 38)) + (|getShellEntry| $ 42)) |ILIST;coerce;$Of;21|) (SEQ G190 (COND ((NULL (NEQ |s| - (SPADCALL |x| (QREFELT $ 18)))) + (SPADCALL |x| + (|getShellEntry| $ 18)))) (GO G191))) (SEQ (LETT |x| - (SPADCALL |x| (QREFELT $ 18)) + (SPADCALL |x| + (|getShellEntry| $ 18)) |ILIST;coerce;$Of;21|) (EXIT (LETT |z| (CONS (SPADCALL - (SPADCALL |x| (QREFELT $ 13)) - (QREFELT $ 38)) + (SPADCALL |x| + (|getShellEntry| $ 13)) + (|getShellEntry| $ 38)) |z|) |ILIST;coerce;$Of;21|))) NIL (GO G190) G191 (EXIT NIL)) @@ -162,13 +169,13 @@ (SPADCALL |y| (SPADCALL (SPADCALL (NREVERSE |z|) - (QREFELT $ 43)) - (QREFELT $ 44)) - (QREFELT $ 45)) - (QREFELT $ 40))))))))))) + (|getShellEntry| $ 43)) + (|getShellEntry| $ 44)) + (|getShellEntry| $ 45)) + (|getShellEntry| $ 40))))))))))) (DEFUN |ILIST;=;2$B;22| (|x| |y| $) - (PROG (#0=#:G1469) + (PROG (#0=#:G1466) (RETURN (SEQ (EXIT (COND ((EQ |x| |y|) 'T) @@ -179,13 +186,12 @@ ((NULL |x|) 'NIL) ('T (SPADCALL (NULL |y|) - (QREFELT $ 33))))) + (|getShellEntry| $ 33))))) (GO G191))) (SEQ (EXIT (COND - ((NULL - (SPADCALL (QCAR |x|) (QCAR |y|) - (QREFELT $ 47))) + ((SPADCALL (QCAR |x|) (QCAR |y|) + (|getShellEntry| $ 47)) (PROGN (LETT #0# 'NIL |ILIST;=;2$B;22|) @@ -209,12 +215,12 @@ (SEQ (LETT |s| "\\left[" |ILIST;latex;$S;23|) (SEQ G190 (COND - ((NULL (SPADCALL (NULL |x|) (QREFELT $ 33))) + ((NULL (SPADCALL (NULL |x|) (|getShellEntry| $ 33))) (GO G191))) (SEQ (LETT |s| (STRCONC |s| (SPADCALL (QCAR |x|) - (QREFELT $ 50))) + (|getShellEntry| $ 50))) |ILIST;latex;$S;23|) (LETT |x| (QCDR |x|) |ILIST;latex;$S;23|) (EXIT (COND @@ -225,16 +231,16 @@ (EXIT (STRCONC |s| " \\right]")))))) (DEFUN |ILIST;member?;S$B;24| (|s| |x| $) - (PROG (#0=#:G1477) + (PROG (#0=#:G1474) (RETURN (SEQ (EXIT (SEQ (SEQ G190 (COND ((NULL (SPADCALL (NULL |x|) - (QREFELT $ 33))) + (|getShellEntry| $ 33))) (GO G191))) (SEQ (EXIT (COND ((SPADCALL |s| (QCAR |x|) - (QREFELT $ 47)) + (|getShellEntry| $ 52)) (PROGN (LETT #0# 'T |ILIST;member?;S$B;24|) @@ -254,15 +260,16 @@ (COND ((NULL |y|) |x|) ('T - (SEQ (PUSH (SPADCALL |y| (QREFELT $ 13)) |x|) - (QRPLACD |x| (SPADCALL |y| (QREFELT $ 18))) + (SEQ (PUSH (SPADCALL |y| (|getShellEntry| $ 13)) |x|) + (QRPLACD |x| + (SPADCALL |y| (|getShellEntry| $ 18))) (EXIT |x|))))) ('T (SEQ (LETT |z| |x| |ILIST;concat!;3$;25|) (SEQ G190 (COND ((NULL (SPADCALL (NULL (QCDR |z|)) - (QREFELT $ 33))) + (|getShellEntry| $ 33))) (GO G191))) (SEQ (EXIT (LETT |z| (QCDR |z|) |ILIST;concat!;3$;25|))) @@ -275,7 +282,7 @@ (SEQ (LETT |p| |l| |ILIST;removeDuplicates!;2$;26|) (SEQ G190 (COND - ((NULL (SPADCALL (NULL |p|) (QREFELT $ 33))) + ((NULL (SPADCALL (NULL |p|) (|getShellEntry| $ 33))) (GO G191))) (SEQ (LETT |pp| |p| |ILIST;removeDuplicates!;2$;26|) (LETT |f| (QCAR |p|) @@ -289,12 +296,12 @@ (NULL (LETT |pr| (QCDR |pp|) |ILIST;removeDuplicates!;2$;26|)) - (QREFELT $ 33))) + (|getShellEntry| $ 33))) (GO G191))) (SEQ (EXIT (COND ((SPADCALL (QCAR |pr|) |f| - (QREFELT $ 47)) + (|getShellEntry| $ 52)) (QRPLACD |pp| (QCDR |pr|))) ('T (LETT |pp| |pr| @@ -304,7 +311,7 @@ (EXIT |l|))))) (DEFUN |ILIST;sort!;M2$;27| (|f| |l| $) - (|ILIST;mergeSort| |f| |l| (SPADCALL |l| (QREFELT $ 9)) $)) + (|ILIST;mergeSort| |f| |l| (SPADCALL |l| (|getShellEntry| $ 9)) $)) (DEFUN |ILIST;merge!;M3$;28| (|f| |p| |q| $) (PROG (|r| |t|) @@ -333,7 +340,7 @@ ((NULL |p|) 'NIL) ('T (SPADCALL (NULL |q|) - (QREFELT $ 33))))) + (|getShellEntry| $ 33))))) (GO G191))) (SEQ (EXIT (COND ((SPADCALL (QCAR |p|) (QCAR |q|) @@ -356,7 +363,7 @@ (EXIT |r|)))))))) (DEFUN |ILIST;split!;$I$;29| (|p| |n| $) - (PROG (#0=#:G1506 |q|) + (PROG (#0=#:G1503 |q|) (RETURN (SEQ (COND ((< |n| 1) (|error| "index out of range")) @@ -367,22 +374,22 @@ |ILIST;split!;$I$;29|) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) - (QREFELT $ 32)) + (|getShellEntry| $ 32)) |ILIST;split!;$I$;29|) (LETT |q| (QCDR |p|) |ILIST;split!;$I$;29|) (QRPLACD |p| NIL) (EXIT |q|)))))))) (DEFUN |ILIST;mergeSort| (|f| |p| |n| $) - (PROG (#0=#:G1510 |l| |q|) + (PROG (#0=#:G1507 |l| |q|) (RETURN (SEQ (COND ((EQL |n| 2) (COND ((SPADCALL - (SPADCALL (SPADCALL |p| (QREFELT $ 18)) - (QREFELT $ 13)) - (SPADCALL |p| (QREFELT $ 13)) |f|) - (LETT |p| (SPADCALL |p| (QREFELT $ 28)) + (SPADCALL (SPADCALL |p| (|getShellEntry| $ 18)) + (|getShellEntry| $ 13)) + (SPADCALL |p| (|getShellEntry| $ 13)) |f|) + (LETT |p| (SPADCALL |p| (|getShellEntry| $ 28)) |ILIST;mergeSort|))))) (EXIT (COND ((< |n| 3) |p|) @@ -393,7 +400,9 @@ (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) |ILIST;mergeSort|) - (LETT |q| (SPADCALL |p| |l| (QREFELT $ 58)) + (LETT |q| + (SPADCALL |p| |l| + (|getShellEntry| $ 59)) |ILIST;mergeSort|) (LETT |p| (|ILIST;mergeSort| |f| |p| |l| $) |ILIST;mergeSort|) @@ -401,13 +410,14 @@ (|ILIST;mergeSort| |f| |q| (- |n| |l|) $) |ILIST;mergeSort|) - (EXIT (SPADCALL |f| |p| |q| (QREFELT $ 57))))))))))) + (EXIT (SPADCALL |f| |p| |q| + (|getShellEntry| $ 58))))))))))) -(DEFUN |IndexedList| (&REST #0=#:G1525 &AUX #1=#:G1523) +(DEFUN |IndexedList| (&REST #0=#:G1519 &AUX #1=#:G1517) (DSETQ #1# #0#) (PROG () (RETURN - (PROG (#2=#:G1524) + (PROG (#2=#:G1518) (RETURN (COND ((LETT #2# @@ -424,67 +434,68 @@ ((NOT #2#) (HREM |$ConstructorCache| '|IndexedList|))))))))))) (DEFUN |IndexedList;| (|#1| |#2|) - (PROG (|dv$1| |dv$2| |dv$| $ #0=#:G1522 #1=#:G1520 |pv$|) + (PROG (|dv$1| |dv$2| |dv$| $ |pv$|) (RETURN (PROGN - (LETT |dv$1| (|devaluate| |#1|) . #2=(|IndexedList|)) - (LETT |dv$2| (|devaluate| |#2|) . #2#) - (LETT |dv$| (LIST '|IndexedList| |dv$1| |dv$2|) . #2#) - (LETT $ (GETREFV 72) . #2#) - (QSETREFV $ 0 |dv$|) - (QSETREFV $ 3 + (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#) + (|setShellEntry| $ 0 |dv$|) + (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 - (LIST (|HasCategory| |#1| - '(|ConvertibleTo| (|InputForm|))) - (|HasCategory| |#1| '(|OrderedSet|)) - (|HasCategory| (|Integer|) '(|OrderedSet|)) - (LETT #0# - (|HasCategory| |#1| '(|SetCategory|)) . #2#) - (OR (|HasCategory| |#1| '(|OrderedSet|)) - #0#) - (AND #0# - (|HasCategory| |#1| - (LIST '|Evalable| - (|devaluate| |#1|)))) - (OR (AND (|HasCategory| |#1| + (LIST (OR (AND (|HasCategory| |#1| '(|OrderedSet|)) (|HasCategory| |#1| (LIST '|Evalable| (|devaluate| |#1|)))) - (AND #0# + (AND (|HasCategory| |#1| + '(|SetCategory|)) (|HasCategory| |#1| (LIST '|Evalable| (|devaluate| |#1|))))) - (LETT #1# - (|HasCategory| |#1| - '(|CoercibleTo| (|OutputForm|))) . #2#) - (OR (AND #0# + (OR (AND (|HasCategory| |#1| + '(|SetCategory|)) (|HasCategory| |#1| (LIST '|Evalable| (|devaluate| |#1|)))) - #1#))) . #2#)) + (|HasCategory| |#1| + '(|CoercibleTo| (|OutputForm|)))) + (|HasCategory| |#1| + '(|ConvertibleTo| (|InputForm|))) + (OR (|HasCategory| |#1| '(|OrderedSet|)) + (|HasCategory| |#1| '(|SetCategory|))) + (|HasCategory| |#1| '(|OrderedSet|)) + (|HasCategory| (|Integer|) '(|OrderedSet|)) + (|HasCategory| |#1| '(|SetCategory|)) + (AND (|HasCategory| |#1| '(|SetCategory|)) + (|HasCategory| |#1| + (LIST '|Evalable| + (|devaluate| |#1|)))) + (|HasCategory| |#1| + '(|CoercibleTo| (|OutputForm|))))) . #0#)) (|haddProp| |$ConstructorCache| '|IndexedList| (LIST |dv$1| |dv$2|) (CONS 1 $)) (|stuffDomainSlots| $) - (QSETREFV $ 6 |#1|) - (QSETREFV $ 7 |#2|) + (|setShellEntry| $ 6 |#1|) + (|setShellEntry| $ 7 |#2|) (COND - ((|testBitVector| |pv$| 8) - (QSETREFV $ 46 + ((|testBitVector| |pv$| 9) + (|setShellEntry| $ 46 (CONS (|dispatchFunction| |ILIST;coerce;$Of;21|) $)))) (COND - ((|testBitVector| |pv$| 4) + ((|testBitVector| |pv$| 7) (PROGN - (QSETREFV $ 48 + (|setShellEntry| $ 48 (CONS (|dispatchFunction| |ILIST;=;2$B;22|) $)) - (QSETREFV $ 51 + (|setShellEntry| $ 51 (CONS (|dispatchFunction| |ILIST;latex;$S;23|) $)) - (QSETREFV $ 52 + (|setShellEntry| $ 53 (CONS (|dispatchFunction| |ILIST;member?;S$B;24|) $))))) (COND - ((|testBitVector| |pv$| 4) - (QSETREFV $ 54 + ((|testBitVector| |pv$| 7) + (|setShellEntry| $ 55 (CONS (|dispatchFunction| |ILIST;removeDuplicates!;2$;26|) $)))) @@ -505,42 +516,42 @@ (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 . |member?|) |ILIST;concat!;3$;25| - (79 . |removeDuplicates!|) (|Mapping| 11 6 6) - |ILIST;sort!;M2$;27| |ILIST;merge!;M3$;28| - |ILIST;split!;$I$;29| (|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")) - '#(~= 84 |value| 90 |third| 95 |tail| 100 |swap!| 105 - |split!| 112 |sorted?| 118 |sort!| 129 |sort| 140 |size?| - 151 |setvalue!| 157 |setrest!| 163 |setlast!| 169 - |setfirst!| 175 |setelt| 181 |setchildren!| 223 |select!| - 229 |select| 235 |second| 241 |sample| 246 |reverse!| 250 - |reverse| 255 |rest| 260 |removeDuplicates!| 271 - |removeDuplicates| 276 |remove!| 281 |remove| 293 |reduce| - 305 |qsetelt!| 326 |qelt| 333 |possiblyInfinite?| 339 - |position| 344 |parts| 363 |nodes| 368 |node?| 373 |new| - 379 |more?| 385 |minIndex| 391 |min| 396 |merge!| 402 - |merge| 415 |members| 428 |member?| 433 |maxIndex| 439 - |max| 444 |map!| 450 |map| 456 |list| 469 |less?| 474 - |leaves| 480 |leaf?| 485 |latex| 490 |last| 495 |insert!| - 506 |insert| 520 |indices| 534 |index?| 539 |hash| 545 - |first| 550 |find| 561 |fill!| 567 |explicitlyFinite?| 573 - |every?| 578 |eval| 584 |eq?| 610 |entry?| 616 |entries| - 622 |empty?| 627 |empty| 632 |elt| 636 |distance| 679 - |delete!| 685 |delete| 697 |cyclic?| 709 |cycleTail| 714 - |cycleSplit!| 719 |cycleLength| 724 |cycleEntry| 729 - |count| 734 |copyInto!| 746 |copy| 753 |convert| 758 - |construct| 763 |concat!| 768 |concat| 780 |coerce| 803 - |children| 808 |child?| 813 |any?| 819 >= 825 > 831 = 837 - <= 843 < 849 |#| 855) + (35 . |overbar|) (40 . |concat!|) (46 . |coerce|) + (51 . ~=) (57 . =) (|String|) (63 . |latex|) + (68 . |latex|) (73 . =) (79 . |member?|) + |ILIST;concat!;3$;25| (85 . |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| 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) '((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) - (CONS (|makeByteWordVec2| 9 - '(0 0 0 0 0 0 0 0 0 0 2 0 0 7 5 0 0 7 9 1 5)) + (CONS (|makeByteWordVec2| 5 + '(0 0 0 0 0 0 0 0 0 0 5 0 0 1 4 0 0 1 2 3 4)) (CONS '#(|ListAggregate&| |StreamAggregate&| |ExtensibleLinearAggregate&| |FiniteLinearAggregate&| @@ -564,58 +575,310 @@ (|EltableAggregate| 30 6) (|Evalable| 6) (|SetCategory|) (|Type|) (|Eltable| 30 6) (|InnerEvalable| 6 6) - (|CoercibleTo| 37) (|ConvertibleTo| 68) + (|CoercibleTo| 37) (|ConvertibleTo| 69) (|BasicType|)) - (|makeByteWordVec2| 71 + (|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 0 11 6 0 - 52 1 0 0 0 54 2 4 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 2 11 0 1 2 0 11 55 0 - 1 1 2 0 0 1 2 0 0 55 0 56 1 2 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 39 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 4 0 0 54 1 4 0 0 1 2 4 0 6 - 0 1 2 0 0 62 0 1 2 4 0 6 0 1 2 0 0 62 - 0 1 4 4 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 4 30 6 0 1 3 4 30 6 0 - 30 1 2 0 30 62 0 1 1 0 25 0 27 1 0 39 - 0 1 2 4 11 0 0 1 2 0 0 8 6 1 2 0 11 0 - 8 1 1 3 30 0 31 2 2 0 0 0 1 2 2 0 0 0 - 1 3 0 0 55 0 0 57 2 2 0 0 0 1 3 0 0 - 55 0 0 1 1 0 25 0 1 2 4 11 6 0 52 1 3 - 30 0 1 2 2 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 4 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 70 0 1 2 0 11 30 0 1 - 1 4 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 6 0 0 6 6 1 3 6 0 0 25 25 - 1 2 6 0 0 60 1 2 6 0 0 61 1 2 0 11 0 - 0 12 2 4 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 34 1 - 0 0 0 1 1 0 0 0 1 1 0 8 0 1 1 0 0 0 - 36 2 4 8 6 0 1 2 0 8 62 0 1 3 0 0 0 0 - 30 1 1 0 0 0 35 1 1 68 0 1 1 0 0 25 - 26 2 0 0 0 0 53 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 4 11 0 0 1 - 2 0 11 62 0 1 2 2 11 0 0 1 2 2 11 0 0 - 1 2 4 11 0 0 48 2 2 11 0 0 1 2 2 11 0 - 0 1 1 0 8 0 9))))) + 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 8 0 0 6 6 + 1 3 8 0 0 25 25 1 2 8 0 0 61 1 2 8 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 9 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))))) '|lookupComplete|)) + +(SETQ |$CategoryFrame| + (|put| '|IndexedList| '|isFunctor| + '(((|coerce| ((|OutputForm|) $)) + (|has| |#1| (|CoercibleTo| (|OutputForm|))) (ELT $ 46)) + ((~= ((|Boolean|) $ $)) (|has| |#1| (|SetCategory|)) + (ELT $ NIL)) + ((= ((|Boolean|) $ $)) (|has| |#1| (|SetCategory|)) + (ELT $ 48)) + ((|hash| ((|SingleInteger|) $)) + (|has| |#1| (|SetCategory|)) (ELT $ NIL)) + ((|latex| ((|String|) $)) (|has| |#1| (|SetCategory|)) + (ELT $ 51)) + ((|list| ($ |#1|)) T (ELT $ NIL)) + ((|concat!| ($ $ |#1|)) T (ELT $ NIL)) + ((|concat!| ($ $ $)) T (ELT $ 54)) + ((|delete!| ($ $ (|Integer|))) T (ELT $ NIL)) + ((|delete!| ($ $ (|UniversalSegment| (|Integer|)))) T + (ELT $ NIL)) + ((|remove!| ($ (|Mapping| (|Boolean|) |#1|) $)) T + (ELT $ NIL)) + ((|insert!| ($ |#1| $ (|Integer|))) T (ELT $ NIL)) + ((|insert!| ($ $ $ (|Integer|))) T (ELT $ NIL)) + ((|merge!| ($ (|Mapping| (|Boolean|) |#1| |#1|) $ $)) T + (ELT $ 58)) + ((|select!| ($ (|Mapping| (|Boolean|) |#1|) $)) T + (ELT $ NIL)) + ((|remove!| ($ |#1| $)) (|has| |#1| (|SetCategory|)) + (ELT $ NIL)) + ((|removeDuplicates!| ($ $)) + (|has| |#1| (|SetCategory|)) (ELT $ 55)) + ((|merge!| ($ $ $)) (|has| |#1| (|OrderedSet|)) + (ELT $ NIL)) + ((|merge| ($ (|Mapping| (|Boolean|) |#1| |#1|) $ $)) T + (ELT $ NIL)) + ((|reverse| ($ $)) T (ELT $ 29)) + ((|sort| ($ (|Mapping| (|Boolean|) |#1| |#1|) $)) T + (ELT $ NIL)) + ((|sorted?| + ((|Boolean|) (|Mapping| (|Boolean|) |#1| |#1|) $)) + T (ELT $ NIL)) + ((|position| + ((|Integer|) (|Mapping| (|Boolean|) |#1|) $)) + T (ELT $ NIL)) + ((|position| ((|Integer|) |#1| $)) + (|has| |#1| (|SetCategory|)) (ELT $ NIL)) + ((|position| ((|Integer|) |#1| $ (|Integer|))) + (|has| |#1| (|SetCategory|)) (ELT $ NIL)) + ((|merge| ($ $ $)) (|has| |#1| (|OrderedSet|)) + (ELT $ NIL)) + ((|sort| ($ $)) (|has| |#1| (|OrderedSet|)) (ELT $ NIL)) + ((|sorted?| ((|Boolean|) $)) (|has| |#1| (|OrderedSet|)) + (ELT $ NIL)) + ((|copyInto!| ($ $ $ (|Integer|))) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|reverse!| ($ $)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 28)) + ((|sort!| ($ (|Mapping| (|Boolean|) |#1| |#1|) $)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 57)) + ((|sort!| ($ $)) + (AND (|has| $ (ATTRIBUTE |shallowlyMutable|)) + (|has| |#1| (|OrderedSet|))) + (ELT $ NIL)) + ((|min| ($ $ $)) (|has| |#1| (|OrderedSet|)) + (ELT $ NIL)) + ((|max| ($ $ $)) (|has| |#1| (|OrderedSet|)) + (ELT $ NIL)) + ((<= ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|)) + (ELT $ NIL)) + ((>= ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|)) + (ELT $ NIL)) + ((> ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|)) + (ELT $ NIL)) + ((< ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|)) + (ELT $ NIL)) + ((|possiblyInfinite?| ((|Boolean|) $)) T (ELT $ NIL)) + ((|explicitlyFinite?| ((|Boolean|) $)) T (ELT $ NIL)) + ((|qsetelt!| (|#1| $ (|Integer|) |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|setelt| (|#1| $ (|Integer|) |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|qelt| (|#1| $ (|Integer|))) T (ELT $ NIL)) + ((|elt| (|#1| $ (|Integer|) |#1|)) T (ELT $ NIL)) + ((|elt| (|#1| $ (|Integer|))) T (ELT $ NIL)) + ((|entries| ((|List| |#1|) $)) T (ELT $ NIL)) + ((|index?| ((|Boolean|) (|Integer|) $)) T (ELT $ NIL)) + ((|indices| ((|List| (|Integer|)) $)) T (ELT $ NIL)) + ((|entry?| ((|Boolean|) |#1| $)) + (AND (|has| $ (ATTRIBUTE |finiteAggregate|)) + (|has| |#1| (|SetCategory|))) + (ELT $ NIL)) + ((|maxIndex| ((|Integer|) $)) + (|has| (|Integer|) (|OrderedSet|)) (ELT $ NIL)) + ((|minIndex| ((|Integer|) $)) + (|has| (|Integer|) (|OrderedSet|)) (ELT $ 31)) + ((|fill!| ($ $ |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|swap!| ((|Void|) $ (|Integer|) (|Integer|))) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|convert| ((|InputForm|) $)) + (|has| |#1| (|ConvertibleTo| (|InputForm|))) + (ELT $ NIL)) + ((|removeDuplicates| ($ $)) + (AND (|has| $ (ATTRIBUTE |finiteAggregate|)) + (|has| |#1| (|SetCategory|))) + (ELT $ NIL)) + ((|remove| ($ |#1| $)) + (AND (|has| $ (ATTRIBUTE |finiteAggregate|)) + (|has| |#1| (|SetCategory|))) + (ELT $ NIL)) + ((|reduce| + (|#1| (|Mapping| |#1| |#1| |#1|) $ |#1| |#1|)) + (AND (|has| $ (ATTRIBUTE |finiteAggregate|)) + (|has| |#1| (|SetCategory|))) + (ELT $ NIL)) + ((|select| ($ (|Mapping| (|Boolean|) |#1|) $)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL)) + ((|remove| ($ (|Mapping| (|Boolean|) |#1|) $)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL)) + ((|reduce| (|#1| (|Mapping| |#1| |#1| |#1|) $ |#1|)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL)) + ((|reduce| (|#1| (|Mapping| |#1| |#1| |#1|) $)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL)) + ((|find| ((|Union| |#1| "failed") + (|Mapping| (|Boolean|) |#1|) $)) + T (ELT $ NIL)) + ((|construct| ($ (|List| |#1|))) T (ELT $ 26)) + ((|new| ($ (|NonNegativeInteger|) |#1|)) T (ELT $ NIL)) + ((|concat| ($ $ |#1|)) T (ELT $ NIL)) + ((|concat| ($ (|List| $))) T (ELT $ NIL)) + ((|map| ($ (|Mapping| |#1| |#1| |#1|) $ $)) T + (ELT $ NIL)) + ((|elt| ($ $ (|UniversalSegment| (|Integer|)))) T + (ELT $ NIL)) + ((|delete| ($ $ (|Integer|))) T (ELT $ NIL)) + ((|delete| ($ $ (|UniversalSegment| (|Integer|)))) T + (ELT $ NIL)) + ((|insert| ($ |#1| $ (|Integer|))) T (ELT $ NIL)) + ((|insert| ($ $ $ (|Integer|))) T (ELT $ NIL)) + ((|setelt| + (|#1| $ (|UniversalSegment| (|Integer|)) |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|split!| ($ $ (|Integer|))) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 59)) + ((|setelt| (|#1| $ "last" |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|setlast!| (|#1| $ |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|setelt| ($ $ "rest" $)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 24)) + ((|setrest!| ($ $ $)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 23)) + ((|setelt| (|#1| $ "first" |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 22)) + ((|setfirst!| (|#1| $ |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 21)) + ((|cycleSplit!| ($ $)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|cycleTail| ($ $)) T (ELT $ NIL)) + ((|cycleLength| ((|NonNegativeInteger|) $)) T + (ELT $ NIL)) + ((|cycleEntry| ($ $)) T (ELT $ 36)) + ((|third| (|#1| $)) T (ELT $ NIL)) + ((|second| (|#1| $)) T (ELT $ NIL)) + ((|tail| ($ $)) T (ELT $ NIL)) + ((|last| ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) + ((|elt| (|#1| $ "last")) T (ELT $ NIL)) + ((|last| (|#1| $)) T (ELT $ NIL)) + ((|rest| ($ $ (|NonNegativeInteger|))) T (ELT $ 32)) + ((|elt| ($ $ "rest")) T (ELT $ 20)) + ((|rest| ($ $)) T (ELT $ 18)) + ((|first| ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) + ((|elt| (|#1| $ "first")) T (ELT $ 15)) + ((|first| (|#1| $)) T (ELT $ 13)) + ((|concat| ($ |#1| $)) T (ELT $ 10)) + ((|concat| ($ $ $)) T (ELT $ NIL)) + ((|setvalue!| (|#1| $ |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|setelt| (|#1| $ "value" |#1|)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|setchildren!| ($ $ (|List| $))) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|node?| ((|Boolean|) $ $)) + (|has| |#1| (|SetCategory|)) (ELT $ NIL)) + ((|child?| ((|Boolean|) $ $)) + (|has| |#1| (|SetCategory|)) (ELT $ NIL)) + ((|distance| ((|Integer|) $ $)) T (ELT $ NIL)) + ((|leaves| ((|List| |#1|) $)) T (ELT $ NIL)) + ((|cyclic?| ((|Boolean|) $)) T (ELT $ 34)) + ((|elt| (|#1| $ "value")) T (ELT $ NIL)) + ((|value| (|#1| $)) T (ELT $ NIL)) + ((|leaf?| ((|Boolean|) $)) T (ELT $ NIL)) + ((|nodes| ((|List| $) $)) T (ELT $ NIL)) + ((|children| ((|List| $) $)) T (ELT $ NIL)) + ((|eval| ($ $ (|List| |#1|) (|List| |#1|))) + (AND (|has| |#1| (|Evalable| |#1|)) + (|has| |#1| (|SetCategory|))) + (ELT $ NIL)) + ((|eval| ($ $ |#1| |#1|)) + (AND (|has| |#1| (|Evalable| |#1|)) + (|has| |#1| (|SetCategory|))) + (ELT $ NIL)) + ((|eval| ($ $ (|Equation| |#1|))) + (AND (|has| |#1| (|Evalable| |#1|)) + (|has| |#1| (|SetCategory|))) + (ELT $ NIL)) + ((|eval| ($ $ (|List| (|Equation| |#1|)))) + (AND (|has| |#1| (|Evalable| |#1|)) + (|has| |#1| (|SetCategory|))) + (ELT $ NIL)) + ((|member?| ((|Boolean|) |#1| $)) + (AND (|has| $ (ATTRIBUTE |finiteAggregate|)) + (|has| |#1| (|SetCategory|))) + (ELT $ 53)) + ((|count| ((|NonNegativeInteger|) |#1| $)) + (AND (|has| $ (ATTRIBUTE |finiteAggregate|)) + (|has| |#1| (|SetCategory|))) + (ELT $ NIL)) + ((|members| ((|List| |#1|) $)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL)) + ((|parts| ((|List| |#1|) $)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ 27)) + ((|count| ((|NonNegativeInteger|) + (|Mapping| (|Boolean|) |#1|) $)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL)) + ((|every?| ((|Boolean|) (|Mapping| (|Boolean|) |#1|) $)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL)) + ((|any?| ((|Boolean|) (|Mapping| (|Boolean|) |#1|) $)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL)) + ((|map!| ($ (|Mapping| |#1| |#1|) $)) + (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL)) + ((|map| ($ (|Mapping| |#1| |#1|) $)) T (ELT $ NIL)) + ((|#| ((|NonNegativeInteger|) $)) + (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ 9)) + ((|sample| ($)) T (CONST $ NIL)) + ((|size?| ((|Boolean|) $ (|NonNegativeInteger|))) T + (ELT $ NIL)) + ((|more?| ((|Boolean|) $ (|NonNegativeInteger|))) T + (ELT $ NIL)) + ((|less?| ((|Boolean|) $ (|NonNegativeInteger|))) T + (ELT $ NIL)) + ((|empty?| ((|Boolean|) $)) T (ELT $ 17)) + ((|empty| ($)) T (ELT $ 16)) + ((|copy| ($ $)) T (ELT $ 35)) + ((|eq?| ((|Boolean|) $ $)) T (ELT $ 12))) + (|addModemap| '|IndexedList| '(|IndexedList| |#1| |#2|) + '((|ListAggregate| |#1|) (|Type|) (|Integer|)) T + '|IndexedList| + (|put| '|IndexedList| '|mode| + '(|Mapping| (|ListAggregate| |#1|) (|Type|) + (|Integer|)) + |$CategoryFrame|)))) -- cgit v1.2.3