diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-14 17:17:15 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-14 17:17:15 +0000 |
| commit | 8b65bcf401b83f62029436d36cc6a6c8cdf4be85 (patch) | |
| tree | 8e12d378fbe7eb20caaaeaec9a969b74cc4186aa /src/algebra | |
| parent | 144847152d5a5e764f66d42e3fed6f64c3da6c0c (diff) | |
| download | open-axiom-8b65bcf401b83f62029436d36cc6a6c8cdf4be85.tar.gz | |
Update cached Lisp translations.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/array1.spad.pamphlet | 229 | ||||
| -rw-r--r-- | src/algebra/fspace.spad.pamphlet | 453 | ||||
| -rw-r--r-- | src/algebra/vector.spad.pamphlet | 135 |
3 files changed, 567 insertions, 250 deletions
diff --git a/src/algebra/array1.spad.pamphlet b/src/algebra/array1.spad.pamphlet index a304c91a..86fe6cb6 100644 --- a/src/algebra/array1.spad.pamphlet +++ b/src/algebra/array1.spad.pamphlet @@ -46,47 +46,198 @@ Note that this code is not included in the generated catdef.spad file. <<PRIMARR.lsp BOOTSTRAP>>= -(|/VERSIONCHECK| 2) - -(PUT (QUOTE |PRIMARR;#;$Nni;1|) (QUOTE |SPADreplace|) (QUOTE QVSIZE)) - -(DEFUN |PRIMARR;#;$Nni;1| (|x| |$|) (QVSIZE |x|)) - -(PUT (QUOTE |PRIMARR;minIndex;$I;2|) (QUOTE |SPADreplace|) (QUOTE (XLAM (|x|) 0))) - -(DEFUN |PRIMARR;minIndex;$I;2| (|x| |$|) 0) - -(PUT (QUOTE |PRIMARR;empty;$;3|) (QUOTE |SPADreplace|) (QUOTE (XLAM NIL (GETREFV 0)))) - -(DEFUN |PRIMARR;empty;$;3| (|$|) (GETREFV 0)) - -(DEFUN |PRIMARR;new;NniS$;4| (|n| |x| |$|) (SPADCALL (GETREFV |n|) |x| (QREFELT |$| 12))) - -(PUT (QUOTE |PRIMARR;qelt;$IS;5|) (QUOTE |SPADreplace|) (QUOTE ELT)) - -(DEFUN |PRIMARR;qelt;$IS;5| (|x| |i| |$|) (ELT |x| |i|)) - -(PUT (QUOTE |PRIMARR;elt;$IS;6|) (QUOTE |SPADreplace|) (QUOTE ELT)) - -(DEFUN |PRIMARR;elt;$IS;6| (|x| |i| |$|) (ELT |x| |i|)) - -(PUT (QUOTE |PRIMARR;qsetelt!;$I2S;7|) (QUOTE |SPADreplace|) (QUOTE SETELT)) - -(DEFUN |PRIMARR;qsetelt!;$I2S;7| (|x| |i| |s| |$|) (SETELT |x| |i| |s|)) - -(PUT (QUOTE |PRIMARR;setelt;$I2S;8|) (QUOTE |SPADreplace|) (QUOTE SETELT)) - -(DEFUN |PRIMARR;setelt;$I2S;8| (|x| |i| |s| |$|) (SETELT |x| |i| |s|)) - -(DEFUN |PRIMARR;fill!;$S$;9| (|x| |s| |$|) (PROG (|i| #1=#:G82338) (RETURN (SEQ (SEQ (LETT |i| 0 |PRIMARR;fill!;$S$;9|) (LETT #1# (QVMAXINDEX |x|) |PRIMARR;fill!;$S$;9|) G190 (COND ((QSGREATERP |i| #1#) (GO G191))) (SEQ (EXIT (SETELT |x| |i| |s|))) (LETT |i| (QSADD1 |i|) |PRIMARR;fill!;$S$;9|) (GO G190) G191 (EXIT NIL)) (EXIT |x|))))) - -(DEFUN |PrimitiveArray| (#1=#:G82348) (PROG NIL (RETURN (PROG (#2=#:G82349) (RETURN (COND ((LETT #2# (|lassocShiftWithFunction| (LIST (|devaluate| #1#)) (HGET |$ConstructorCache| (QUOTE |PrimitiveArray|)) (QUOTE |domainEqualList|)) |PrimitiveArray|) (|CDRwithIncrement| #2#)) ((QUOTE T) (|UNWIND-PROTECT| (PROG1 (|PrimitiveArray;| #1#) (LETT #2# T |PrimitiveArray|)) (COND ((NOT #2#) (HREM |$ConstructorCache| (QUOTE |PrimitiveArray|)))))))))))) - -(DEFUN |PrimitiveArray;| (|#1|) (PROG (|DV$1| |dv$| |$| #1=#:G82347 |pv$|) (RETURN (PROGN (LETT |DV$1| (|devaluate| |#1|) . #2=(|PrimitiveArray|)) (LETT |dv$| (LIST (QUOTE |PrimitiveArray|) |DV$1|) . #2#) (LETT |$| (GETREFV 35) . #2#) (QSETREFV |$| 0 |dv$|) (QSETREFV |$| 3 (LETT |pv$| (|buildPredVector| 0 0 (LIST (|HasCategory| |#1| (QUOTE (|SetCategory|))) (|HasCategory| |#1| (QUOTE (|ConvertibleTo| (|InputForm|)))) (LETT #1# (|HasCategory| |#1| (QUOTE (|OrderedSet|))) . #2#) (OR #1# (|HasCategory| |#1| (QUOTE (|SetCategory|)))) (|HasCategory| (|Integer|) (QUOTE (|OrderedSet|))) (AND (|HasCategory| |#1| (LIST (QUOTE |Evalable|) (|devaluate| |#1|))) (|HasCategory| |#1| (QUOTE (|SetCategory|)))) (OR (AND (|HasCategory| |#1| (LIST (QUOTE |Evalable|) (|devaluate| |#1|))) #1#) (AND (|HasCategory| |#1| (LIST (QUOTE |Evalable|) (|devaluate| |#1|))) (|HasCategory| |#1| (QUOTE (|SetCategory|))))))) . #2#)) (|haddProp| |$ConstructorCache| (QUOTE |PrimitiveArray|) (LIST |DV$1|) (CONS 1 |$|)) (|stuffDomainSlots| |$|) (QSETREFV |$| 6 |#1|) |$|)))) - -(MAKEPROP (QUOTE |PrimitiveArray|) (QUOTE |infovec|) (LIST (QUOTE #(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|NonNegativeInteger|) |PRIMARR;#;$Nni;1| (|Integer|) |PRIMARR;minIndex;$I;2| |PRIMARR;empty;$;3| |PRIMARR;fill!;$S$;9| |PRIMARR;new;NniS$;4| |PRIMARR;qelt;$IS;5| |PRIMARR;elt;$IS;6| |PRIMARR;qsetelt!;$I2S;7| |PRIMARR;setelt;$I2S;8| (|Mapping| 6 6 6) (|Boolean|) (|List| 6) (|Equation| 6) (|List| 21) (|Mapping| 19 6) (|Mapping| 19 6 6) (|UniversalSegment| 9) (|Void|) (|Mapping| 6 6) (|InputForm|) (|OutputForm|) (|String|) (|SingleInteger|) (|List| |$|) (|Union| 6 (QUOTE "failed")) (|List| 9))) (QUOTE #(|~=| 0 |swap!| 6 |sorted?| 13 |sort!| 24 |sort| 35 |size?| 46 |setelt| 52 |select| 66 |sample| 72 |reverse!| 76 |reverse| 81 |removeDuplicates| 86 |remove| 91 |reduce| 103 |qsetelt!| 124 |qelt| 131 |position| 137 |parts| 156 |new| 161 |more?| 167 |minIndex| 173 |min| 178 |merge| 184 |members| 197 |member?| 202 |maxIndex| 208 |max| 213 |map!| 219 |map| 225 |less?| 238 |latex| 244 |insert| 249 |indices| 263 |index?| 268 |hash| 274 |first| 279 |find| 284 |fill!| 290 |every?| 296 |eval| 302 |eq?| 328 |entry?| 334 |entries| 340 |empty?| 345 |empty| 350 |elt| 354 |delete| 373 |count| 385 |copyInto!| 397 |copy| 404 |convert| 409 |construct| 414 |concat| 419 |coerce| 442 |any?| 447 |>=| 453 |>| 459 |=| 465 |<=| 471 |<| 477 |#| 483)) (QUOTE ((|shallowlyMutable| . 0) (|finiteAggregate| . 0))) (CONS (|makeByteWordVec2| 7 (QUOTE (0 0 0 0 0 0 3 0 0 7 4 0 0 7 1 2 4))) (CONS (QUOTE #(|OneDimensionalArrayAggregate&| |FiniteLinearAggregate&| |LinearAggregate&| |IndexedAggregate&| |Collection&| |HomogeneousAggregate&| |OrderedSet&| |Aggregate&| |EltableAggregate&| |Evalable&| |SetCategory&| NIL NIL |InnerEvalable&| NIL NIL |BasicType&|)) (CONS (QUOTE #((|OneDimensionalArrayAggregate| 6) (|FiniteLinearAggregate| 6) (|LinearAggregate| 6) (|IndexedAggregate| 9 6) (|Collection| 6) (|HomogeneousAggregate| 6) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 9 6) (|Evalable| 6) (|SetCategory|) (|Type|) (|Eltable| 9 6) (|InnerEvalable| 6 6) (|CoercibleTo| 29) (|ConvertibleTo| 28) (|BasicType|))) (|makeByteWordVec2| 34 (QUOTE (2 1 19 0 0 1 3 0 26 0 9 9 1 1 3 19 0 1 2 0 19 24 0 1 1 3 0 0 1 2 0 0 24 0 1 1 3 0 0 1 2 0 0 24 0 1 2 0 19 0 7 1 3 0 6 0 25 6 1 3 0 6 0 9 6 17 2 0 0 23 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 2 1 0 6 0 1 2 0 0 23 0 1 4 1 6 18 0 6 6 1 3 0 6 18 0 6 1 2 0 6 18 0 1 3 0 6 0 9 6 16 2 0 6 0 9 14 2 1 9 6 0 1 3 1 9 6 0 9 1 2 0 9 23 0 1 1 0 20 0 1 2 0 0 7 6 13 2 0 19 0 7 1 1 5 9 0 10 2 3 0 0 0 1 2 3 0 0 0 1 3 0 0 24 0 0 1 1 0 20 0 1 2 1 19 6 0 1 1 5 9 0 1 2 3 0 0 0 1 2 0 0 27 0 1 3 0 0 18 0 0 1 2 0 0 27 0 1 2 0 19 0 7 1 1 1 30 0 1 3 0 0 0 0 9 1 3 0 0 6 0 9 1 1 0 34 0 1 2 0 19 9 0 1 1 1 31 0 1 1 5 6 0 1 2 0 33 23 0 1 2 0 0 0 6 12 2 0 19 23 0 1 3 6 0 0 20 20 1 2 6 0 0 21 1 3 6 0 0 6 6 1 2 6 0 0 22 1 2 0 19 0 0 1 2 1 19 6 0 1 1 0 20 0 1 1 0 19 0 1 0 0 0 11 2 0 0 0 25 1 2 0 6 0 9 15 3 0 6 0 9 6 1 2 0 0 0 9 1 2 0 0 0 25 1 2 1 7 6 0 1 2 0 7 23 0 1 3 0 0 0 0 9 1 1 0 0 0 1 1 2 28 0 1 1 0 0 20 1 1 0 0 32 1 2 0 0 6 0 1 2 0 0 0 0 1 2 0 0 0 6 1 1 1 29 0 1 2 0 19 23 0 1 2 3 19 0 0 1 2 3 19 0 0 1 2 1 19 0 0 1 2 3 19 0 0 1 2 3 19 0 0 1 1 0 7 0 8)))))) (QUOTE |lookupComplete|))) +(/VERSIONCHECK 2) + +(PUT '|PRIMARR;#;$Nni;1| '|SPADreplace| 'QVSIZE) + +(DEFUN |PRIMARR;#;$Nni;1| (|x| $) (QVSIZE |x|)) + +(PUT '|PRIMARR;minIndex;$I;2| '|SPADreplace| '(XLAM (|x|) 0)) + +(DEFUN |PRIMARR;minIndex;$I;2| (|x| $) 0) + +(PUT '|PRIMARR;empty;$;3| '|SPADreplace| '(XLAM NIL (GETREFV 0))) + +(DEFUN |PRIMARR;empty;$;3| ($) (GETREFV 0)) + +(DEFUN |PRIMARR;new;NniS$;4| (|n| |x| $) + (SPADCALL (GETREFV |n|) |x| (|getShellEntry| $ 12))) + +(PUT '|PRIMARR;qelt;$IS;5| '|SPADreplace| 'ELT) + +(DEFUN |PRIMARR;qelt;$IS;5| (|x| |i| $) (ELT |x| |i|)) + +(PUT '|PRIMARR;elt;$IS;6| '|SPADreplace| 'ELT) + +(DEFUN |PRIMARR;elt;$IS;6| (|x| |i| $) (ELT |x| |i|)) + +(PUT '|PRIMARR;qsetelt!;$I2S;7| '|SPADreplace| 'SETELT) + +(DEFUN |PRIMARR;qsetelt!;$I2S;7| (|x| |i| |s| $) (SETELT |x| |i| |s|)) + +(PUT '|PRIMARR;setelt;$I2S;8| '|SPADreplace| 'SETELT) + +(DEFUN |PRIMARR;setelt;$I2S;8| (|x| |i| |s| $) (SETELT |x| |i| |s|)) + +(DEFUN |PRIMARR;fill!;$S$;9| (|x| |s| $) + (PROG (|i| #0=#:G1403) + (RETURN + (SEQ (SEQ (LETT |i| 0 |PRIMARR;fill!;$S$;9|) + (LETT #0# (QVMAXINDEX |x|) |PRIMARR;fill!;$S$;9|) G190 + (COND ((QSGREATERP |i| #0#) (GO G191))) + (SEQ (EXIT (SETELT |x| |i| |s|))) + (LETT |i| (QSADD1 |i|) |PRIMARR;fill!;$S$;9|) (GO G190) + G191 (EXIT NIL)) + (EXIT |x|))))) + +(DEFUN |PrimitiveArray| (#0=#:G1411) + (PROG () + (RETURN + (PROG (#1=#:G1412) + (RETURN + (COND + ((LETT #1# + (|lassocShiftWithFunction| (LIST (|devaluate| #0#)) + (HGET |$ConstructorCache| '|PrimitiveArray|) + '|domainEqualList|) + |PrimitiveArray|) + (|CDRwithIncrement| #1#)) + ('T + (UNWIND-PROTECT + (PROG1 (|PrimitiveArray;| #0#) + (LETT #1# T |PrimitiveArray|)) + (COND + ((NOT #1#) + (HREM |$ConstructorCache| '|PrimitiveArray|))))))))))) + +(DEFUN |PrimitiveArray;| (|#1|) + (PROG (|dv$1| |dv$| $ |pv$|) + (RETURN + (PROGN + (LETT |dv$1| (|devaluate| |#1|) . #0=(|PrimitiveArray|)) + (LETT |dv$| (LIST '|PrimitiveArray| |dv$1|) . #0#) + (LETT $ (|newShell| 35) . #0#) + (|setShellEntry| $ 0 |dv$|) + (|setShellEntry| $ 3 + (LETT |pv$| + (|buildPredVector| 0 0 + (LIST (OR (AND (|HasCategory| |#1| + '(|OrderedSet|)) + (|HasCategory| |#1| + (LIST '|Evalable| + (|devaluate| |#1|)))) + (AND (|HasCategory| |#1| + '(|SetCategory|)) + (|HasCategory| |#1| + (LIST '|Evalable| + (|devaluate| |#1|))))) + (OR (AND (|HasCategory| |#1| + '(|SetCategory|)) + (|HasCategory| |#1| + (LIST '|Evalable| + (|devaluate| |#1|)))) + (|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| '|PrimitiveArray| (LIST |dv$1|) + (CONS 1 $)) + (|stuffDomainSlots| $) + (|setShellEntry| $ 6 |#1|) + $)))) + +(MAKEPROP '|PrimitiveArray| '|infovec| + (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) + (|NonNegativeInteger|) |PRIMARR;#;$Nni;1| (|Integer|) + |PRIMARR;minIndex;$I;2| |PRIMARR;empty;$;3| + |PRIMARR;fill!;$S$;9| |PRIMARR;new;NniS$;4| + |PRIMARR;qelt;$IS;5| |PRIMARR;elt;$IS;6| + |PRIMARR;qsetelt!;$I2S;7| |PRIMARR;setelt;$I2S;8| + (|Mapping| 6 6 6) (|Boolean|) (|List| 6) (|Equation| 6) + (|List| 21) (|Mapping| 19 6) (|Mapping| 19 6 6) + (|UniversalSegment| 9) (|Void|) (|Mapping| 6 6) + (|OutputForm|) (|InputForm|) (|String|) (|SingleInteger|) + (|List| $) (|Union| 6 '"failed") (|List| 9)) + '#(~= 0 |swap!| 6 |sorted?| 13 |sort!| 24 |sort| 35 |size?| + 46 |setelt| 52 |select| 66 |sample| 72 |reverse!| 76 + |reverse| 81 |removeDuplicates| 86 |remove| 91 |reduce| + 103 |qsetelt!| 124 |qelt| 131 |position| 137 |parts| 156 + |new| 161 |more?| 167 |minIndex| 173 |min| 178 |merge| 184 + |members| 197 |member?| 202 |maxIndex| 208 |max| 213 + |map!| 219 |map| 225 |less?| 238 |latex| 244 |insert| 249 + |indices| 263 |index?| 268 |hash| 274 |first| 279 |find| + 284 |fill!| 290 |every?| 296 |eval| 302 |eq?| 328 |entry?| + 334 |entries| 340 |empty?| 345 |empty| 350 |elt| 354 + |delete| 373 |count| 385 |copyInto!| 397 |copy| 404 + |convert| 409 |construct| 414 |concat| 419 |coerce| 442 + |any?| 447 >= 453 > 459 = 465 <= 471 < 477 |#| 483) + '((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) + (CONS (|makeByteWordVec2| 5 + '(0 0 0 0 0 0 5 0 0 1 4 0 0 1 2 3 4)) + (CONS '#(|OneDimensionalArrayAggregate&| + |FiniteLinearAggregate&| |LinearAggregate&| + |IndexedAggregate&| |Collection&| + |HomogeneousAggregate&| |OrderedSet&| + |Aggregate&| |EltableAggregate&| |Evalable&| + |SetCategory&| NIL NIL |InnerEvalable&| NIL + NIL |BasicType&|) + (CONS '#((|OneDimensionalArrayAggregate| 6) + (|FiniteLinearAggregate| 6) + (|LinearAggregate| 6) + (|IndexedAggregate| 9 6) + (|Collection| 6) + (|HomogeneousAggregate| 6) + (|OrderedSet|) (|Aggregate|) + (|EltableAggregate| 9 6) (|Evalable| 6) + (|SetCategory|) (|Type|) (|Eltable| 9 6) + (|InnerEvalable| 6 6) (|CoercibleTo| 28) + (|ConvertibleTo| 29) (|BasicType|)) + (|makeByteWordVec2| 34 + '(2 7 19 0 0 1 3 0 26 0 9 9 1 1 5 19 0 + 1 2 0 19 24 0 1 1 5 0 0 1 2 0 0 24 0 + 1 1 5 0 0 1 2 0 0 24 0 1 2 0 19 0 7 1 + 3 0 6 0 25 6 1 3 0 6 0 9 6 17 2 0 0 + 23 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 + 7 0 0 1 2 7 0 6 0 1 2 0 0 23 0 1 4 7 + 6 18 0 6 6 1 3 0 6 18 0 6 1 2 0 6 18 + 0 1 3 0 6 0 9 6 16 2 0 6 0 9 14 2 7 9 + 6 0 1 3 7 9 6 0 9 1 2 0 9 23 0 1 1 0 + 20 0 1 2 0 0 7 6 13 2 0 19 0 7 1 1 6 + 9 0 10 2 5 0 0 0 1 2 5 0 0 0 1 3 0 0 + 24 0 0 1 1 0 20 0 1 2 7 19 6 0 1 1 6 + 9 0 1 2 5 0 0 0 1 2 0 0 27 0 1 3 0 0 + 18 0 0 1 2 0 0 27 0 1 2 0 19 0 7 1 1 + 7 30 0 1 3 0 0 0 0 9 1 3 0 0 6 0 9 1 + 1 0 34 0 1 2 0 19 9 0 1 1 7 31 0 1 1 + 6 6 0 1 2 0 33 23 0 1 2 0 0 0 6 12 2 + 0 19 23 0 1 3 8 0 0 20 20 1 2 8 0 0 + 21 1 3 8 0 0 6 6 1 2 8 0 0 22 1 2 0 + 19 0 0 1 2 7 19 6 0 1 1 0 20 0 1 1 0 + 19 0 1 0 0 0 11 2 0 0 0 25 1 2 0 6 0 + 9 15 3 0 6 0 9 6 1 2 0 0 0 9 1 2 0 0 + 0 25 1 2 7 7 6 0 1 2 0 7 23 0 1 3 0 0 + 0 0 9 1 1 0 0 0 1 1 3 29 0 1 1 0 0 20 + 1 1 0 0 32 1 2 0 0 6 0 1 2 0 0 0 0 1 + 2 0 0 0 6 1 1 9 28 0 1 2 0 19 23 0 1 + 2 5 19 0 0 1 2 5 19 0 0 1 2 7 19 0 0 + 1 2 5 19 0 0 1 2 5 19 0 0 1 1 0 7 0 + 8))))) + '|lookupComplete|)) @ + \section{package PRIMARR2 PrimitiveArrayFunctions2} + <<package PRIMARR2 PrimitiveArrayFunctions2>>= )abbrev package PRIMARR2 PrimitiveArrayFunctions2 ++ This package provides tools for operating on primitive arrays diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet index d044d256..cec12f80 100644 --- a/src/algebra/fspace.spad.pamphlet +++ b/src/algebra/fspace.spad.pamphlet @@ -502,25 +502,27 @@ Note that this code is not included in the generated catdef.spad file. (/VERSIONCHECK 2) -(DEFUN |ES-;box;2S;1| (|x| $) (SPADCALL (LIST |x|) (QREFELT $ 16))) +(DEFUN |ES-;box;2S;1| (|x| $) + (SPADCALL (LIST |x|) (|getShellEntry| $ 16))) -(DEFUN |ES-;paren;2S;2| (|x| $) (SPADCALL (LIST |x|) (QREFELT $ 18))) +(DEFUN |ES-;paren;2S;2| (|x| $) + (SPADCALL (LIST |x|) (|getShellEntry| $ 18))) (DEFUN |ES-;belong?;BoB;3| (|op| $) (COND - ((SPADCALL |op| (QREFELT $ 13) (QREFELT $ 21)) 'T) - ('T (SPADCALL |op| (QREFELT $ 14) (QREFELT $ 21))))) + ((SPADCALL |op| (|getShellEntry| $ 13) (|getShellEntry| $ 21)) 'T) + ('T (SPADCALL |op| (|getShellEntry| $ 14) (|getShellEntry| $ 21))))) (DEFUN |ES-;listk| (|f| $) - (SPADCALL (|ES-;allKernels| |f| $) (QREFELT $ 25))) + (SPADCALL (|ES-;allKernels| |f| $) (|getShellEntry| $ 26))) (DEFUN |ES-;tower;SL;5| (|f| $) - (SPADCALL (|ES-;listk| |f| $) (QREFELT $ 26))) + (SPADCALL (|ES-;listk| |f| $) (|getShellEntry| $ 27))) (DEFUN |ES-;allk| (|l| $) - (PROG (#0=#:G1410 |f| #1=#:G1411) + (PROG (#0=#:G1419 |f| #1=#:G1420) (RETURN - (SEQ (SPADCALL (ELT $ 30) + (SEQ (SPADCALL (ELT $ 32) (PROGN (LETT #0# NIL |ES-;allk|) (SEQ (LETT |f| NIL |ES-;allk|) @@ -537,10 +539,11 @@ Note that this code is not included in the generated catdef.spad file. |ES-;allk|))) (LETT #1# (CDR #1#) |ES-;allk|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) - (SPADCALL NIL (QREFELT $ 29)) (QREFELT $ 33)))))) + (SPADCALL NIL (|getShellEntry| $ 31)) + (|getShellEntry| $ 35)))))) (DEFUN |ES-;operators;SL;7| (|f| $) - (PROG (#0=#:G1414 |k| #1=#:G1415) + (PROG (#0=#:G1423 |k| #1=#:G1424) (RETURN (SEQ (PROGN (LETT #0# NIL |ES-;operators;SL;7|) @@ -554,20 +557,22 @@ Note that this code is not included in the generated catdef.spad file. NIL)) (GO G191))) (SEQ (EXIT (LETT #0# - (CONS (SPADCALL |k| (QREFELT $ 35)) + (CONS + (SPADCALL |k| + (|getShellEntry| $ 36)) #0#) |ES-;operators;SL;7|))) (LETT #1# (CDR #1#) |ES-;operators;SL;7|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))))))) (DEFUN |ES-;height;SNni;8| (|f| $) - (PROG (#0=#:G1420 |k| #1=#:G1421) + (PROG (#0=#:G1429 |k| #1=#:G1430) (RETURN - (SEQ (SPADCALL (ELT $ 41) + (SEQ (SPADCALL (ELT $ 42) (PROGN (LETT #0# NIL |ES-;height;SNni;8|) (SEQ (LETT |k| NIL |ES-;height;SNni;8|) - (LETT #1# (SPADCALL |f| (QREFELT $ 38)) + (LETT #1# (SPADCALL |f| (|getShellEntry| $ 39)) |ES-;height;SNni;8|) G190 (COND @@ -578,15 +583,16 @@ Note that this code is not included in the generated catdef.spad file. (GO G191))) (SEQ (EXIT (LETT #0# (CONS - (SPADCALL |k| (QREFELT $ 40)) + (SPADCALL |k| + (|getShellEntry| $ 41)) #0#) |ES-;height;SNni;8|))) (LETT #1# (CDR #1#) |ES-;height;SNni;8|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) - 0 (QREFELT $ 44)))))) + 0 (|getShellEntry| $ 45)))))) (DEFUN |ES-;freeOf?;SSB;9| (|x| |s| $) - (PROG (#0=#:G1425 |k| #1=#:G1426) + (PROG (#0=#:G1434 |k| #1=#:G1435) (RETURN (SEQ (SPADCALL (SPADCALL |s| @@ -605,16 +611,17 @@ Note that this code is not included in the generated catdef.spad file. (GO G191))) (SEQ (EXIT (LETT #0# (CONS - (SPADCALL |k| (QREFELT $ 46)) + (SPADCALL |k| + (|getShellEntry| $ 47)) #0#) |ES-;freeOf?;SSB;9|))) (LETT #1# (CDR #1#) |ES-;freeOf?;SSB;9|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) - (QREFELT $ 48)) - (QREFELT $ 49)))))) + (|getShellEntry| $ 49)) + (|getShellEntry| $ 50)))))) (DEFUN |ES-;distribute;2S;10| (|x| $) - (PROG (#0=#:G1429 |k| #1=#:G1430) + (PROG (#0=#:G1438 |k| #1=#:G1439) (RETURN (SEQ (|ES-;unwrap| (PROGN @@ -631,8 +638,9 @@ Note that this code is not included in the generated catdef.spad file. NIL)) (GO G191))) (SEQ (EXIT (COND - ((SPADCALL |k| (QREFELT $ 13) - (QREFELT $ 51)) + ((SPADCALL |k| + (|getShellEntry| $ 13) + (|getShellEntry| $ 52)) (LETT #0# (CONS |k| #0#) |ES-;distribute;2S;10|))))) (LETT #1# (CDR #1#) |ES-;distribute;2S;10|) @@ -640,59 +648,62 @@ Note that this code is not included in the generated catdef.spad file. |x| $))))) (DEFUN |ES-;box;LS;11| (|l| $) - (SPADCALL (QREFELT $ 14) |l| (QREFELT $ 53))) + (SPADCALL (|getShellEntry| $ 14) |l| (|getShellEntry| $ 54))) (DEFUN |ES-;paren;LS;12| (|l| $) - (SPADCALL (QREFELT $ 13) |l| (QREFELT $ 53))) + (SPADCALL (|getShellEntry| $ 13) |l| (|getShellEntry| $ 54))) (DEFUN |ES-;freeOf?;2SB;13| (|x| |k| $) - (SPADCALL (SPADCALL (SPADCALL |k| (QREFELT $ 57)) (|ES-;listk| |x| $) - (QREFELT $ 58)) - (QREFELT $ 49))) + (SPADCALL + (SPADCALL (SPADCALL |k| (|getShellEntry| $ 57)) + (|ES-;listk| |x| $) (|getShellEntry| $ 58)) + (|getShellEntry| $ 50))) (DEFUN |ES-;kernel;Bo2S;14| (|op| |arg| $) - (SPADCALL |op| (LIST |arg|) (QREFELT $ 60))) + (SPADCALL |op| (LIST |arg|) (|getShellEntry| $ 60))) (DEFUN |ES-;elt;Bo2S;15| (|op| |x| $) - (SPADCALL |op| (LIST |x|) (QREFELT $ 53))) + (SPADCALL |op| (LIST |x|) (|getShellEntry| $ 54))) (DEFUN |ES-;elt;Bo3S;16| (|op| |x| |y| $) - (SPADCALL |op| (LIST |x| |y|) (QREFELT $ 53))) + (SPADCALL |op| (LIST |x| |y|) (|getShellEntry| $ 54))) (DEFUN |ES-;elt;Bo4S;17| (|op| |x| |y| |z| $) - (SPADCALL |op| (LIST |x| |y| |z|) (QREFELT $ 53))) + (SPADCALL |op| (LIST |x| |y| |z|) (|getShellEntry| $ 54))) (DEFUN |ES-;elt;Bo5S;18| (|op| |x| |y| |z| |t| $) - (SPADCALL |op| (LIST |x| |y| |z| |t|) (QREFELT $ 53))) + (SPADCALL |op| (LIST |x| |y| |z| |t|) (|getShellEntry| $ 54))) (DEFUN |ES-;eval;SSMS;19| (|x| |s| |f| $) - (SPADCALL |x| (LIST |s|) (LIST |f|) (QREFELT $ 68))) + (SPADCALL |x| (LIST |s|) (LIST |f|) (|getShellEntry| $ 68))) (DEFUN |ES-;eval;SBoMS;20| (|x| |s| |f| $) - (SPADCALL |x| (LIST (SPADCALL |s| (QREFELT $ 70))) (LIST |f|) - (QREFELT $ 68))) + (SPADCALL |x| (LIST (SPADCALL |s| (|getShellEntry| $ 70))) (LIST |f|) + (|getShellEntry| $ 68))) (DEFUN |ES-;eval;SSMS;21| (|x| |s| |f| $) (SPADCALL |x| (LIST |s|) (LIST (CONS #'|ES-;eval;SSMS;21!0| (VECTOR |f| $))) - (QREFELT $ 68))) + (|getShellEntry| $ 68))) (DEFUN |ES-;eval;SSMS;21!0| (|#1| $$) - (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0))) + (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 73)) + (|getShellEntry| $$ 0))) (DEFUN |ES-;eval;SBoMS;22| (|x| |s| |f| $) (SPADCALL |x| (LIST |s|) (LIST (CONS #'|ES-;eval;SBoMS;22!0| (VECTOR |f| $))) - (QREFELT $ 76))) + (|getShellEntry| $ 76))) (DEFUN |ES-;eval;SBoMS;22!0| (|#1| $$) - (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0))) + (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 73)) + (|getShellEntry| $$ 0))) (DEFUN |ES-;subst;SES;23| (|x| |e| $) - (SPADCALL |x| (LIST |e|) (QREFELT $ 79))) + (SPADCALL |x| (LIST |e|) (|getShellEntry| $ 80))) (DEFUN |ES-;eval;SLLS;24| (|x| |ls| |lf| $) - (PROG (#0=#:G1450 |f| #1=#:G1451) + (PROG (#0=#:G1459 |f| #1=#:G1460) (RETURN (SEQ (SPADCALL |x| |ls| (PROGN @@ -713,13 +724,14 @@ Note that this code is not included in the generated catdef.spad file. |ES-;eval;SLLS;24|))) (LETT #1# (CDR #1#) |ES-;eval;SLLS;24|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) - (QREFELT $ 76)))))) + (|getShellEntry| $ 76)))))) (DEFUN |ES-;eval;SLLS;24!0| (|#1| $$) - (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0))) + (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 73)) + (|getShellEntry| $$ 0))) (DEFUN |ES-;eval;SLLS;25| (|x| |ls| |lf| $) - (PROG (#0=#:G1454 |f| #1=#:G1455) + (PROG (#0=#:G1463 |f| #1=#:G1464) (RETURN (SEQ (SPADCALL |x| |ls| (PROGN @@ -740,13 +752,14 @@ Note that this code is not included in the generated catdef.spad file. |ES-;eval;SLLS;25|))) (LETT #1# (CDR #1#) |ES-;eval;SLLS;25|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) - (QREFELT $ 68)))))) + (|getShellEntry| $ 68)))))) (DEFUN |ES-;eval;SLLS;25!0| (|#1| $$) - (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0))) + (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 73)) + (|getShellEntry| $$ 0))) (DEFUN |ES-;eval;SLLS;26| (|x| |ls| |lf| $) - (PROG (#0=#:G1459 |s| #1=#:G1460) + (PROG (#0=#:G1468 |s| #1=#:G1469) (RETURN (SEQ (SPADCALL |x| (PROGN @@ -761,15 +774,16 @@ Note that this code is not included in the generated catdef.spad file. (GO G191))) (SEQ (EXIT (LETT #0# (CONS - (SPADCALL |s| (QREFELT $ 70)) + (SPADCALL |s| + (|getShellEntry| $ 70)) #0#) |ES-;eval;SLLS;26|))) (LETT #1# (CDR #1#) |ES-;eval;SLLS;26|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) - |lf| (QREFELT $ 68)))))) + |lf| (|getShellEntry| $ 68)))))) (DEFUN |ES-;map;MKS;27| (|fn| |k| $) - (PROG (#0=#:G1475 |x| #1=#:G1476 |l|) + (PROG (#0=#:G1484 |x| #1=#:G1485 |l|) (RETURN (SEQ (COND ((SPADCALL @@ -777,7 +791,9 @@ Note that this code is not included in the generated catdef.spad file. (PROGN (LETT #0# NIL |ES-;map;MKS;27|) (SEQ (LETT |x| NIL |ES-;map;MKS;27|) - (LETT #1# (SPADCALL |k| (QREFELT $ 86)) + (LETT #1# + (SPADCALL |k| + (|getShellEntry| $ 86)) |ES-;map;MKS;27|) G190 (COND @@ -794,25 +810,28 @@ Note that this code is not included in the generated catdef.spad file. (LETT #1# (CDR #1#) |ES-;map;MKS;27|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) |ES-;map;MKS;27|) - (SPADCALL |k| (QREFELT $ 86)) (QREFELT $ 87)) - (SPADCALL |k| (QREFELT $ 88))) + (SPADCALL |k| (|getShellEntry| $ 86)) + (|getShellEntry| $ 87)) + (SPADCALL |k| (|getShellEntry| $ 88))) ('T - (SPADCALL (SPADCALL |k| (QREFELT $ 35)) |l| - (QREFELT $ 53)))))))) + (SPADCALL (SPADCALL |k| (|getShellEntry| $ 36)) |l| + (|getShellEntry| $ 54)))))))) (DEFUN |ES-;operator;2Bo;28| (|op| $) (COND - ((SPADCALL |op| (SPADCALL "%paren" (QREFELT $ 9)) (QREFELT $ 90)) - (QREFELT $ 13)) - ((SPADCALL |op| (SPADCALL "%box" (QREFELT $ 9)) (QREFELT $ 90)) - (QREFELT $ 14)) + ((SPADCALL |op| (SPADCALL "%paren" (|getShellEntry| $ 9)) + (|getShellEntry| $ 90)) + (|getShellEntry| $ 13)) + ((SPADCALL |op| (SPADCALL "%box" (|getShellEntry| $ 9)) + (|getShellEntry| $ 90)) + (|getShellEntry| $ 14)) ('T (|error| "Unknown operator")))) (DEFUN |ES-;mainKernel;SU;29| (|x| $) - (PROG (|l| |kk| #0=#:G1492 |n| |k|) + (PROG (|l| |kk| #0=#:G1501 |n| |k|) (RETURN (SEQ (COND - ((NULL (LETT |l| (SPADCALL |x| (QREFELT $ 38)) + ((NULL (LETT |l| (SPADCALL |x| (|getShellEntry| $ 39)) |ES-;mainKernel;SU;29|)) (CONS 1 "failed")) ('T @@ -820,7 +839,7 @@ Note that this code is not included in the generated catdef.spad file. (SPADCALL (LETT |k| (|SPADfirst| |l|) |ES-;mainKernel;SU;29|) - (QREFELT $ 40)) + (|getShellEntry| $ 41)) |ES-;mainKernel;SU;29|) (SEQ (LETT |kk| NIL |ES-;mainKernel;SU;29|) (LETT #0# (CDR |l|) |ES-;mainKernel;SU;29|) @@ -834,10 +853,12 @@ Note that this code is not included in the generated catdef.spad file. (GO G191))) (SEQ (EXIT (COND ((< |n| - (SPADCALL |kk| (QREFELT $ 40))) + (SPADCALL |kk| + (|getShellEntry| $ 41))) (SEQ (LETT |n| - (SPADCALL |kk| (QREFELT $ 40)) + (SPADCALL |kk| + (|getShellEntry| $ 41)) |ES-;mainKernel;SU;29|) (EXIT (LETT |k| |kk| @@ -847,13 +868,13 @@ Note that this code is not included in the generated catdef.spad file. (EXIT (CONS 0 |k|))))))))) (DEFUN |ES-;allKernels| (|f| $) - (PROG (|l| |k| #0=#:G1505 |u| |s0| |n| |arg| |t| |s|) + (PROG (|l| |k| #0=#:G1514 |u| |s0| |n| |arg| |t| |s|) (RETURN (SEQ (LETT |s| (SPADCALL - (LETT |l| (SPADCALL |f| (QREFELT $ 38)) + (LETT |l| (SPADCALL |f| (|getShellEntry| $ 39)) |ES-;allKernels|) - (QREFELT $ 29)) + (|getShellEntry| $ 31)) |ES-;allKernels|) (SEQ (LETT |k| NIL |ES-;allKernels|) (LETT #0# |l| |ES-;allKernels|) G190 @@ -866,25 +887,27 @@ Note that this code is not included in the generated catdef.spad file. (SEQ (LETT |t| (SEQ (LETT |u| (SPADCALL - (SPADCALL |k| (QREFELT $ 35)) - "%dummyVar" (QREFELT $ 95)) + (SPADCALL |k| + (|getShellEntry| $ 36)) + "%dummyVar" + (|getShellEntry| $ 96)) |ES-;allKernels|) (EXIT (COND ((QEQCAR |u| 0) (SEQ (LETT |arg| (SPADCALL |k| - (QREFELT $ 86)) + (|getShellEntry| $ 86)) |ES-;allKernels|) (LETT |s0| (SPADCALL (SPADCALL (SPADCALL |arg| - (QREFELT $ 96)) - (QREFELT $ 57)) + (|getShellEntry| $ 97)) + (|getShellEntry| $ 57)) (|ES-;allKernels| (|SPADfirst| |arg|) $) - (QREFELT $ 97)) + (|getShellEntry| $ 98)) |ES-;allKernels|) (LETT |arg| (CDR (CDR |arg|)) |ES-;allKernels|) @@ -897,13 +920,16 @@ Note that this code is not included in the generated catdef.spad file. (EXIT (SPADCALL |s0| (|ES-;allk| |arg| $) - (QREFELT $ 30))))) + (|getShellEntry| $ 32))))) ('T (|ES-;allk| - (SPADCALL |k| (QREFELT $ 86)) + (SPADCALL |k| + (|getShellEntry| $ 86)) $))))) |ES-;allKernels|) - (EXIT (LETT |s| (SPADCALL |s| |t| (QREFELT $ 30)) + (EXIT (LETT |s| + (SPADCALL |s| |t| + (|getShellEntry| $ 32)) |ES-;allKernels|))) (LETT #0# (CDR #0#) |ES-;allKernels|) (GO G190) G191 (EXIT NIL)) @@ -911,17 +937,17 @@ Note that this code is not included in the generated catdef.spad file. (DEFUN |ES-;kernel;BoLS;31| (|op| |args| $) (COND - ((NULL (SPADCALL |op| (QREFELT $ 98))) + ((NULL (SPADCALL |op| (|getShellEntry| $ 99))) (|error| "Unknown operator")) ('T (|ES-;okkernel| |op| |args| $)))) (DEFUN |ES-;okkernel| (|op| |l| $) - (PROG (#0=#:G1512 |f| #1=#:G1513) + (PROG (#0=#:G1521 |f| #1=#:G1522) (RETURN (SEQ (SPADCALL (SPADCALL |op| |l| (+ 1 - (SPADCALL (ELT $ 41) + (SPADCALL (ELT $ 42) (PROGN (LETT #0# NIL |ES-;okkernel|) (SEQ (LETT |f| NIL |ES-;okkernel|) @@ -936,30 +962,33 @@ Note that this code is not included in the generated catdef.spad file. (SEQ (EXIT (LETT #0# (CONS - (SPADCALL |f| (QREFELT $ 100)) + (SPADCALL |f| + (|getShellEntry| $ 101)) #0#) |ES-;okkernel|))) (LETT #1# (CDR #1#) |ES-;okkernel|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) - 0 (QREFELT $ 44))) - (QREFELT $ 101)) - (QREFELT $ 88)))))) + 0 (|getShellEntry| $ 45))) + (|getShellEntry| $ 102)) + (|getShellEntry| $ 88)))))) (DEFUN |ES-;elt;BoLS;33| (|op| |args| $) - (PROG (|u| #0=#:G1529 |v|) + (PROG (|u| #0=#:G1538 |v|) (RETURN (SEQ (EXIT (COND - ((NULL (SPADCALL |op| (QREFELT $ 98))) + ((NULL (SPADCALL |op| (|getShellEntry| $ 99))) (|error| "Unknown operator")) ('T - (SEQ (SEQ (LETT |u| (SPADCALL |op| (QREFELT $ 103)) + (SEQ (SEQ (LETT |u| + (SPADCALL |op| + (|getShellEntry| $ 104)) |ES-;elt;BoLS;33|) (EXIT (COND ((QEQCAR |u| 0) (COND - ((NULL - (EQL (LENGTH |args|) - (QCDR |u|))) + ((SPADCALL (LENGTH |args|) + (QCDR |u|) + (|getShellEntry| $ 105)) (PROGN (LETT #0# (|error| @@ -967,7 +996,8 @@ Note that this code is not included in the generated catdef.spad file. |ES-;elt;BoLS;33|) (GO #0#)))))))) (LETT |v| - (SPADCALL |op| |args| (QREFELT $ 106)) + (SPADCALL |op| |args| + (|getShellEntry| $ 108)) |ES-;elt;BoLS;33|) (EXIT (COND ((QEQCAR |v| 0) (QCDR |v|)) @@ -977,47 +1007,53 @@ Note that this code is not included in the generated catdef.spad file. (DEFUN |ES-;retract;SK;34| (|f| $) (PROG (|k|) (RETURN - (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 108)) + (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 110)) |ES-;retract;SK;34|) (EXIT (COND ((OR (QEQCAR |k| 1) - (NULL (SPADCALL - (SPADCALL (QCDR |k|) (QREFELT $ 88)) - |f| (QREFELT $ 109)))) + (SPADCALL + (SPADCALL (QCDR |k|) + (|getShellEntry| $ 88)) + |f| (|getShellEntry| $ 111))) (|error| "not a kernel")) ('T (QCDR |k|)))))))) (DEFUN |ES-;retractIfCan;SU;35| (|f| $) (PROG (|k|) (RETURN - (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 108)) + (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 110)) |ES-;retractIfCan;SU;35|) (EXIT (COND ((OR (QEQCAR |k| 1) - (NULL (SPADCALL - (SPADCALL (QCDR |k|) (QREFELT $ 88)) - |f| (QREFELT $ 109)))) + (SPADCALL + (SPADCALL (QCDR |k|) + (|getShellEntry| $ 88)) + |f| (|getShellEntry| $ 111))) (CONS 1 "failed")) ('T |k|))))))) (DEFUN |ES-;is?;SSB;36| (|f| |s| $) (PROG (|k|) (RETURN - (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 112)) |ES-;is?;SSB;36|) + (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 114)) + |ES-;is?;SSB;36|) (EXIT (COND ((QEQCAR |k| 1) 'NIL) - ('T (SPADCALL (QCDR |k|) |s| (QREFELT $ 113))))))))) + ('T + (SPADCALL (QCDR |k|) |s| (|getShellEntry| $ 115))))))))) (DEFUN |ES-;is?;SBoB;37| (|f| |op| $) (PROG (|k|) (RETURN - (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 112)) |ES-;is?;SBoB;37|) + (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 114)) + |ES-;is?;SBoB;37|) (EXIT (COND ((QEQCAR |k| 1) 'NIL) - ('T (SPADCALL (QCDR |k|) |op| (QREFELT $ 51))))))))) + ('T + (SPADCALL (QCDR |k|) |op| (|getShellEntry| $ 52))))))))) (DEFUN |ES-;unwrap| (|l| |x| $) - (PROG (|k| #0=#:G1554) + (PROG (|k| #0=#:G1565) (RETURN (SEQ (SEQ (LETT |k| NIL |ES-;unwrap|) (LETT #0# (NREVERSE |l|) |ES-;unwrap|) G190 @@ -1028,17 +1064,18 @@ Note that this code is not included in the generated catdef.spad file. (SEQ (EXIT (LETT |x| (SPADCALL |x| |k| (|SPADfirst| - (SPADCALL |k| (QREFELT $ 86))) - (QREFELT $ 116)) + (SPADCALL |k| + (|getShellEntry| $ 86))) + (|getShellEntry| $ 118)) |ES-;unwrap|))) (LETT #0# (CDR #0#) |ES-;unwrap|) (GO G190) G191 (EXIT NIL)) (EXIT |x|))))) (DEFUN |ES-;distribute;3S;39| (|x| |y| $) - (PROG (|ky| #0=#:G1559 |k| #1=#:G1560) + (PROG (|ky| #0=#:G1570 |k| #1=#:G1571) (RETURN - (SEQ (LETT |ky| (SPADCALL |y| (QREFELT $ 57)) + (SEQ (LETT |ky| (SPADCALL |y| (|getShellEntry| $ 57)) |ES-;distribute;3S;39|) (EXIT (|ES-;unwrap| (PROGN @@ -1058,14 +1095,14 @@ Note that this code is not included in the generated catdef.spad file. ((COND ((SPADCALL |k| (SPADCALL "%paren" - (QREFELT $ 9)) - (QREFELT $ 113)) + (|getShellEntry| $ 9)) + (|getShellEntry| $ 115)) (SPADCALL |ky| (|ES-;listk| (SPADCALL |k| - (QREFELT $ 88)) + (|getShellEntry| $ 88)) $) - (QREFELT $ 58))) + (|getShellEntry| $ 58))) ('T 'NIL)) (LETT #0# (CONS |k| #0#) |ES-;distribute;3S;39|))))) @@ -1078,17 +1115,17 @@ Note that this code is not included in the generated catdef.spad file. (RETURN (SEQ (LETT |rec| (|ES-;mkKerLists| |leq| $) |ES-;eval;SLS;40|) (EXIT (SPADCALL |f| (QCAR |rec|) (QCDR |rec|) - (QREFELT $ 118))))))) + (|getShellEntry| $ 120))))))) (DEFUN |ES-;subst;SLS;41| (|f| |leq| $) (PROG (|rec|) (RETURN (SEQ (LETT |rec| (|ES-;mkKerLists| |leq| $) |ES-;subst;SLS;41|) (EXIT (SPADCALL |f| (QCAR |rec|) (QCDR |rec|) - (QREFELT $ 120))))))) + (|getShellEntry| $ 122))))))) (DEFUN |ES-;mkKerLists| (|leq| $) - (PROG (|eq| #0=#:G1577 |k| |lk| |lv|) + (PROG (|eq| #0=#:G1588 |k| |lk| |lv|) (RETURN (SEQ (LETT |lk| NIL |ES-;mkKerLists|) (LETT |lv| NIL |ES-;mkKerLists|) @@ -1101,34 +1138,37 @@ Note that this code is not included in the generated catdef.spad file. NIL)) (GO G191))) (SEQ (LETT |k| - (SPADCALL (SPADCALL |eq| (QREFELT $ 123)) - (QREFELT $ 112)) + (SPADCALL + (SPADCALL |eq| (|getShellEntry| $ 125)) + (|getShellEntry| $ 114)) |ES-;mkKerLists|) (EXIT (COND ((QEQCAR |k| 1) (|error| "left hand side must be a single kernel")) ((NULL (SPADCALL (QCDR |k|) |lk| - (QREFELT $ 58))) + (|getShellEntry| $ 58))) (SEQ (LETT |lk| (CONS (QCDR |k|) |lk|) |ES-;mkKerLists|) (EXIT (LETT |lv| (CONS - (SPADCALL |eq| (QREFELT $ 124)) + (SPADCALL |eq| + (|getShellEntry| $ 126)) |lv|) |ES-;mkKerLists|))))))) (LETT #0# (CDR #0#) |ES-;mkKerLists|) (GO G190) G191 (EXIT NIL)) (EXIT (CONS |lk| |lv|)))))) -(DEFUN |ES-;even?;SB;43| (|x| $) (|ES-;intpred?| |x| (ELT $ 126) $)) +(DEFUN |ES-;even?;SB;43| (|x| $) (|ES-;intpred?| |x| (ELT $ 128) $)) -(DEFUN |ES-;odd?;SB;44| (|x| $) (|ES-;intpred?| |x| (ELT $ 128) $)) +(DEFUN |ES-;odd?;SB;44| (|x| $) (|ES-;intpred?| |x| (ELT $ 130) $)) (DEFUN |ES-;intpred?| (|x| |pred?| $) (PROG (|u|) (RETURN - (SEQ (LETT |u| (SPADCALL |x| (QREFELT $ 131)) |ES-;intpred?|) + (SEQ (LETT |u| (SPADCALL |x| (|getShellEntry| $ 133)) + |ES-;intpred?|) (EXIT (COND ((QEQCAR |u| 0) (SPADCALL (QCDR |u|) |pred?|)) ('T 'NIL))))))) @@ -1139,26 +1179,28 @@ Note that this code is not included in the generated catdef.spad file. (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|ExpressionSpace&|)) (LETT |dv$| (LIST '|ExpressionSpace&| |dv$1|) . #0#) - (LETT $ (GETREFV 132) . #0#) - (QSETREFV $ 0 |dv$|) - (QSETREFV $ 3 + (LETT $ (|newShell| 134) . #0#) + (|setShellEntry| $ 0 |dv$|) + (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 (LIST (|HasCategory| |#1| '(|RetractableTo| (|Integer|))) (|HasCategory| |#1| '(|Ring|)))) . #0#)) (|stuffDomainSlots| $) - (QSETREFV $ 6 |#1|) - (QSETREFV $ 13 - (SPADCALL (SPADCALL "%paren" (QREFELT $ 9)) (QREFELT $ 12))) - (QSETREFV $ 14 - (SPADCALL (SPADCALL "%box" (QREFELT $ 9)) (QREFELT $ 12))) + (|setShellEntry| $ 6 |#1|) + (|setShellEntry| $ 13 + (SPADCALL (SPADCALL "%paren" (|getShellEntry| $ 9)) + (|getShellEntry| $ 12))) + (|setShellEntry| $ 14 + (SPADCALL (SPADCALL "%box" (|getShellEntry| $ 9)) + (|getShellEntry| $ 12))) (COND ((|testBitVector| |pv$| 1) (PROGN - (QSETREFV $ 127 + (|setShellEntry| $ 129 (CONS (|dispatchFunction| |ES-;even?;SB;43|) $)) - (QSETREFV $ 129 + (|setShellEntry| $ 131 (CONS (|dispatchFunction| |ES-;odd?;SB;44|) $))))) $)))) @@ -1168,89 +1210,90 @@ Note that this code is not included in the generated catdef.spad file. (|CommonOperators|) (5 . |operator|) '|oppren| '|opbox| (|List| $) (10 . |box|) |ES-;box;2S;1| (15 . |paren|) |ES-;paren;2S;2| (|Boolean|) (20 . =) |ES-;belong?;BoB;3| - (|List| 34) (|Set| 34) (26 . |parts|) (31 . |sort!|) - (|List| 56) |ES-;tower;SL;5| (36 . |brace|) (41 . |union|) - (|Mapping| 24 24 24) (|List| 24) (47 . |reduce|) - (|Kernel| 6) (54 . |operator|) (|List| 10) + (|Kernel| 6) (|List| 23) (|Set| 23) (26 . |parts|) + (31 . |sort!|) (|Kernel| $) (|List| 28) |ES-;tower;SL;5| + (36 . |brace|) (41 . |union|) (|Mapping| 25 25 25) + (|List| 25) (47 . |reduce|) (54 . |operator|) (|List| 10) |ES-;operators;SL;7| (59 . |kernels|) (|NonNegativeInteger|) (64 . |height|) (69 . |max|) - (|Mapping| 39 39 39) (|List| 39) (75 . |reduce|) + (|Mapping| 40 40 40) (|List| 40) (75 . |reduce|) |ES-;height;SNni;8| (82 . |name|) (|List| 8) (87 . |member?|) (93 . |not|) |ES-;freeOf?;SSB;9| (98 . |is?|) |ES-;distribute;2S;10| (104 . |elt|) - |ES-;box;LS;11| |ES-;paren;LS;12| (|Kernel| $) - (110 . |retract|) (115 . |member?|) |ES-;freeOf?;2SB;13| - (121 . |kernel|) |ES-;kernel;Bo2S;14| |ES-;elt;Bo2S;15| - |ES-;elt;Bo3S;16| |ES-;elt;Bo4S;17| |ES-;elt;Bo5S;18| - (|Mapping| $ 15) (|List| 66) (127 . |eval|) - |ES-;eval;SSMS;19| (134 . |name|) |ES-;eval;SBoMS;20| - (|List| 6) (139 . |first|) (|Mapping| $ $) - |ES-;eval;SSMS;21| (144 . |eval|) |ES-;eval;SBoMS;22| - (|List| 80) (151 . |subst|) (|Equation| $) - |ES-;subst;SES;23| (|List| 74) |ES-;eval;SLLS;24| - |ES-;eval;SLLS;25| |ES-;eval;SLLS;26| (157 . |argument|) - (162 . =) (168 . |coerce|) |ES-;map;MKS;27| (173 . |is?|) - |ES-;operator;2Bo;28| (|Union| 56 '"failed") - |ES-;mainKernel;SU;29| (|Union| (|None|) '"failed") - (179 . |property|) (185 . |second|) (190 . |remove!|) - (196 . |belong?|) |ES-;kernel;BoLS;31| (201 . |height|) - (206 . |kernel|) (|Union| 39 '"failed") (213 . |arity|) - (|Union| 6 '"failed") (|BasicOperatorFunctions1| 6) - (218 . |evaluate|) |ES-;elt;BoLS;33| (224 . |mainKernel|) - (229 . =) |ES-;retract;SK;34| |ES-;retractIfCan;SU;35| - (235 . |retractIfCan|) (240 . |is?|) |ES-;is?;SSB;36| - |ES-;is?;SBoB;37| (246 . |eval|) |ES-;distribute;3S;39| - (253 . |eval|) |ES-;eval;SLS;40| (260 . |subst|) - |ES-;subst;SLS;41| (|Equation| 6) (267 . |lhs|) - (272 . |rhs|) (|Integer|) (277 . |even?|) (282 . |even?|) - (287 . |odd?|) (292 . |odd?|) (|Union| 125 '"failed") - (297 . |retractIfCan|)) - '#(|tower| 302 |subst| 307 |retractIfCan| 319 |retract| 324 - |paren| 329 |operators| 339 |operator| 344 |odd?| 349 - |map| 354 |mainKernel| 360 |kernel| 365 |is?| 377 |height| - 389 |freeOf?| 394 |even?| 406 |eval| 411 |elt| 466 - |distribute| 502 |box| 513 |belong?| 523) + |ES-;box;LS;11| |ES-;paren;LS;12| (110 . |retract|) + (115 . |member?|) |ES-;freeOf?;2SB;13| (121 . |kernel|) + |ES-;kernel;Bo2S;14| |ES-;elt;Bo2S;15| |ES-;elt;Bo3S;16| + |ES-;elt;Bo4S;17| |ES-;elt;Bo5S;18| (|Mapping| $ 15) + (|List| 66) (127 . |eval|) |ES-;eval;SSMS;19| + (134 . |name|) |ES-;eval;SBoMS;20| (|List| 6) + (139 . |first|) (|Mapping| $ $) |ES-;eval;SSMS;21| + (144 . |eval|) |ES-;eval;SBoMS;22| (|Equation| $) + (|List| 78) (151 . |subst|) |ES-;subst;SES;23| (|List| 74) + |ES-;eval;SLLS;24| |ES-;eval;SLLS;25| |ES-;eval;SLLS;26| + (157 . |argument|) (162 . =) (168 . |coerce|) + |ES-;map;MKS;27| (173 . |is?|) |ES-;operator;2Bo;28| + (|Union| 28 '"failed") |ES-;mainKernel;SU;29| (|None|) + (|Union| 94 '"failed") (179 . |property|) (185 . |second|) + (190 . |remove!|) (196 . |belong?|) |ES-;kernel;BoLS;31| + (201 . |height|) (206 . |kernel|) (|Union| 40 '"failed") + (213 . |arity|) (218 . ~=) (|Union| 6 '"failed") + (|BasicOperatorFunctions1| 6) (224 . |evaluate|) + |ES-;elt;BoLS;33| (230 . |mainKernel|) (235 . ~=) + |ES-;retract;SK;34| |ES-;retractIfCan;SU;35| + (241 . |retractIfCan|) (246 . |is?|) |ES-;is?;SSB;36| + |ES-;is?;SBoB;37| (252 . |eval|) |ES-;distribute;3S;39| + (259 . |eval|) |ES-;eval;SLS;40| (266 . |subst|) + |ES-;subst;SLS;41| (|Equation| 6) (273 . |lhs|) + (278 . |rhs|) (|Integer|) (283 . |even?|) (288 . |even?|) + (293 . |odd?|) (298 . |odd?|) (|Union| 127 '"failed") + (303 . |retractIfCan|)) + '#(|tower| 308 |subst| 313 |retractIfCan| 325 |retract| 330 + |paren| 335 |operators| 345 |operator| 350 |odd?| 355 + |map| 360 |mainKernel| 366 |kernel| 371 |is?| 383 |height| + 395 |freeOf?| 400 |even?| 412 |eval| 417 |elt| 472 + |distribute| 508 |box| 519 |belong?| 529) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 131 + (|makeByteWordVec2| 133 '(1 8 0 7 9 1 11 10 8 12 1 6 0 15 16 1 - 6 0 15 18 2 10 20 0 0 21 1 24 23 0 25 - 1 23 0 0 26 1 24 0 23 29 2 24 0 0 0 - 30 3 32 24 31 0 24 33 1 34 10 0 35 1 - 6 27 0 38 1 34 39 0 40 2 39 0 0 0 41 - 3 43 39 42 0 39 44 1 34 8 0 46 2 47 - 20 8 0 48 1 20 0 0 49 2 34 20 0 10 51 - 2 6 0 10 15 53 1 6 56 0 57 2 23 20 34 - 0 58 2 6 0 10 15 60 3 6 0 0 47 67 68 - 1 10 8 0 70 1 72 6 0 73 3 6 0 0 36 67 - 76 2 6 0 0 78 79 1 34 72 0 86 2 72 20 - 0 0 87 1 6 0 56 88 2 10 20 0 8 90 2 - 10 94 0 7 95 1 72 6 0 96 2 24 0 34 0 - 97 1 6 20 10 98 1 6 39 0 100 3 34 0 - 10 72 39 101 1 10 102 0 103 2 105 104 - 10 72 106 1 6 92 0 108 2 6 20 0 0 109 - 1 6 92 0 112 2 34 20 0 8 113 3 6 0 0 - 56 0 116 3 6 0 0 27 15 118 3 6 0 0 27 - 15 120 1 122 6 0 123 1 122 6 0 124 1 - 125 20 0 126 1 0 20 0 127 1 125 20 0 - 128 1 0 20 0 129 1 6 130 0 131 1 0 27 - 0 28 2 0 0 0 78 121 2 0 0 0 80 81 1 0 - 92 0 111 1 0 56 0 110 1 0 0 0 19 1 0 - 0 15 55 1 0 36 0 37 1 0 10 10 91 1 0 - 20 0 129 2 0 0 74 56 89 1 0 92 0 93 2 - 0 0 10 15 99 2 0 0 10 0 61 2 0 20 0 8 - 114 2 0 20 0 10 115 1 0 39 0 45 2 0 - 20 0 8 50 2 0 20 0 0 59 1 0 20 0 127 - 3 0 0 0 10 74 77 3 0 0 0 36 67 85 3 0 - 0 0 10 66 71 3 0 0 0 36 82 83 3 0 0 0 - 8 66 69 3 0 0 0 8 74 75 3 0 0 0 47 82 - 84 2 0 0 0 78 119 2 0 0 10 15 107 5 0 - 0 10 0 0 0 0 65 3 0 0 10 0 0 63 4 0 0 - 10 0 0 0 64 2 0 0 10 0 62 2 0 0 0 0 - 117 1 0 0 0 52 1 0 0 15 54 1 0 0 0 17 - 1 0 20 10 22))))) + 6 0 15 18 2 10 20 0 0 21 1 25 24 0 26 + 1 24 0 0 27 1 25 0 24 31 2 25 0 0 0 + 32 3 34 25 33 0 25 35 1 23 10 0 36 1 + 6 29 0 39 1 23 40 0 41 2 40 0 0 0 42 + 3 44 40 43 0 40 45 1 23 8 0 47 2 48 + 20 8 0 49 1 20 0 0 50 2 23 20 0 10 52 + 2 6 0 10 15 54 1 6 28 0 57 2 24 20 23 + 0 58 2 6 0 10 15 60 3 6 0 0 48 67 68 + 1 10 8 0 70 1 72 6 0 73 3 6 0 0 37 67 + 76 2 6 0 0 79 80 1 23 72 0 86 2 72 20 + 0 0 87 1 6 0 28 88 2 10 20 0 8 90 2 + 10 95 0 7 96 1 72 6 0 97 2 25 0 23 0 + 98 1 6 20 10 99 1 6 40 0 101 3 23 0 + 10 72 40 102 1 10 103 0 104 2 40 20 0 + 0 105 2 107 106 10 72 108 1 6 92 0 + 110 2 6 20 0 0 111 1 6 92 0 114 2 23 + 20 0 8 115 3 6 0 0 28 0 118 3 6 0 0 + 29 15 120 3 6 0 0 29 15 122 1 124 6 0 + 125 1 124 6 0 126 1 127 20 0 128 1 0 + 20 0 129 1 127 20 0 130 1 0 20 0 131 + 1 6 132 0 133 1 0 29 0 30 2 0 0 0 79 + 123 2 0 0 0 78 81 1 0 92 0 113 1 0 28 + 0 112 1 0 0 0 19 1 0 0 15 56 1 0 37 0 + 38 1 0 10 10 91 1 0 20 0 131 2 0 0 74 + 28 89 1 0 92 0 93 2 0 0 10 15 100 2 0 + 0 10 0 61 2 0 20 0 8 116 2 0 20 0 10 + 117 1 0 40 0 46 2 0 20 0 8 51 2 0 20 + 0 0 59 1 0 20 0 129 3 0 0 0 10 74 77 + 3 0 0 0 37 67 85 3 0 0 0 10 66 71 3 0 + 0 0 37 82 83 3 0 0 0 8 66 69 3 0 0 0 + 8 74 75 3 0 0 0 48 82 84 2 0 0 0 79 + 121 2 0 0 10 15 109 5 0 0 10 0 0 0 0 + 65 3 0 0 10 0 0 63 4 0 0 10 0 0 0 64 + 2 0 0 10 0 62 2 0 0 0 0 119 1 0 0 0 + 53 1 0 0 15 55 1 0 0 0 17 1 0 20 10 + 22))))) '|lookupComplete|)) @ \section{package ES1 ExpressionSpaceFunctions1} diff --git a/src/algebra/vector.spad.pamphlet b/src/algebra/vector.spad.pamphlet index 04833f55..481ea5cc 100644 --- a/src/algebra/vector.spad.pamphlet +++ b/src/algebra/vector.spad.pamphlet @@ -166,19 +166,142 @@ Note that this code is not included in the generated catdef.spad file. <<VECTOR.lsp BOOTSTRAP>>= -(|/VERSIONCHECK| 2) +(/VERSIONCHECK 2) -(DEFUN |VECTOR;vector;L$;1| (|l| |$|) (SPADCALL |l| (QREFELT |$| 8))) +(DEFUN |VECTOR;vector;L$;1| (|l| $) + (SPADCALL |l| (|getShellEntry| $ 8))) -(DEFUN |VECTOR;convert;$If;2| (|x| |$|) (SPADCALL (LIST (SPADCALL (SPADCALL "vector" (QREFELT |$| 12)) (QREFELT |$| 14)) (SPADCALL (SPADCALL |x| (QREFELT |$| 15)) (QREFELT |$| 16))) (QREFELT |$| 18))) +(DEFUN |VECTOR;convert;$If;2| (|x| $) + (SPADCALL + (LIST (SPADCALL (SPADCALL "vector" (|getShellEntry| $ 12)) + (|getShellEntry| $ 14)) + (SPADCALL (SPADCALL |x| (|getShellEntry| $ 15)) + (|getShellEntry| $ 16))) + (|getShellEntry| $ 18))) -(DEFUN |Vector| (#1=#:G84134) (PROG NIL (RETURN (PROG (#2=#:G84135) (RETURN (COND ((LETT #2# (|lassocShiftWithFunction| (LIST (|devaluate| #1#)) (HGET |$ConstructorCache| (QUOTE |Vector|)) (QUOTE |domainEqualList|)) |Vector|) (|CDRwithIncrement| #2#)) ((QUOTE T) (|UNWIND-PROTECT| (PROG1 (|Vector;| #1#) (LETT #2# T |Vector|)) (COND ((NOT #2#) (HREM |$ConstructorCache| (QUOTE |Vector|)))))))))))) +(DEFUN |Vector| (#0=#:G1402) + (PROG () + (RETURN + (PROG (#1=#:G1403) + (RETURN + (COND + ((LETT #1# + (|lassocShiftWithFunction| (LIST (|devaluate| #0#)) + (HGET |$ConstructorCache| '|Vector|) + '|domainEqualList|) + |Vector|) + (|CDRwithIncrement| #1#)) + ('T + (UNWIND-PROTECT + (PROG1 (|Vector;| #0#) (LETT #1# T |Vector|)) + (COND ((NOT #1#) (HREM |$ConstructorCache| '|Vector|))))))))))) -(DEFUN |Vector;| (|#1|) (PROG (|DV$1| |dv$| |$| #1=#:G84133 |pv$|) (RETURN (PROGN (LETT |DV$1| (|devaluate| |#1|) . #2=(|Vector|)) (LETT |dv$| (LIST (QUOTE |Vector|) |DV$1|) . #2#) (LETT |$| (GETREFV 36) . #2#) (QSETREFV |$| 0 |dv$|) (QSETREFV |$| 3 (LETT |pv$| (|buildPredVector| 0 0 (LIST (|HasCategory| |#1| (QUOTE (|SetCategory|))) (|HasCategory| |#1| (QUOTE (|ConvertibleTo| (|InputForm|)))) (LETT #1# (|HasCategory| |#1| (QUOTE (|OrderedSet|))) . #2#) (OR #1# (|HasCategory| |#1| (QUOTE (|SetCategory|)))) (|HasCategory| (|Integer|) (QUOTE (|OrderedSet|))) (|HasCategory| |#1| (QUOTE (|AbelianSemiGroup|))) (|HasCategory| |#1| (QUOTE (|AbelianMonoid|))) (|HasCategory| |#1| (QUOTE (|AbelianGroup|))) (|HasCategory| |#1| (QUOTE (|Monoid|))) (|HasCategory| |#1| (QUOTE (|Ring|))) (AND (|HasCategory| |#1| (QUOTE (|RadicalCategory|))) (|HasCategory| |#1| (QUOTE (|Ring|)))) (AND (|HasCategory| |#1| (LIST (QUOTE |Evalable|) (|devaluate| |#1|))) (|HasCategory| |#1| (QUOTE (|SetCategory|)))) (OR (AND (|HasCategory| |#1| (LIST (QUOTE |Evalable|) (|devaluate| |#1|))) #1#) (AND (|HasCategory| |#1| (LIST (QUOTE |Evalable|) (|devaluate| |#1|))) (|HasCategory| |#1| (QUOTE (|SetCategory|))))))) . #2#)) (|haddProp| |$ConstructorCache| (QUOTE |Vector|) (LIST |DV$1|) (CONS 1 |$|)) (|stuffDomainSlots| |$|) (QSETREFV |$| 6 |#1|) (COND ((|testBitVector| |pv$| 2) (QSETREFV |$| 19 (CONS (|dispatchFunction| |VECTOR;convert;$If;2|) |$|)))) |$|)))) +(DEFUN |Vector;| (|#1|) + (PROG (|dv$1| |dv$| $ |pv$|) + (RETURN + (PROGN + (LETT |dv$1| (|devaluate| |#1|) . #0=(|Vector|)) + (LETT |dv$| (LIST '|Vector| |dv$1|) . #0#) + (LETT $ (|newShell| 36) . #0#) + (|setShellEntry| $ 0 |dv$|) + (|setShellEntry| $ 3 + (LETT |pv$| + (|buildPredVector| 0 0 + (LIST (OR (AND (|HasCategory| |#1| + '(|OrderedSet|)) + (|HasCategory| |#1| + (LIST '|Evalable| + (|devaluate| |#1|)))) + (AND (|HasCategory| |#1| + '(|SetCategory|)) + (|HasCategory| |#1| + (LIST '|Evalable| + (|devaluate| |#1|))))) + (OR (AND (|HasCategory| |#1| + '(|SetCategory|)) + (|HasCategory| |#1| + (LIST '|Evalable| + (|devaluate| |#1|)))) + (|HasCategory| |#1| + '(|CoercibleTo| (|OutputForm|)))) + (|HasCategory| |#1| + '(|ConvertibleTo| (|InputForm|))) + (OR (|HasCategory| |#1| '(|OrderedSet|)) + (|HasCategory| |#1| '(|SetCategory|))) + (|HasCategory| |#1| '(|OrderedSet|)) + (|HasCategory| (|Integer|) '(|OrderedSet|)) + (|HasCategory| |#1| '(|SetCategory|)) + (|HasCategory| |#1| '(|AbelianSemiGroup|)) + (|HasCategory| |#1| '(|AbelianMonoid|)) + (|HasCategory| |#1| '(|AbelianGroup|)) + (|HasCategory| |#1| '(|Monoid|)) + (|HasCategory| |#1| '(|Ring|)) + (AND (|HasCategory| |#1| + '(|RadicalCategory|)) + (|HasCategory| |#1| '(|Ring|))) + (AND (|HasCategory| |#1| '(|SetCategory|)) + (|HasCategory| |#1| + (LIST '|Evalable| + (|devaluate| |#1|)))) + (|HasCategory| |#1| + '(|CoercibleTo| (|OutputForm|))))) . #0#)) + (|haddProp| |$ConstructorCache| '|Vector| (LIST |dv$1|) + (CONS 1 $)) + (|stuffDomainSlots| $) + (|setShellEntry| $ 6 |#1|) + (COND + ((|testBitVector| |pv$| 3) + (|setShellEntry| $ 19 + (CONS (|dispatchFunction| |VECTOR;convert;$If;2|) $)))) + $)))) -(MAKEPROP (QUOTE |Vector|) (QUOTE |infovec|) (LIST (QUOTE #(NIL NIL NIL NIL NIL (|IndexedVector| 6 (NRTEVAL 1)) (|local| |#1|) (|List| 6) (0 . |construct|) |VECTOR;vector;L$;1| (|String|) (|Symbol|) (5 . |coerce|) (|InputForm|) (10 . |convert|) (15 . |parts|) (20 . |convert|) (|List| |$|) (25 . |convert|) (30 . |convert|) (|Mapping| 6 6 6) (|Boolean|) (|NonNegativeInteger|) (|List| 24) (|Equation| 6) (|Integer|) (|Mapping| 21 6) (|Mapping| 21 6 6) (|UniversalSegment| 25) (|Void|) (|Mapping| 6 6) (|Matrix| 6) (|OutputForm|) (|SingleInteger|) (|Union| 6 (QUOTE "failed")) (|List| 25))) (QUOTE #(|vector| 35 |parts| 40 |convert| 45 |construct| 50)) (QUOTE ((|shallowlyMutable| . 0) (|finiteAggregate| . 0))) (CONS (|makeByteWordVec2| 13 (QUOTE (0 0 0 0 0 0 0 3 0 0 13 4 0 0 13 1 2 4))) (CONS (QUOTE #(|VectorCategory&| |OneDimensionalArrayAggregate&| |FiniteLinearAggregate&| |LinearAggregate&| |IndexedAggregate&| |Collection&| |HomogeneousAggregate&| |OrderedSet&| |Aggregate&| |EltableAggregate&| |Evalable&| |SetCategory&| NIL NIL |InnerEvalable&| NIL NIL |BasicType&|)) (CONS (QUOTE #((|VectorCategory| 6) (|OneDimensionalArrayAggregate| 6) (|FiniteLinearAggregate| 6) (|LinearAggregate| 6) (|IndexedAggregate| 25 6) (|Collection| 6) (|HomogeneousAggregate| 6) (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 25 6) (|Evalable| 6) (|SetCategory|) (|Type|) (|Eltable| 25 6) (|InnerEvalable| 6 6) (|CoercibleTo| 32) (|ConvertibleTo| 13) (|BasicType|))) (|makeByteWordVec2| 19 (QUOTE (1 0 0 7 8 1 11 0 10 12 1 13 0 11 14 1 0 7 0 15 1 7 13 0 16 1 13 0 17 18 1 0 13 0 19 1 0 0 7 9 1 0 7 0 15 1 2 13 0 19 1 0 0 7 8)))))) (QUOTE |lookupIncomplete|))) +(MAKEPROP '|Vector| '|infovec| + (LIST '#(NIL NIL NIL NIL NIL (|IndexedVector| 6 (NRTEVAL 1)) + (|local| |#1|) (|List| 6) (0 . |construct|) + |VECTOR;vector;L$;1| (|String|) (|Symbol|) (5 . |coerce|) + (|InputForm|) (10 . |convert|) (15 . |parts|) + (20 . |convert|) (|List| $) (25 . |convert|) + (30 . |convert|) (|Mapping| 6 6 6) (|Boolean|) + (|NonNegativeInteger|) (|Equation| 6) (|List| 23) + (|Integer|) (|Mapping| 21 6) (|Mapping| 21 6 6) + (|UniversalSegment| 25) (|Void|) (|Mapping| 6 6) + (|OutputForm|) (|Matrix| 6) (|SingleInteger|) + (|Union| 6 '"failed") (|List| 25)) + '#(|vector| 35 |parts| 40 |convert| 45 |construct| 50) + '((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) + (CONS (|makeByteWordVec2| 5 + '(0 0 0 0 0 0 0 5 0 0 1 4 0 0 1 2 3 4)) + (CONS '#(|VectorCategory&| + |OneDimensionalArrayAggregate&| + |FiniteLinearAggregate&| |LinearAggregate&| + |IndexedAggregate&| |Collection&| + |HomogeneousAggregate&| |OrderedSet&| + |Aggregate&| |EltableAggregate&| |Evalable&| + |SetCategory&| NIL NIL |InnerEvalable&| NIL + NIL |BasicType&|) + (CONS '#((|VectorCategory| 6) + (|OneDimensionalArrayAggregate| 6) + (|FiniteLinearAggregate| 6) + (|LinearAggregate| 6) + (|IndexedAggregate| 25 6) + (|Collection| 6) + (|HomogeneousAggregate| 6) + (|OrderedSet|) (|Aggregate|) + (|EltableAggregate| 25 6) (|Evalable| 6) + (|SetCategory|) (|Type|) + (|Eltable| 25 6) (|InnerEvalable| 6 6) + (|CoercibleTo| 31) (|ConvertibleTo| 13) + (|BasicType|)) + (|makeByteWordVec2| 19 + '(1 0 0 7 8 1 11 0 10 12 1 13 0 11 14 1 + 0 7 0 15 1 7 13 0 16 1 13 0 17 18 1 0 + 13 0 19 1 0 0 7 9 1 0 7 0 15 1 3 13 0 + 19 1 0 0 7 8))))) + '|lookupIncomplete|)) @ + \section{package VECTOR2 VectorFunctions2} + <<package VECTOR2 VectorFunctions2>>= )abbrev package VECTOR2 VectorFunctions2 ++ Author: |