diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-29 04:10:14 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-29 04:10:14 +0000 |
commit | bcf4deb1f4de85c07a6c91d2fb59a77545e317b0 (patch) | |
tree | cd63415212f1f6ae8722f1f3a09845db408961d8 /src/algebra | |
parent | 9a866efde4ed887d024c01a49b3cdde777d8deb3 (diff) | |
download | open-axiom-bcf4deb1f4de85c07a6c91d2fb59a77545e317b0.tar.gz |
* interp/compiler.boot (getSuccessEnvironment): Tidy.
(getInverseEnvironment): Likewise.
(compLogicalNot): Don't normalize to if-statement.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/strap/EUCDOM-.lsp | 159 | ||||
-rw-r--r-- | src/algebra/strap/FFIELDC-.lsp | 184 | ||||
-rw-r--r-- | src/algebra/strap/INS-.lsp | 260 | ||||
-rw-r--r-- | src/algebra/strap/ISTRING.lsp | 173 | ||||
-rw-r--r-- | src/algebra/strap/LIST.lsp | 148 | ||||
-rw-r--r-- | src/algebra/strap/LNAGG-.lsp | 44 | ||||
-rw-r--r-- | src/algebra/strap/LSAGG-.lsp | 197 | ||||
-rw-r--r-- | src/algebra/strap/NNI.lsp | 52 | ||||
-rw-r--r-- | src/algebra/strap/POLYCAT-.lsp | 431 | ||||
-rw-r--r-- | src/algebra/strap/STAGG-.lsp | 186 | ||||
-rw-r--r-- | src/algebra/strap/SYMBOL.lsp | 94 | ||||
-rw-r--r-- | src/algebra/strap/URAGG-.lsp | 207 |
12 files changed, 1067 insertions, 1068 deletions
diff --git a/src/algebra/strap/EUCDOM-.lsp b/src/algebra/strap/EUCDOM-.lsp index 7972f055..6e7b0c5f 100644 --- a/src/algebra/strap/EUCDOM-.lsp +++ b/src/algebra/strap/EUCDOM-.lsp @@ -79,7 +79,7 @@ (SEQ (PROGN (LETT |#G13| |y| |EUCDOM-;gcd;3S;5|) (LETT |#G14| - (SPADCALL |x| |y| (|getShellEntry| $ 23)) + (SPADCALL |x| |y| (|getShellEntry| $ 24)) |EUCDOM-;gcd;3S;5|) (LETT |x| |#G13| |EUCDOM-;gcd;3S;5|) (LETT |y| |#G14| |EUCDOM-;gcd;3S;5|)) @@ -94,7 +94,7 @@ (RETURN (SEQ (PROGN (LETT |#G16| - (SPADCALL (QVELT |s| 2) (|getShellEntry| $ 26)) + (SPADCALL (QVELT |s| 2) (|getShellEntry| $ 27)) |EUCDOM-;unitNormalizeIdealElt|) (LETT |u| (QVELT |#G16| 0) |EUCDOM-;unitNormalizeIdealElt|) @@ -104,12 +104,12 @@ |EUCDOM-;unitNormalizeIdealElt|) |#G16|) (EXIT (COND - ((SPADCALL |a| (|getShellEntry| $ 27)) |s|) + ((SPADCALL |a| (|getShellEntry| $ 28)) |s|) ('T (VECTOR (SPADCALL |a| (QVELT |s| 0) - (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) (SPADCALL |a| (QVELT |s| 1) - (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) |c|)))))))) (DEFUN |EUCDOM-;extendedEuclidean;2SR;7| (|x| |y| $) @@ -117,14 +117,14 @@ (RETURN (SEQ (LETT |s1| (|EUCDOM-;unitNormalizeIdealElt| - (VECTOR (|spadConstant| $ 29) + (VECTOR (|spadConstant| $ 30) (|spadConstant| $ 19) |x|) $) |EUCDOM-;extendedEuclidean;2SR;7|) (LETT |s2| (|EUCDOM-;unitNormalizeIdealElt| (VECTOR (|spadConstant| $ 19) - (|spadConstant| $ 29) |y|) + (|spadConstant| $ 30) |y|) $) |EUCDOM-;extendedEuclidean;2SR;7|) (EXIT (COND @@ -147,13 +147,13 @@ (SPADCALL (QVELT |s1| 0) (SPADCALL (QCAR |qr|) (QVELT |s2| 0) - (|getShellEntry| $ 28)) - (|getShellEntry| $ 30)) + (|getShellEntry| $ 29)) + (|getShellEntry| $ 31)) (SPADCALL (QVELT |s1| 1) (SPADCALL (QCAR |qr|) (QVELT |s2| 1) - (|getShellEntry| $ 28)) - (|getShellEntry| $ 30)) + (|getShellEntry| $ 29)) + (|getShellEntry| $ 31)) (QCDR |qr|)) |EUCDOM-;extendedEuclidean;2SR;7|) (LETT |s1| |s2| @@ -169,7 +169,7 @@ (|getShellEntry| $ 8))) (COND ((NOT (SPADCALL (QVELT |s1| 0) |y| - (|getShellEntry| $ 31))) + (|getShellEntry| $ 32))) (SEQ (LETT |qr| (SPADCALL (QVELT |s1| 0) |y| (|getShellEntry| $ 16)) @@ -178,8 +178,8 @@ (QSETVELT |s1| 1 (SPADCALL (QVELT |s1| 1) (SPADCALL (QCAR |qr|) |x| - (|getShellEntry| $ 28)) - (|getShellEntry| $ 32))) + (|getShellEntry| $ 29)) + (|getShellEntry| $ 33))) (EXIT (LETT |s1| (|EUCDOM-;unitNormalizeIdealElt| @@ -195,11 +195,11 @@ (CONS 0 (CONS (|spadConstant| $ 19) (|spadConstant| $ 19)))) ('T - (SEQ (LETT |s| (SPADCALL |x| |y| (|getShellEntry| $ 35)) + (SEQ (LETT |s| (SPADCALL |x| |y| (|getShellEntry| $ 36)) |EUCDOM-;extendedEuclidean;3SU;8|) (LETT |w| (SPADCALL |z| (QVELT |s| 2) - (|getShellEntry| $ 36)) + (|getShellEntry| $ 37)) |EUCDOM-;extendedEuclidean;3SU;8|) (EXIT (COND ((QEQCAR |w| 1) (CONS 1 "failed")) @@ -207,16 +207,16 @@ (CONS 0 (CONS (SPADCALL (QVELT |s| 0) (QCDR |w|) - (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) (SPADCALL (QVELT |s| 1) (QCDR |w|) - (|getShellEntry| $ 28))))) + (|getShellEntry| $ 29))))) ('T (SEQ (LETT |qr| (SPADCALL (SPADCALL (QVELT |s| 0) (QCDR |w|) - (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) |y| (|getShellEntry| $ 16)) |EUCDOM-;extendedEuclidean;3SU;8|) (EXIT (CONS 0 @@ -224,38 +224,38 @@ (SPADCALL (SPADCALL (QVELT |s| 1) (QCDR |w|) - (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) (SPADCALL (QCAR |qr|) |x| - (|getShellEntry| $ 28)) - (|getShellEntry| $ 32)))))))))))))))) + (|getShellEntry| $ 29)) + (|getShellEntry| $ 33)))))))))))))))) (DEFUN |EUCDOM-;principalIdeal;LR;9| (|l| $) (PROG (|uca| |v| |u| #0=#:G1519 |vv| #1=#:G1520) (RETURN (SEQ (COND - ((SPADCALL |l| NIL (|getShellEntry| $ 41)) + ((SPADCALL |l| NIL (|getShellEntry| $ 42)) (|error| "empty list passed to principalIdeal")) - ((SPADCALL (CDR |l|) NIL (|getShellEntry| $ 41)) + ((SPADCALL (CDR |l|) NIL (|getShellEntry| $ 42)) (SEQ (LETT |uca| (SPADCALL (|SPADfirst| |l|) - (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) |EUCDOM-;principalIdeal;LR;9|) (EXIT (CONS (LIST (QVELT |uca| 0)) (QVELT |uca| 1))))) - ((SPADCALL (CDR (CDR |l|)) NIL (|getShellEntry| $ 41)) + ((SPADCALL (CDR (CDR |l|)) NIL (|getShellEntry| $ 42)) (SEQ (LETT |u| (SPADCALL (|SPADfirst| |l|) - (SPADCALL |l| (|getShellEntry| $ 44)) - (|getShellEntry| $ 35)) + (SPADCALL |l| (|getShellEntry| $ 45)) + (|getShellEntry| $ 36)) |EUCDOM-;principalIdeal;LR;9|) (EXIT (CONS (LIST (QVELT |u| 0) (QVELT |u| 1)) (QVELT |u| 2))))) ('T (SEQ (LETT |v| - (SPADCALL (CDR |l|) (|getShellEntry| $ 47)) + (SPADCALL (CDR |l|) (|getShellEntry| $ 48)) |EUCDOM-;principalIdeal;LR;9|) (LETT |u| (SPADCALL (|SPADfirst| |l|) (QCDR |v|) - (|getShellEntry| $ 35)) + (|getShellEntry| $ 36)) |EUCDOM-;principalIdeal;LR;9|) (EXIT (CONS (CONS (QVELT |u| 0) (PROGN @@ -280,7 +280,7 @@ (CONS (SPADCALL (QVELT |u| 1) |vv| - (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) #0#) |EUCDOM-;principalIdeal;LR;9|))) (LETT #1# (CDR #1#) @@ -294,7 +294,7 @@ (RETURN (SEQ (COND ((SPADCALL |z| (|spadConstant| $ 19) - (|getShellEntry| $ 50)) + (|getShellEntry| $ 51)) (CONS 0 (PROGN (LETT #0# NIL @@ -318,11 +318,11 @@ |EUCDOM-;expressIdealMember;LSU;10|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))))) ('T - (SEQ (LETT |pid| (SPADCALL |l| (|getShellEntry| $ 47)) + (SEQ (LETT |pid| (SPADCALL |l| (|getShellEntry| $ 48)) |EUCDOM-;expressIdealMember;LSU;10|) (LETT |q| (SPADCALL |z| (QCDR |pid|) - (|getShellEntry| $ 36)) + (|getShellEntry| $ 37)) |EUCDOM-;expressIdealMember;LSU;10|) (EXIT (COND ((QEQCAR |q| 1) (CONS 1 "failed")) @@ -349,7 +349,7 @@ (LETT #2# (CONS (SPADCALL (QCDR |q|) |v| - (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) #2#) |EUCDOM-;expressIdealMember;LSU;10|))) (LETT #3# (CDR #3#) @@ -369,11 +369,11 @@ ((EQL |n| 1) (CONS 0 (LIST |z|))) ('T (SEQ (LETT |l1| - (SPADCALL |l| (|getShellEntry| $ 57)) + (SPADCALL |l| (|getShellEntry| $ 58)) |EUCDOM-;multiEuclidean;LSU;11|) (LETT |l2| (SPADCALL |l1| (QUOTIENT2 |n| 2) - (|getShellEntry| $ 60)) + (|getShellEntry| $ 61)) |EUCDOM-;multiEuclidean;LSU;11|) (LETT |u| (SPADCALL @@ -402,7 +402,7 @@ (#4# (LETT #3# (SPADCALL #3# #2# - (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) |EUCDOM-;multiEuclidean;LSU;11|)) ('T (PROGN @@ -415,7 +415,7 @@ (GO G190) G191 (EXIT NIL)) (COND (#4# #3#) - ('T (|spadConstant| $ 29)))) + ('T (|spadConstant| $ 30)))) (PROGN (LETT #9# NIL |EUCDOM-;multiEuclidean;LSU;11|) @@ -441,7 +441,7 @@ (#9# (LETT #8# (SPADCALL #8# #7# - (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) |EUCDOM-;multiEuclidean;LSU;11|)) ('T (PROGN @@ -454,8 +454,8 @@ (GO G190) G191 (EXIT NIL)) (COND (#9# #8#) - ('T (|spadConstant| $ 29)))) - |z| (|getShellEntry| $ 61)) + ('T (|spadConstant| $ 30)))) + |z| (|getShellEntry| $ 62)) |EUCDOM-;multiEuclidean;LSU;11|) (EXIT (COND ((QEQCAR |u| 1) (CONS 1 "failed")) @@ -463,7 +463,7 @@ (SEQ (LETT |v1| (SPADCALL |l1| (QCDR (QCDR |u|)) - (|getShellEntry| $ 62)) + (|getShellEntry| $ 63)) |EUCDOM-;multiEuclidean;LSU;11|) (EXIT (COND @@ -474,7 +474,7 @@ (LETT |v2| (SPADCALL |l2| (QCAR (QCDR |u|)) - (|getShellEntry| $ 62)) + (|getShellEntry| $ 63)) |EUCDOM-;multiEuclidean;LSU;11|) (EXIT (COND @@ -485,7 +485,7 @@ (SPADCALL (QCDR |v1|) (QCDR |v2|) (|getShellEntry| $ - 63)))))))))))))))))))))) + 64)))))))))))))))))))))) (DEFUN |EuclideanDomain&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) @@ -493,7 +493,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|EuclideanDomain&|)) (LETT |dv$| (LIST '|EuclideanDomain&| |dv$1|) . #0#) - (LETT $ (|newShell| 65) . #0#) + (LETT $ (|newShell| 66) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -509,49 +509,50 @@ (|Record| (|:| |quotient| $) (|:| |remainder| $)) (24 . |divide|) |EUCDOM-;quo;3S;2| |EUCDOM-;rem;3S;3| (30 . |Zero|) (|Union| $ '"failed") |EUCDOM-;exquo;2SU;4| - (34 . |unitCanonical|) (39 . |rem|) |EUCDOM-;gcd;3S;5| + (34 . |unitCanonical|) (39 . |not|) (44 . |rem|) + |EUCDOM-;gcd;3S;5| (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $)) - (45 . |unitNormal|) (50 . |one?|) (55 . *) (61 . |One|) - (65 . -) (71 . |sizeLess?|) (77 . +) + (50 . |unitNormal|) (55 . |one?|) (60 . *) (66 . |One|) + (70 . -) (76 . |sizeLess?|) (82 . +) (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) |EUCDOM-;extendedEuclidean;2SR;7| - (83 . |extendedEuclidean|) (89 . |exquo|) + (88 . |extendedEuclidean|) (94 . |exquo|) (|Record| (|:| |coef1| $) (|:| |coef2| $)) - (|Union| 37 '"failed") |EUCDOM-;extendedEuclidean;3SU;8| - (|List| 6) (95 . =) (101 . |rest|) (106 . |first|) - (111 . |second|) (|List| $) - (|Record| (|:| |coef| 45) (|:| |generator| $)) - (116 . |principalIdeal|) (121 . |cons|) - |EUCDOM-;principalIdeal;LR;9| (127 . =) - (|Union| 45 '"failed") |EUCDOM-;expressIdealMember;LSU;10| - (133 . |#|) (138 . |zero?|) (143 . |One|) (147 . =) - (153 . |copy|) (158 . |quo|) (|Integer|) (164 . |split!|) - (170 . |extendedEuclidean|) (177 . |multiEuclidean|) - (183 . |concat|) |EUCDOM-;multiEuclidean;LSU;11|) - '#(|sizeLess?| 189 |rem| 195 |quo| 201 |principalIdeal| 207 - |multiEuclidean| 212 |gcd| 218 |extendedEuclidean| 224 - |exquo| 237 |expressIdealMember| 243) + (|Union| 38 '"failed") |EUCDOM-;extendedEuclidean;3SU;8| + (|List| 6) (100 . =) (106 . |rest|) (111 . |first|) + (116 . |second|) (|List| $) + (|Record| (|:| |coef| 46) (|:| |generator| $)) + (121 . |principalIdeal|) (126 . |cons|) + |EUCDOM-;principalIdeal;LR;9| (132 . =) + (|Union| 46 '"failed") |EUCDOM-;expressIdealMember;LSU;10| + (138 . |#|) (143 . |zero?|) (148 . |One|) (152 . =) + (158 . |copy|) (163 . |quo|) (|Integer|) (169 . |split!|) + (175 . |extendedEuclidean|) (182 . |multiEuclidean|) + (188 . |concat|) |EUCDOM-;multiEuclidean;LSU;11|) + '#(|sizeLess?| 194 |rem| 200 |quo| 206 |principalIdeal| 212 + |multiEuclidean| 217 |gcd| 223 |extendedEuclidean| 229 + |exquo| 242 |expressIdealMember| 248) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 64 + (|makeByteWordVec2| 65 '(1 6 7 0 8 0 7 0 9 0 7 0 10 1 6 11 0 12 2 11 7 0 0 13 2 6 15 0 0 16 0 6 0 - 19 1 6 0 0 22 2 6 0 0 0 23 1 6 25 0 - 26 1 6 7 0 27 2 6 0 0 0 28 0 6 0 29 2 - 6 0 0 0 30 2 6 7 0 0 31 2 6 0 0 0 32 - 2 6 33 0 0 35 2 6 20 0 0 36 2 40 7 0 - 0 41 1 40 0 0 42 1 40 6 0 43 1 40 6 0 - 44 1 6 46 45 47 2 40 0 6 0 48 2 6 7 0 - 0 50 1 40 11 0 53 1 11 7 0 54 0 11 0 - 55 2 11 7 0 0 56 1 40 0 0 57 2 11 0 0 - 0 58 2 40 0 0 59 60 3 6 38 0 0 0 61 2 - 6 51 45 0 62 2 40 0 0 0 63 2 0 7 0 0 - 14 2 0 0 0 0 18 2 0 0 0 0 17 1 0 46 - 45 49 2 0 51 45 0 64 2 0 0 0 0 24 3 0 - 38 0 0 0 39 2 0 33 0 0 34 2 0 20 0 0 - 21 2 0 51 45 0 52))))) + 19 1 6 0 0 22 1 7 0 0 23 2 6 0 0 0 24 + 1 6 26 0 27 1 6 7 0 28 2 6 0 0 0 29 0 + 6 0 30 2 6 0 0 0 31 2 6 7 0 0 32 2 6 + 0 0 0 33 2 6 34 0 0 36 2 6 20 0 0 37 + 2 41 7 0 0 42 1 41 0 0 43 1 41 6 0 44 + 1 41 6 0 45 1 6 47 46 48 2 41 0 6 0 + 49 2 6 7 0 0 51 1 41 11 0 54 1 11 7 0 + 55 0 11 0 56 2 11 7 0 0 57 1 41 0 0 + 58 2 11 0 0 0 59 2 41 0 0 60 61 3 6 + 39 0 0 0 62 2 6 52 46 0 63 2 41 0 0 0 + 64 2 0 7 0 0 14 2 0 0 0 0 18 2 0 0 0 + 0 17 1 0 47 46 50 2 0 52 46 0 65 2 0 + 0 0 0 25 3 0 39 0 0 0 40 2 0 34 0 0 + 35 2 0 20 0 0 21 2 0 52 46 0 53))))) '|lookupComplete|)) diff --git a/src/algebra/strap/FFIELDC-.lsp b/src/algebra/strap/FFIELDC-.lsp index 826615e8..f29249fc 100644 --- a/src/algebra/strap/FFIELDC-.lsp +++ b/src/algebra/strap/FFIELDC-.lsp @@ -129,7 +129,7 @@ (SEQ (COND ((SPADCALL |a| (|getShellEntry| $ 16)) 'NIL) ('T - (SEQ (LETT |explist| (SPADCALL (|getShellEntry| $ 56)) + (SEQ (LETT |explist| (SPADCALL (|getShellEntry| $ 57)) |FFIELDC-;primitive?;SB;9|) (LETT |q| (- 2 1) |FFIELDC-;primitive?;SB;9|) (LETT |equalone| 'NIL |FFIELDC-;primitive?;SB;9|) @@ -148,8 +148,8 @@ (SPADCALL (SPADCALL |a| (QUOTIENT2 |q| (QCAR |exp|)) - (|getShellEntry| $ 58)) - (|getShellEntry| $ 59)) + (|getShellEntry| $ 59)) + (|getShellEntry| $ 60)) |FFIELDC-;primitive?;SB;9|))) (LETT #0# (CDR #0#) |FFIELDC-;primitive?;SB;9|) (GO G190) G191 (EXIT NIL)) @@ -161,12 +161,12 @@ (RETURN (SEQ (COND ((SPADCALL |e| (|spadConstant| $ 7) - (|getShellEntry| $ 63)) + (|getShellEntry| $ 64)) (|error| "order(0) is not defined ")) ('T (SEQ (LETT |ord| (- 2 1) |FFIELDC-;order;SPi;10|) (LETT |a| 0 |FFIELDC-;order;SPi;10|) - (LETT |lof| (SPADCALL (|getShellEntry| $ 56)) + (LETT |lof| (SPADCALL (|getShellEntry| $ 57)) |FFIELDC-;order;SPi;10|) (SEQ (LETT |rec| NIL |FFIELDC-;order;SPi;10|) (LETT #0# |lof| |FFIELDC-;order;SPi;10|) G190 @@ -185,8 +185,8 @@ (LETT |goon| (SPADCALL (SPADCALL |e| |a| - (|getShellEntry| $ 58)) - (|getShellEntry| $ 59)) + (|getShellEntry| $ 59)) + (|getShellEntry| $ 60)) |FFIELDC-;order;SPi;10|) (SEQ (LETT |j| 0 |FFIELDC-;order;SPi;10|) (LETT #1# (- (QCDR |rec|) 2) @@ -206,8 +206,8 @@ (LETT |goon| (SPADCALL (SPADCALL |e| |a| - (|getShellEntry| $ 58)) - (|getShellEntry| $ 59)) + (|getShellEntry| $ 59)) + (|getShellEntry| $ 60)) |FFIELDC-;order;SPi;10|))) (LETT |j| (QSADD1 |j|) |FFIELDC-;order;SPi;10|) @@ -229,13 +229,13 @@ ((SPADCALL |b| (|getShellEntry| $ 16)) (|error| "discreteLog: logarithm of zero")) ('T - (SEQ (LETT |faclist| (SPADCALL (|getShellEntry| $ 56)) + (SEQ (LETT |faclist| (SPADCALL (|getShellEntry| $ 57)) |FFIELDC-;discreteLog;SNni;11|) (LETT |a| |b| |FFIELDC-;discreteLog;SNni;11|) - (LETT |gen| (SPADCALL (|getShellEntry| $ 67)) + (LETT |gen| (SPADCALL (|getShellEntry| $ 68)) |FFIELDC-;discreteLog;SNni;11|) (EXIT (COND - ((SPADCALL |b| |gen| (|getShellEntry| $ 63)) + ((SPADCALL |b| |gen| (|getShellEntry| $ 64)) 1) ('T (SEQ (LETT |disclog| 0 @@ -277,15 +277,15 @@ |FFIELDC-;discreteLog;SNni;11|) (LETT |exptable| (SPADCALL |fac| - (|getShellEntry| $ 69)) + (|getShellEntry| $ 70)) |FFIELDC-;discreteLog;SNni;11|) (LETT |n| (SPADCALL |exptable| - (|getShellEntry| $ 70)) + (|getShellEntry| $ 71)) |FFIELDC-;discreteLog;SNni;11|) (LETT |c| (SPADCALL |a| |exp| - (|getShellEntry| $ 58)) + (|getShellEntry| $ 59)) |FFIELDC-;discreteLog;SNni;11|) (LETT |end| (QUOTIENT2 (- |fac| 1) |n|) @@ -309,7 +309,7 @@ (SPADCALL |c| (|getShellEntry| $ 11)) |exptable| - (|getShellEntry| $ 73)) + (|getShellEntry| $ 74)) |FFIELDC-;discreteLog;SNni;11|) (EXIT (COND @@ -333,9 +333,9 @@ |groupord| |fac|) (- |n|)) (|getShellEntry| $ - 58)) + 59)) (|getShellEntry| $ - 79)) + 80)) |FFIELDC-;discreteLog;SNni;11|))))) (LETT |i| (QSADD1 |i|) |FFIELDC-;discreteLog;SNni;11|) @@ -356,9 +356,9 @@ (SPADCALL |gen| (- |disc1|) (|getShellEntry| $ - 58)) + 59)) (|getShellEntry| $ - 79)) + 80)) |FFIELDC-;discreteLog;SNni;11|)))) ('T (|error| @@ -379,14 +379,14 @@ (SEQ (EXIT (COND ((SPADCALL |b| (|getShellEntry| $ 16)) (SEQ (SPADCALL "discreteLog: logarithm of zero" - (|getShellEntry| $ 85)) + (|getShellEntry| $ 86)) (EXIT (CONS 1 "failed")))) ((SPADCALL |logbase| (|getShellEntry| $ 16)) (SEQ (SPADCALL "discreteLog: logarithm to base zero" - (|getShellEntry| $ 85)) + (|getShellEntry| $ 86)) (EXIT (CONS 1 "failed")))) - ((SPADCALL |b| |logbase| (|getShellEntry| $ 63)) + ((SPADCALL |b| |logbase| (|getShellEntry| $ 64)) (CONS 0 1)) ('T (COND @@ -399,14 +399,14 @@ (|getShellEntry| $ 19))))) (SEQ (SPADCALL "discreteLog: second argument not in cyclic group generated by first argument" - (|getShellEntry| $ 85)) + (|getShellEntry| $ 86)) (EXIT (CONS 1 "failed")))) ('T (SEQ (LETT |faclist| (SPADCALL (SPADCALL |groupord| - (|getShellEntry| $ 89)) - (|getShellEntry| $ 91)) + (|getShellEntry| $ 90)) + (|getShellEntry| $ 92)) |FFIELDC-;discreteLog;2SU;12|) (LETT |a| |b| |FFIELDC-;discreteLog;2SU;12|) @@ -433,7 +433,7 @@ (LETT |primroot| (SPADCALL |logbase| (QUOTIENT2 |groupord| |fac|) - (|getShellEntry| $ 58)) + (|getShellEntry| $ 59)) |FFIELDC-;discreteLog;2SU;12|) (EXIT (SEQ @@ -452,9 +452,9 @@ (LETT |rhoHelp| (SPADCALL |primroot| (SPADCALL |a| |exp| - (|getShellEntry| $ 58)) + (|getShellEntry| $ 59)) |fac| - (|getShellEntry| $ 93)) + (|getShellEntry| $ 94)) |FFIELDC-;discreteLog;2SU;12|) (EXIT (COND @@ -482,8 +482,8 @@ (SPADCALL |logbase| (- |rho|) (|getShellEntry| $ - 58)) - (|getShellEntry| $ 79)) + 59)) + (|getShellEntry| $ 80)) |FFIELDC-;discreteLog;2SU;12|))))))) (LETT |t| (QSADD1 |t|) |FFIELDC-;discreteLog;2SU;12|) @@ -495,25 +495,25 @@ #2# (EXIT #2#))))) (DEFUN |FFIELDC-;squareFreePolynomial| (|f| $) - (SPADCALL |f| (|getShellEntry| $ 98))) + (SPADCALL |f| (|getShellEntry| $ 99))) (DEFUN |FFIELDC-;factorPolynomial| (|f| $) - (SPADCALL |f| (|getShellEntry| $ 100))) + (SPADCALL |f| (|getShellEntry| $ 101))) (DEFUN |FFIELDC-;factorSquareFreePolynomial| (|f| $) (PROG (|flist| |u| #0=#:G1521 #1=#:G1510 #2=#:G1508 #3=#:G1509) (RETURN (SEQ (COND - ((SPADCALL |f| (|spadConstant| $ 101) - (|getShellEntry| $ 102)) - (|spadConstant| $ 103)) + ((SPADCALL |f| (|spadConstant| $ 102) + (|getShellEntry| $ 103)) + (|spadConstant| $ 104)) ('T (SEQ (LETT |flist| - (SPADCALL |f| 'T (|getShellEntry| $ 107)) + (SPADCALL |f| 'T (|getShellEntry| $ 108)) |FFIELDC-;factorSquareFreePolynomial|) (EXIT (SPADCALL (SPADCALL (QCAR |flist|) - (|getShellEntry| $ 108)) + (|getShellEntry| $ 109)) (PROGN (LETT #3# NIL |FFIELDC-;factorSquareFreePolynomial|) @@ -535,13 +535,13 @@ (LETT #1# (SPADCALL (QCAR |u|) (QCDR |u|) - (|getShellEntry| $ 109)) + (|getShellEntry| $ 110)) |FFIELDC-;factorSquareFreePolynomial|) (COND (#3# (LETT #2# (SPADCALL #2# #1# - (|getShellEntry| $ 110)) + (|getShellEntry| $ 111)) |FFIELDC-;factorSquareFreePolynomial|)) ('T (PROGN @@ -554,11 +554,11 @@ (GO G190) G191 (EXIT NIL)) (COND (#3# #2#) - ('T (|spadConstant| $ 111)))) - (|getShellEntry| $ 112)))))))))) + ('T (|spadConstant| $ 112)))) + (|getShellEntry| $ 113)))))))))) (DEFUN |FFIELDC-;gcdPolynomial;3Sup;16| (|f| |g| $) - (SPADCALL |f| |g| (|getShellEntry| $ 114))) + (SPADCALL |f| |g| (|getShellEntry| $ 115))) (DEFUN |FiniteFieldCategory&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) @@ -566,7 +566,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|FiniteFieldCategory&|)) (LETT |dv$| (LIST '|FiniteFieldCategory&| |dv$1|) . #0#) - (LETT $ (|newShell| 117) . #0#) + (LETT $ (|newShell| 118) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -593,43 +593,44 @@ (91 . |size|) (95 . -) (|Union| '"prime" '"polynomial" '"normal" '"cyclic") (101 . |representationType|) (105 . =) (111 . |false|) - (115 . =) |FFIELDC-;createPrimitiveElement;S;8| + (115 . |not|) (120 . =) + |FFIELDC-;createPrimitiveElement;S;8| (|Record| (|:| |factor| 20) (|:| |exponent| 20)) - (|List| 54) (121 . |factorsOfCyclicGroupSize|) - (125 . |quo|) (131 . **) (137 . |one?|) - |FFIELDC-;primitive?;SB;9| (142 . |Zero|) (146 . |Zero|) - (150 . =) (|SingleInteger|) (156 . |Zero|) - |FFIELDC-;order;SPi;10| (160 . |primitiveElement|) - (|Table| 10 39) (164 . |tableForDiscreteLogarithm|) - (169 . |#|) (174 . |One|) (|Union| 39 '"failed") - (178 . |search|) (184 . |true|) (188 . *) (194 . +) - (200 . *) (206 . -) (211 . *) (217 . +) + (|List| 55) (126 . |factorsOfCyclicGroupSize|) + (130 . |quo|) (136 . **) (142 . |one?|) + |FFIELDC-;primitive?;SB;9| (147 . |Zero|) (151 . |Zero|) + (155 . =) (|SingleInteger|) (161 . |Zero|) + |FFIELDC-;order;SPi;10| (165 . |primitiveElement|) + (|Table| 10 39) (169 . |tableForDiscreteLogarithm|) + (174 . |#|) (179 . |One|) (|Union| 39 '"failed") + (183 . |search|) (189 . |true|) (193 . *) (199 . +) + (205 . *) (211 . -) (216 . *) (222 . +) |FFIELDC-;discreteLog;SNni;11| (|Void|) (|String|) - (|OutputForm|) (223 . |messagePrint|) (228 . |rem|) - (234 . |zero?|) (|Factored| $) (239 . |factor|) - (|Factored| 20) (244 . |factors|) + (|OutputForm|) (228 . |messagePrint|) (233 . |rem|) + (239 . |zero?|) (|Factored| $) (244 . |factor|) + (|Factored| 20) (249 . |factors|) (|DiscreteLogarithmPackage| 6) - (249 . |shanksDiscLogAlgorithm|) + (254 . |shanksDiscLogAlgorithm|) |FFIELDC-;discreteLog;2SU;12| - (|SparseUnivariatePolynomial| 6) (|Factored| 95) - (|UnivariatePolynomialSquareFree| 6 95) - (256 . |squareFree|) (|DistinctDegreeFactorize| 6 95) - (261 . |factor|) (266 . |Zero|) (270 . =) (276 . |Zero|) - (|Record| (|:| |irr| 95) (|:| |pow| 20)) (|List| 104) - (|Record| (|:| |cont| 6) (|:| |factors| 105)) - (280 . |distdfact|) (286 . |coerce|) (291 . |primeFactor|) - (297 . *) (303 . |One|) (307 . *) (|EuclideanDomain&| 95) - (313 . |gcd|) (|SparseUnivariatePolynomial| $) + (|SparseUnivariatePolynomial| 6) (|Factored| 96) + (|UnivariatePolynomialSquareFree| 6 96) + (261 . |squareFree|) (|DistinctDegreeFactorize| 6 96) + (266 . |factor|) (271 . |Zero|) (275 . =) (281 . |Zero|) + (|Record| (|:| |irr| 96) (|:| |pow| 20)) (|List| 105) + (|Record| (|:| |cont| 6) (|:| |factors| 106)) + (285 . |distdfact|) (291 . |coerce|) (296 . |primeFactor|) + (302 . *) (308 . |One|) (312 . *) (|EuclideanDomain&| 96) + (318 . |gcd|) (|SparseUnivariatePolynomial| $) |FFIELDC-;gcdPolynomial;3Sup;16|) - '#(|primitive?| 319 |order| 324 |nextItem| 334 |init| 339 - |gcdPolynomial| 343 |discreteLog| 349 |differentiate| 360 - |createPrimitiveElement| 365 |conditionP| 369 |charthRoot| - 374) + '#(|primitive?| 324 |order| 329 |nextItem| 339 |init| 344 + |gcdPolynomial| 348 |discreteLog| 354 |differentiate| 365 + |createPrimitiveElement| 370 |conditionP| 374 |charthRoot| + 379) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 116 + (|makeByteWordVec2| 117 '(0 6 0 7 1 6 10 0 11 0 10 0 12 2 10 0 0 0 13 1 6 0 10 14 1 6 15 0 16 1 6 10 0 19 1 21 0 20 22 1 26 25 0 27 1 25 @@ -637,23 +638,24 @@ 1 6 0 0 32 2 24 0 33 0 34 0 15 39 40 0 20 39 41 2 39 0 0 0 42 2 6 0 0 39 43 0 6 39 46 2 20 0 0 0 47 0 6 48 49 - 2 48 15 0 0 50 0 15 0 51 2 10 15 0 0 - 52 0 6 55 56 2 20 0 0 0 57 2 6 0 0 20 - 58 1 6 15 0 59 0 39 0 61 0 20 0 62 2 - 6 15 0 0 63 0 64 0 65 0 6 0 67 1 6 68 - 20 69 1 68 39 0 70 0 39 0 71 2 68 72 - 10 0 73 0 15 0 74 2 39 0 39 0 75 2 39 - 0 0 0 76 2 20 0 20 0 77 1 20 0 0 78 2 - 6 0 0 0 79 2 20 0 0 0 80 1 84 82 83 - 85 2 39 0 0 0 86 1 39 15 0 87 1 20 88 - 0 89 1 90 55 0 91 3 92 72 6 6 39 93 1 - 97 96 95 98 1 99 96 95 100 0 95 0 101 - 2 95 15 0 0 102 0 96 0 103 2 99 106 - 95 15 107 1 95 0 6 108 2 96 0 95 20 - 109 2 96 0 0 0 110 0 96 0 111 2 96 0 - 95 0 112 2 113 0 0 0 114 1 0 15 0 60 - 1 0 10 0 66 1 0 21 0 23 1 0 17 0 18 0 - 0 0 9 2 0 115 115 115 116 1 0 39 0 81 - 2 0 72 0 0 94 1 0 0 0 8 0 0 0 53 1 0 - 36 37 38 1 0 0 0 44 1 0 17 0 45))))) + 2 48 15 0 0 50 0 15 0 51 1 15 0 0 52 + 2 10 15 0 0 53 0 6 56 57 2 20 0 0 0 + 58 2 6 0 0 20 59 1 6 15 0 60 0 39 0 + 62 0 20 0 63 2 6 15 0 0 64 0 65 0 66 + 0 6 0 68 1 6 69 20 70 1 69 39 0 71 0 + 39 0 72 2 69 73 10 0 74 0 15 0 75 2 + 39 0 39 0 76 2 39 0 0 0 77 2 20 0 20 + 0 78 1 20 0 0 79 2 6 0 0 0 80 2 20 0 + 0 0 81 1 85 83 84 86 2 39 0 0 0 87 1 + 39 15 0 88 1 20 89 0 90 1 91 56 0 92 + 3 93 73 6 6 39 94 1 98 97 96 99 1 100 + 97 96 101 0 96 0 102 2 96 15 0 0 103 + 0 97 0 104 2 100 107 96 15 108 1 96 0 + 6 109 2 97 0 96 20 110 2 97 0 0 0 111 + 0 97 0 112 2 97 0 96 0 113 2 114 0 0 + 0 115 1 0 15 0 61 1 0 10 0 67 1 0 21 + 0 23 1 0 17 0 18 0 0 0 9 2 0 116 116 + 116 117 1 0 39 0 82 2 0 73 0 0 95 1 0 + 0 0 8 0 0 0 54 1 0 36 37 38 1 0 0 0 + 44 1 0 17 0 45))))) '|lookupComplete|)) diff --git a/src/algebra/strap/INS-.lsp b/src/algebra/strap/INS-.lsp index 2ac58e9a..ff98f1df 100644 --- a/src/algebra/strap/INS-.lsp +++ b/src/algebra/strap/INS-.lsp @@ -103,19 +103,19 @@ (NOT (SPADCALL |x| (|getShellEntry| $ 13)))) (DEFUN |INS-;positive?;SB;4| (|x| $) - (SPADCALL (|spadConstant| $ 10) |x| (|getShellEntry| $ 15))) + (SPADCALL (|spadConstant| $ 10) |x| (|getShellEntry| $ 16))) (DEFUN |INS-;copy;2S;5| (|x| $) (DECLARE (IGNORE $)) |x|) (DEFUN |INS-;bit?;2SB;6| (|x| |i| $) (SPADCALL - (SPADCALL |x| (SPADCALL |i| (|getShellEntry| $ 18)) - (|getShellEntry| $ 19)) + (SPADCALL |x| (SPADCALL |i| (|getShellEntry| $ 19)) + (|getShellEntry| $ 20)) (|getShellEntry| $ 13))) (DEFUN |INS-;mask;2S;7| (|n| $) - (SPADCALL (SPADCALL (|spadConstant| $ 21) |n| (|getShellEntry| $ 19)) - (|getShellEntry| $ 22))) + (SPADCALL (SPADCALL (|spadConstant| $ 22) |n| (|getShellEntry| $ 20)) + (|getShellEntry| $ 23))) (DEFUN |INS-;rational?;SB;8| (|x| $) (DECLARE (IGNORE $)) 'T) @@ -123,148 +123,148 @@ (PROG (#0=#:G1426 #1=#:G1427) (RETURN (COND - ((SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 26)) + ((SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 27)) (|error| "euclideanSize called on zero")) - ((SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 15)) - (PROG1 (LETT #0# (- (SPADCALL |x| (|getShellEntry| $ 28))) + ((SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 16)) + (PROG1 (LETT #0# (- (SPADCALL |x| (|getShellEntry| $ 29))) |INS-;euclideanSize;SNni;9|) (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#))) ('T - (PROG1 (LETT #1# (SPADCALL |x| (|getShellEntry| $ 28)) + (PROG1 (LETT #1# (SPADCALL |x| (|getShellEntry| $ 29)) |INS-;euclideanSize;SNni;9|) (|check-subtype| (COND ((< #1# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #1#))))))) (DEFUN |INS-;convert;SF;10| (|x| $) - (SPADCALL (SPADCALL |x| (|getShellEntry| $ 28)) - (|getShellEntry| $ 32))) + (SPADCALL (SPADCALL |x| (|getShellEntry| $ 29)) + (|getShellEntry| $ 33))) (DEFUN |INS-;convert;SDf;11| (|x| $) - (FLOAT (SPADCALL |x| (|getShellEntry| $ 28)) |$DoubleFloatMaximum|)) + (FLOAT (SPADCALL |x| (|getShellEntry| $ 29)) |$DoubleFloatMaximum|)) (DEFUN |INS-;convert;SIf;12| (|x| $) - (SPADCALL (SPADCALL |x| (|getShellEntry| $ 28)) - (|getShellEntry| $ 38))) + (SPADCALL (SPADCALL |x| (|getShellEntry| $ 29)) + (|getShellEntry| $ 39))) (DEFUN |INS-;retract;SI;13| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 28))) + (SPADCALL |x| (|getShellEntry| $ 29))) (DEFUN |INS-;convert;SP;14| (|x| $) - (SPADCALL (SPADCALL |x| (|getShellEntry| $ 28)) - (|getShellEntry| $ 42))) + (SPADCALL (SPADCALL |x| (|getShellEntry| $ 29)) + (|getShellEntry| $ 43))) (DEFUN |INS-;factor;SF;15| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 46))) + (SPADCALL |x| (|getShellEntry| $ 47))) (DEFUN |INS-;squareFree;SF;16| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 49))) + (SPADCALL |x| (|getShellEntry| $ 50))) (DEFUN |INS-;prime?;SB;17| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 52))) + (SPADCALL |x| (|getShellEntry| $ 53))) (DEFUN |INS-;factorial;2S;18| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 55))) + (SPADCALL |x| (|getShellEntry| $ 56))) (DEFUN |INS-;binomial;3S;19| (|n| |m| $) - (SPADCALL |n| |m| (|getShellEntry| $ 57))) + (SPADCALL |n| |m| (|getShellEntry| $ 58))) (DEFUN |INS-;permutation;3S;20| (|n| |m| $) - (SPADCALL |n| |m| (|getShellEntry| $ 59))) + (SPADCALL |n| |m| (|getShellEntry| $ 60))) (DEFUN |INS-;retractIfCan;SU;21| (|x| $) - (CONS 0 (SPADCALL |x| (|getShellEntry| $ 28)))) + (CONS 0 (SPADCALL |x| (|getShellEntry| $ 29)))) (DEFUN |INS-;init;S;22| ($) (|spadConstant| $ 10)) (DEFUN |INS-;nextItem;SU;23| (|n| $) (COND - ((SPADCALL |n| (|getShellEntry| $ 64)) - (CONS 0 (|spadConstant| $ 21))) - ((SPADCALL (|spadConstant| $ 10) |n| (|getShellEntry| $ 15)) - (CONS 0 (SPADCALL |n| (|getShellEntry| $ 18)))) + ((SPADCALL |n| (|getShellEntry| $ 65)) + (CONS 0 (|spadConstant| $ 22))) + ((SPADCALL (|spadConstant| $ 10) |n| (|getShellEntry| $ 16)) + (CONS 0 (SPADCALL |n| (|getShellEntry| $ 19)))) ('T (CONS 0 - (SPADCALL (|spadConstant| $ 21) |n| (|getShellEntry| $ 65)))))) + (SPADCALL (|spadConstant| $ 22) |n| (|getShellEntry| $ 66)))))) (DEFUN |INS-;patternMatch;SP2Pmr;24| (|x| |p| |l| $) - (SPADCALL |x| |p| |l| (|getShellEntry| $ 70))) + (SPADCALL |x| |p| |l| (|getShellEntry| $ 71))) (DEFUN |INS-;rational;SF;25| (|x| $) - (SPADCALL (SPADCALL |x| (|getShellEntry| $ 28)) - (|getShellEntry| $ 74))) + (SPADCALL (SPADCALL |x| (|getShellEntry| $ 29)) + (|getShellEntry| $ 75))) (DEFUN |INS-;rationalIfCan;SU;26| (|x| $) (CONS 0 - (SPADCALL (SPADCALL |x| (|getShellEntry| $ 28)) - (|getShellEntry| $ 74)))) + (SPADCALL (SPADCALL |x| (|getShellEntry| $ 29)) + (|getShellEntry| $ 75)))) (DEFUN |INS-;symmetricRemainder;3S;27| (|x| |n| $) (PROG (|r|) (RETURN - (SEQ (LETT |r| (SPADCALL |x| |n| (|getShellEntry| $ 78)) + (SEQ (LETT |r| (SPADCALL |x| |n| (|getShellEntry| $ 79)) |INS-;symmetricRemainder;3S;27|) (EXIT (COND ((SPADCALL |r| (|spadConstant| $ 10) - (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) |r|) ('T (SEQ (COND ((SPADCALL |n| (|spadConstant| $ 10) - (|getShellEntry| $ 15)) + (|getShellEntry| $ 16)) (LETT |n| - (SPADCALL |n| (|getShellEntry| $ 18)) + (SPADCALL |n| (|getShellEntry| $ 19)) |INS-;symmetricRemainder;3S;27|))) (EXIT (COND ((SPADCALL (|spadConstant| $ 10) |r| - (|getShellEntry| $ 15)) + (|getShellEntry| $ 16)) (COND ((SPADCALL |n| (SPADCALL 2 |r| - (|getShellEntry| $ 80)) - (|getShellEntry| $ 15)) + (|getShellEntry| $ 81)) + (|getShellEntry| $ 16)) (SPADCALL |r| |n| - (|getShellEntry| $ 65))) + (|getShellEntry| $ 66))) ('T |r|))) ((NOT (SPADCALL (|spadConstant| $ 10) (SPADCALL (SPADCALL 2 |r| - (|getShellEntry| $ 80)) - |n| (|getShellEntry| $ 81)) - (|getShellEntry| $ 15))) + (|getShellEntry| $ 81)) + |n| (|getShellEntry| $ 82)) + (|getShellEntry| $ 16))) (SPADCALL |r| |n| - (|getShellEntry| $ 81))) + (|getShellEntry| $ 82))) ('T |r|))))))))))) (DEFUN |INS-;invmod;3S;28| (|a| |b| $) (PROG (|q| |r| |r1| |c| |c1| |d| |d1|) (RETURN (SEQ (COND - ((SPADCALL |a| (|getShellEntry| $ 83)) - (LETT |a| (SPADCALL |a| |b| (|getShellEntry| $ 84)) + ((SPADCALL |a| (|getShellEntry| $ 84)) + (LETT |a| (SPADCALL |a| |b| (|getShellEntry| $ 85)) |INS-;invmod;3S;28|))) (LETT |c| |a| |INS-;invmod;3S;28|) - (LETT |c1| (|spadConstant| $ 21) |INS-;invmod;3S;28|) + (LETT |c1| (|spadConstant| $ 22) |INS-;invmod;3S;28|) (LETT |d| |b| |INS-;invmod;3S;28|) (LETT |d1| (|spadConstant| $ 10) |INS-;invmod;3S;28|) (SEQ G190 (COND - ((NULL (NOT (SPADCALL |d| (|getShellEntry| $ 64)))) + ((NULL (NOT (SPADCALL |d| (|getShellEntry| $ 65)))) (GO G191))) (SEQ (LETT |q| - (SPADCALL |c| |d| (|getShellEntry| $ 85)) + (SPADCALL |c| |d| (|getShellEntry| $ 86)) |INS-;invmod;3S;28|) (LETT |r| (SPADCALL |c| (SPADCALL |q| |d| - (|getShellEntry| $ 86)) - (|getShellEntry| $ 65)) + (|getShellEntry| $ 87)) + (|getShellEntry| $ 66)) |INS-;invmod;3S;28|) (LETT |r1| (SPADCALL |c1| (SPADCALL |q| |d1| - (|getShellEntry| $ 86)) - (|getShellEntry| $ 65)) + (|getShellEntry| $ 87)) + (|getShellEntry| $ 66)) |INS-;invmod;3S;28|) (LETT |c| |d| |INS-;invmod;3S;28|) (LETT |c1| |d1| |INS-;invmod;3S;28|) @@ -272,29 +272,29 @@ (EXIT (LETT |d1| |r1| |INS-;invmod;3S;28|))) NIL (GO G190) G191 (EXIT NIL)) (COND - ((NOT (SPADCALL |c| (|getShellEntry| $ 87))) + ((NOT (SPADCALL |c| (|getShellEntry| $ 88))) (EXIT (|error| "inverse does not exist")))) (EXIT (COND - ((SPADCALL |c1| (|getShellEntry| $ 83)) - (SPADCALL |c1| |b| (|getShellEntry| $ 81))) + ((SPADCALL |c1| (|getShellEntry| $ 84)) + (SPADCALL |c1| |b| (|getShellEntry| $ 82))) ('T |c1|))))))) (DEFUN |INS-;powmod;4S;29| (|x| |n| |p| $) (PROG (|y| #0=#:G1484 |z|) (RETURN (SEQ (EXIT (SEQ (COND - ((SPADCALL |x| (|getShellEntry| $ 83)) + ((SPADCALL |x| (|getShellEntry| $ 84)) (LETT |x| (SPADCALL |x| |p| - (|getShellEntry| $ 84)) + (|getShellEntry| $ 85)) |INS-;powmod;4S;29|))) (EXIT (COND - ((SPADCALL |x| (|getShellEntry| $ 64)) + ((SPADCALL |x| (|getShellEntry| $ 65)) (|spadConstant| $ 10)) - ((SPADCALL |n| (|getShellEntry| $ 64)) - (|spadConstant| $ 21)) + ((SPADCALL |n| (|getShellEntry| $ 65)) + (|spadConstant| $ 22)) ('T - (SEQ (LETT |y| (|spadConstant| $ 21) + (SEQ (LETT |y| (|spadConstant| $ 22) |INS-;powmod;4S;29|) (LETT |z| |x| |INS-;powmod;4S;29|) (EXIT @@ -305,7 +305,7 @@ (|getShellEntry| $ 13)) (LETT |y| (SPADCALL |y| |z| |p| - (|getShellEntry| $ 89)) + (|getShellEntry| $ 90)) |INS-;powmod;4S;29|))) (EXIT (COND @@ -313,11 +313,11 @@ (LETT |n| (SPADCALL |n| (SPADCALL - (|spadConstant| $ 21) - (|getShellEntry| $ 18)) - (|getShellEntry| $ 19)) + (|spadConstant| $ 22) + (|getShellEntry| $ 19)) + (|getShellEntry| $ 20)) |INS-;powmod;4S;29|) - (|getShellEntry| $ 64)) + (|getShellEntry| $ 65)) (PROGN (LETT #0# |y| |INS-;powmod;4S;29|) @@ -325,7 +325,7 @@ ('T (LETT |z| (SPADCALL |z| |z| |p| - (|getShellEntry| $ 89)) + (|getShellEntry| $ 90)) |INS-;powmod;4S;29|))))) NIL (GO G190) G191 (EXIT NIL))))))))) #0# (EXIT #0#))))) @@ -336,7 +336,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|IntegerNumberSystem&|)) (LETT |dv$| (LIST '|IntegerNumberSystem&| |dv$1|) . #0#) - (LETT $ (|newShell| 91) . #0#) + (LETT $ (|newShell| 92) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -349,70 +349,70 @@ (|NonNegativeInteger|) (0 . |Zero|) |INS-;characteristic;Nni;1| (4 . |Zero|) |INS-;differentiate;2S;2| (|Boolean|) (8 . |odd?|) - |INS-;even?;SB;3| (13 . <) |INS-;positive?;SB;4| - |INS-;copy;2S;5| (19 . -) (24 . |shift|) |INS-;bit?;2SB;6| - (30 . |One|) (34 . |dec|) |INS-;mask;2S;7| (39 . |true|) - |INS-;rational?;SB;8| (43 . =) (|Integer|) - (49 . |convert|) (54 . -) |INS-;euclideanSize;SNni;9| - (|Float|) (59 . |coerce|) |INS-;convert;SF;10| - (|DoubleFloat|) (64 . |coerce|) |INS-;convert;SDf;11| - (|InputForm|) (69 . |convert|) |INS-;convert;SIf;12| - |INS-;retract;SI;13| (|Pattern| 27) (74 . |coerce|) - |INS-;convert;SP;14| (|Factored| 6) - (|IntegerFactorizationPackage| 6) (79 . |factor|) - (|Factored| $) |INS-;factor;SF;15| (84 . |squareFree|) + (13 . |not|) |INS-;even?;SB;3| (18 . <) + |INS-;positive?;SB;4| |INS-;copy;2S;5| (24 . -) + (29 . |shift|) |INS-;bit?;2SB;6| (35 . |One|) (39 . |dec|) + |INS-;mask;2S;7| (44 . |true|) |INS-;rational?;SB;8| + (48 . =) (|Integer|) (54 . |convert|) (59 . -) + |INS-;euclideanSize;SNni;9| (|Float|) (64 . |coerce|) + |INS-;convert;SF;10| (|DoubleFloat|) (69 . |coerce|) + |INS-;convert;SDf;11| (|InputForm|) (74 . |convert|) + |INS-;convert;SIf;12| |INS-;retract;SI;13| (|Pattern| 28) + (79 . |coerce|) |INS-;convert;SP;14| (|Factored| 6) + (|IntegerFactorizationPackage| 6) (84 . |factor|) + (|Factored| $) |INS-;factor;SF;15| (89 . |squareFree|) |INS-;squareFree;SF;16| (|IntegerPrimesPackage| 6) - (89 . |prime?|) |INS-;prime?;SB;17| - (|IntegerCombinatoricFunctions| 6) (94 . |factorial|) - |INS-;factorial;2S;18| (99 . |binomial|) - |INS-;binomial;3S;19| (105 . |permutation|) - |INS-;permutation;3S;20| (|Union| 27 '"failed") - |INS-;retractIfCan;SU;21| |INS-;init;S;22| (111 . |zero?|) - (116 . -) (|Union| $ '"failed") |INS-;nextItem;SU;23| - (|PatternMatchResult| 27 6) + (94 . |prime?|) |INS-;prime?;SB;17| + (|IntegerCombinatoricFunctions| 6) (99 . |factorial|) + |INS-;factorial;2S;18| (104 . |binomial|) + |INS-;binomial;3S;19| (110 . |permutation|) + |INS-;permutation;3S;20| (|Union| 28 '"failed") + |INS-;retractIfCan;SU;21| |INS-;init;S;22| (116 . |zero?|) + (121 . -) (|Union| $ '"failed") |INS-;nextItem;SU;23| + (|PatternMatchResult| 28 6) (|PatternMatchIntegerNumberSystem| 6) - (122 . |patternMatch|) (|PatternMatchResult| 27 $) - |INS-;patternMatch;SP2Pmr;24| (|Fraction| 27) - (129 . |coerce|) |INS-;rational;SF;25| - (|Union| 73 '"failed") |INS-;rationalIfCan;SU;26| - (134 . |rem|) (|PositiveInteger|) (140 . *) (146 . +) - |INS-;symmetricRemainder;3S;27| (152 . |negative?|) - (157 . |positiveRemainder|) (163 . |quo|) (169 . *) - (175 . |one?|) |INS-;invmod;3S;28| (180 . |mulmod|) + (127 . |patternMatch|) (|PatternMatchResult| 28 $) + |INS-;patternMatch;SP2Pmr;24| (|Fraction| 28) + (134 . |coerce|) |INS-;rational;SF;25| + (|Union| 74 '"failed") |INS-;rationalIfCan;SU;26| + (139 . |rem|) (|PositiveInteger|) (145 . *) (151 . +) + |INS-;symmetricRemainder;3S;27| (157 . |negative?|) + (162 . |positiveRemainder|) (168 . |quo|) (174 . *) + (180 . |one?|) |INS-;invmod;3S;28| (185 . |mulmod|) |INS-;powmod;4S;29|) - '#(|symmetricRemainder| 187 |squareFree| 193 |retractIfCan| - 198 |retract| 203 |rationalIfCan| 208 |rational?| 213 - |rational| 218 |prime?| 223 |powmod| 228 |positive?| 235 - |permutation| 240 |patternMatch| 246 |nextItem| 253 |mask| - 258 |invmod| 263 |init| 269 |factorial| 273 |factor| 278 - |even?| 283 |euclideanSize| 288 |differentiate| 293 |copy| - 298 |convert| 303 |characteristic| 323 |bit?| 327 - |binomial| 333) + '#(|symmetricRemainder| 192 |squareFree| 198 |retractIfCan| + 203 |retract| 208 |rationalIfCan| 213 |rational?| 218 + |rational| 223 |prime?| 228 |powmod| 233 |positive?| 240 + |permutation| 245 |patternMatch| 251 |nextItem| 258 |mask| + 263 |invmod| 268 |init| 274 |factorial| 278 |factor| 283 + |even?| 288 |euclideanSize| 293 |differentiate| 298 |copy| + 303 |convert| 308 |characteristic| 328 |bit?| 332 + |binomial| 338) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 90 - '(0 7 0 8 0 6 0 10 1 6 12 0 13 2 6 12 0 - 0 15 1 6 0 0 18 2 6 0 0 0 19 0 6 0 21 - 1 6 0 0 22 0 12 0 24 2 6 12 0 0 26 1 - 6 27 0 28 1 27 0 0 29 1 31 0 27 32 1 - 34 0 27 35 1 37 0 27 38 1 41 0 27 42 - 1 45 44 6 46 1 45 44 6 49 1 51 12 6 - 52 1 54 6 6 55 2 54 6 6 6 57 2 54 6 6 - 6 59 1 6 12 0 64 2 6 0 0 0 65 3 69 68 - 6 41 68 70 1 73 0 27 74 2 6 0 0 0 78 - 2 6 0 79 0 80 2 6 0 0 0 81 1 6 12 0 - 83 2 6 0 0 0 84 2 6 0 0 0 85 2 6 0 0 - 0 86 1 6 12 0 87 3 6 0 0 0 0 89 2 0 0 - 0 0 82 1 0 47 0 50 1 0 61 0 62 1 0 27 - 0 40 1 0 76 0 77 1 0 12 0 25 1 0 73 0 - 75 1 0 12 0 53 3 0 0 0 0 0 90 1 0 12 - 0 16 2 0 0 0 0 60 3 0 71 0 41 71 72 1 - 0 66 0 67 1 0 0 0 23 2 0 0 0 0 88 0 0 - 0 63 1 0 0 0 56 1 0 47 0 48 1 0 12 0 - 14 1 0 7 0 30 1 0 0 0 11 1 0 0 0 17 1 - 0 34 0 36 1 0 31 0 33 1 0 41 0 43 1 0 - 37 0 39 0 0 7 9 2 0 12 0 0 20 2 0 0 0 - 0 58))))) + (|makeByteWordVec2| 91 + '(0 7 0 8 0 6 0 10 1 6 12 0 13 1 12 0 0 + 14 2 6 12 0 0 16 1 6 0 0 19 2 6 0 0 0 + 20 0 6 0 22 1 6 0 0 23 0 12 0 25 2 6 + 12 0 0 27 1 6 28 0 29 1 28 0 0 30 1 + 32 0 28 33 1 35 0 28 36 1 38 0 28 39 + 1 42 0 28 43 1 46 45 6 47 1 46 45 6 + 50 1 52 12 6 53 1 55 6 6 56 2 55 6 6 + 6 58 2 55 6 6 6 60 1 6 12 0 65 2 6 0 + 0 0 66 3 70 69 6 42 69 71 1 74 0 28 + 75 2 6 0 0 0 79 2 6 0 80 0 81 2 6 0 0 + 0 82 1 6 12 0 84 2 6 0 0 0 85 2 6 0 0 + 0 86 2 6 0 0 0 87 1 6 12 0 88 3 6 0 0 + 0 0 90 2 0 0 0 0 83 1 0 48 0 51 1 0 + 62 0 63 1 0 28 0 41 1 0 77 0 78 1 0 + 12 0 26 1 0 74 0 76 1 0 12 0 54 3 0 0 + 0 0 0 91 1 0 12 0 17 2 0 0 0 0 61 3 0 + 72 0 42 72 73 1 0 67 0 68 1 0 0 0 24 + 2 0 0 0 0 89 0 0 0 64 1 0 0 0 57 1 0 + 48 0 49 1 0 12 0 15 1 0 7 0 31 1 0 0 + 0 11 1 0 0 0 18 1 0 35 0 37 1 0 32 0 + 34 1 0 42 0 44 1 0 38 0 40 0 0 7 9 2 + 0 12 0 0 21 2 0 0 0 0 59))))) '|lookupComplete|)) diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp index dbc68e7c..5698408d 100644 --- a/src/algebra/strap/ISTRING.lsp +++ b/src/algebra/strap/ISTRING.lsp @@ -442,7 +442,7 @@ (SPADCALL |i| (- |j| 1) (|getShellEntry| $ 24)) $) - |l| (|getShellEntry| $ 71)) + |l| (|getShellEntry| $ 72)) |ISTRING;split;$CL;22|) (EXIT (SEQ (LETT |i| |j| |ISTRING;split;$CL;22|) G190 @@ -465,9 +465,9 @@ (|ISTRING;elt;$Us$;31| |s| (SPADCALL |i| |n| (|getShellEntry| $ 24)) $) - |l| (|getShellEntry| $ 71)) + |l| (|getShellEntry| $ 72)) |ISTRING;split;$CL;22|))) - (EXIT (SPADCALL |l| (|getShellEntry| $ 72))))))) + (EXIT (SPADCALL |l| (|getShellEntry| $ 73))))))) (DEFUN |ISTRING;split;$CcL;23| (|s| |cc| $) (PROG (|n| |j| |i| |l|) @@ -504,7 +504,7 @@ (SPADCALL |i| (- |j| 1) (|getShellEntry| $ 24)) $) - |l| (|getShellEntry| $ 71)) + |l| (|getShellEntry| $ 72)) |ISTRING;split;$CcL;23|) (EXIT (SEQ (LETT |i| |j| |ISTRING;split;$CcL;23|) G190 @@ -527,9 +527,9 @@ (|ISTRING;elt;$Us$;31| |s| (SPADCALL |i| |n| (|getShellEntry| $ 24)) $) - |l| (|getShellEntry| $ 71)) + |l| (|getShellEntry| $ 72)) |ISTRING;split;$CcL;23|))) - (EXIT (SPADCALL |l| (|getShellEntry| $ 72))))))) + (EXIT (SPADCALL |l| (|getShellEntry| $ 73))))))) (DEFUN |ISTRING;leftTrim;$C$;24| (|s| |c| $) (PROG (|n| |i|) @@ -712,23 +712,23 @@ (SPADCALL (|ISTRING;elt;$IC;30| |s| (|getShellEntry| $ 6) $) - (|getShellEntry| $ 87))) + (|getShellEntry| $ 88))) ('T (* (* (SPADCALL (|ISTRING;elt;$IC;30| |s| (|getShellEntry| $ 6) $) - (|getShellEntry| $ 87)) + (|getShellEntry| $ 88)) (SPADCALL (|ISTRING;elt;$IC;30| |s| (- (+ (|getShellEntry| $ 6) |n|) 1) $) - (|getShellEntry| $ 87))) + (|getShellEntry| $ 88))) (SPADCALL (|ISTRING;elt;$IC;30| |s| (+ (|getShellEntry| $ 6) (QUOTIENT2 |n| 2)) $) - (|getShellEntry| $ 87)))))))))) + (|getShellEntry| $ 88)))))))))) (DEFUN |ISTRING;match;2$CNni;33| (|pattern| |target| |wildcard| $) (|stringMatch| |pattern| |target| (CHARACTER |wildcard|))) @@ -760,7 +760,7 @@ ('T (SEQ (COND ((SPADCALL |p| |m| - (|getShellEntry| $ 92)) + (|getShellEntry| $ 93)) (COND ((NOT (SPADCALL @@ -770,7 +770,7 @@ (|getShellEntry| $ 24)) $) |target| - (|getShellEntry| $ 93))) + (|getShellEntry| $ 94))) (EXIT 'NIL))))) (LETT |i| |p| |ISTRING;match?;2$CB;34|) @@ -791,7 +791,7 @@ (COND ((NULL (SPADCALL |q| (- |m| 1) - (|getShellEntry| $ 92))) + (|getShellEntry| $ 93))) (GO G191))) (SEQ (LETT |s| @@ -844,7 +844,7 @@ NIL (GO G190) G191 (EXIT NIL)) (COND ((SPADCALL |p| |n| - (|getShellEntry| $ 92)) + (|getShellEntry| $ 93)) (COND ((NOT (|ISTRING;suffix?;2$B;21| @@ -884,7 +884,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|IndexedString|)) (LETT |dv$| (LIST '|IndexedString| |dv$1|) . #0#) - (LETT $ (|newShell| 105) . #0#) + (LETT $ (|newShell| 106) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| @@ -951,37 +951,37 @@ (126 . -) |ISTRING;position;C$2I;19| (132 . |member?|) |ISTRING;position;Cc$2I;20| |ISTRING;suffix?;2$B;21| |ISTRING;elt;$IC;30| (138 . =) (|List| $$) (144 . |empty|) - (148 . |concat|) (154 . |reverse!|) (|List| $) - |ISTRING;split;$CL;22| |ISTRING;split;$CcL;23| + (148 . |not|) (153 . |concat|) (159 . |reverse!|) + (|List| $) |ISTRING;split;$CL;22| |ISTRING;split;$CcL;23| |ISTRING;leftTrim;$C$;24| |ISTRING;leftTrim;$Cc$;25| - (159 . -) |ISTRING;rightTrim;$C$;26| - |ISTRING;rightTrim;$Cc$;27| (164 . +) + (164 . -) |ISTRING;rightTrim;$C$;26| + |ISTRING;rightTrim;$Cc$;27| (169 . +) |ISTRING;copyInto!;2$I$;29| |ISTRING;concat;L$;28| - (170 . |max|) (176 . |zero?|) (181 . |one?|) (186 . |ord|) - (191 . *) (197 . |quo|) |ISTRING;hash;$I;32| - |ISTRING;match;2$CNni;33| (203 . ~=) (209 . |prefix?|) + (175 . |max|) (181 . |zero?|) (186 . |one?|) (191 . |ord|) + (196 . *) (202 . |quo|) |ISTRING;hash;$I;32| + |ISTRING;match;2$CNni;33| (208 . ~=) (214 . |prefix?|) |ISTRING;match?;2$CB;34| (|List| 8) (|Equation| 8) - (|List| 96) (|Mapping| 8 8 8) (|InputForm|) + (|List| 97) (|Mapping| 8 8 8) (|InputForm|) (|Mapping| 13 8) (|Mapping| 13 8 8) (|Void|) (|Union| 8 '"failed") (|List| 11)) - '#(~= 215 |upperCase!| 221 |upperCase| 226 |trim| 231 |swap!| - 243 |suffix?| 250 |substring?| 256 |split| 263 |sorted?| - 275 |sort!| 286 |sort| 297 |size?| 308 |setelt| 314 - |select| 328 |sample| 334 |rightTrim| 338 |reverse!| 350 - |reverse| 355 |replace| 360 |removeDuplicates| 367 - |remove| 372 |reduce| 384 |qsetelt!| 405 |qelt| 412 - |prefix?| 418 |position| 424 |parts| 457 |new| 462 |more?| - 468 |minIndex| 474 |min| 479 |merge| 485 |members| 498 - |member?| 503 |maxIndex| 509 |max| 514 |match?| 520 - |match| 527 |map!| 534 |map| 540 |lowerCase!| 553 - |lowerCase| 558 |less?| 563 |leftTrim| 569 |latex| 581 - |insert| 586 |indices| 600 |index?| 605 |hash| 611 |first| - 621 |find| 626 |fill!| 632 |every?| 638 |eval| 644 |eq?| - 670 |entry?| 676 |entries| 682 |empty?| 687 |empty| 692 - |elt| 696 |delete| 721 |count| 733 |copyInto!| 745 |copy| - 752 |convert| 757 |construct| 762 |concat| 767 |coerce| - 790 |before?| 800 |any?| 806 >= 812 > 818 = 824 <= 830 < - 836 |#| 842) + '#(~= 220 |upperCase!| 226 |upperCase| 231 |trim| 236 |swap!| + 248 |suffix?| 255 |substring?| 261 |split| 268 |sorted?| + 280 |sort!| 291 |sort| 302 |size?| 313 |setelt| 319 + |select| 333 |sample| 339 |rightTrim| 343 |reverse!| 355 + |reverse| 360 |replace| 365 |removeDuplicates| 372 + |remove| 377 |reduce| 389 |qsetelt!| 410 |qelt| 417 + |prefix?| 423 |position| 429 |parts| 462 |new| 467 |more?| + 473 |minIndex| 479 |min| 484 |merge| 490 |members| 503 + |member?| 508 |maxIndex| 514 |max| 519 |match?| 525 + |match| 532 |map!| 539 |map| 545 |lowerCase!| 558 + |lowerCase| 563 |less?| 568 |leftTrim| 574 |latex| 586 + |insert| 591 |indices| 605 |index?| 610 |hash| 616 |first| + 626 |find| 631 |fill!| 637 |every?| 643 |eval| 649 |eq?| + 675 |entry?| 681 |entries| 687 |empty?| 692 |empty| 697 + |elt| 701 |delete| 726 |count| 738 |copyInto!| 750 |copy| + 757 |convert| 762 |construct| 767 |concat| 772 |coerce| + 795 |before?| 805 |any?| 811 >= 817 > 823 = 829 <= 835 < + 841 |#| 847) '((|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)) @@ -1004,9 +1004,9 @@ (|EltableAggregate| 11 8) (|Evalable| 8) (|SetCategory|) (|Type|) (|Eltable| 11 8) (|InnerEvalable| 8 8) - (|CoercibleTo| 29) (|ConvertibleTo| 99) + (|CoercibleTo| 29) (|ConvertibleTo| 100) (|BasicType|)) - (|makeByteWordVec2| 104 + (|makeByteWordVec2| 105 '(0 11 0 12 2 11 13 0 0 14 0 11 0 21 2 11 0 0 0 22 2 23 0 11 11 24 1 23 0 11 26 1 29 0 28 30 0 33 0 34 1 8 0 0 35 @@ -1016,47 +1016,48 @@ 11 13 0 0 49 0 7 0 50 2 11 0 0 0 51 0 8 0 52 0 53 0 54 0 53 0 55 0 13 0 58 0 13 0 59 2 53 0 0 0 62 2 33 13 8 0 - 64 2 8 13 0 0 68 0 69 0 70 2 69 0 2 0 - 71 1 69 0 0 72 1 53 0 0 78 2 7 0 0 0 - 81 2 11 0 0 0 84 1 11 13 0 85 1 11 13 - 0 86 1 8 7 0 87 2 11 0 11 0 88 2 11 0 - 0 0 89 2 11 13 0 0 92 2 0 13 0 0 93 2 - 7 13 0 0 1 1 0 0 0 38 1 0 0 0 1 2 0 0 - 0 33 1 2 0 0 0 8 1 3 0 102 0 11 11 1 - 2 0 13 0 0 66 3 0 13 0 0 11 60 2 0 73 - 0 8 74 2 0 73 0 33 75 1 5 13 0 1 2 0 - 13 101 0 1 1 5 0 0 1 2 0 0 101 0 1 1 - 5 0 0 1 2 0 0 101 0 1 2 0 13 0 7 1 3 - 0 8 0 23 8 1 3 0 8 0 11 8 57 2 0 0 - 100 0 1 0 0 0 1 2 0 0 0 33 80 2 0 0 0 - 8 79 1 0 0 0 1 1 0 0 0 1 3 0 0 0 23 0 - 56 1 7 0 0 1 2 7 0 8 0 1 2 0 0 100 0 - 1 4 7 8 98 0 8 8 1 2 0 8 98 0 1 3 0 8 - 98 0 8 1 3 0 8 0 11 8 1 2 0 8 0 11 1 - 2 0 13 0 0 93 2 7 11 8 0 1 3 7 11 8 0 - 11 63 3 0 11 0 0 11 61 3 0 11 33 0 11 - 65 2 0 11 100 0 1 1 0 95 0 1 2 0 0 7 - 8 9 2 0 13 0 7 1 1 6 11 0 32 2 5 0 0 - 0 1 2 5 0 0 0 1 3 0 0 101 0 0 1 1 0 - 95 0 1 2 7 13 8 0 1 1 6 11 0 47 2 5 0 - 0 0 1 3 0 13 0 0 8 94 3 0 7 0 0 8 91 - 2 0 0 36 0 37 3 0 0 98 0 0 1 2 0 0 36 - 0 1 1 0 0 0 41 1 0 0 0 1 2 0 13 0 7 1 - 2 0 0 0 33 77 2 0 0 0 8 76 1 7 28 0 - 43 3 0 0 0 0 11 27 3 0 0 8 0 11 1 1 0 - 104 0 1 2 0 13 11 0 1 1 7 53 0 1 1 0 - 11 0 90 1 6 8 0 1 2 0 103 100 0 1 2 0 - 0 0 8 1 2 0 13 100 0 1 3 9 0 0 95 95 - 1 3 9 0 0 8 8 1 2 9 0 0 97 1 2 9 0 0 - 96 1 2 0 13 0 0 1 2 7 13 8 0 1 1 0 95 - 0 1 1 0 13 0 15 0 0 0 10 2 0 0 0 0 1 - 2 0 0 0 23 25 2 0 8 0 11 67 3 0 8 0 - 11 8 1 2 0 0 0 23 1 2 0 0 0 11 1 2 7 - 7 8 0 1 2 0 7 100 0 1 3 0 0 0 0 11 82 - 1 0 0 0 20 1 3 99 0 1 1 0 0 95 1 1 0 - 0 73 83 2 0 0 8 0 1 2 0 0 0 0 19 2 0 - 0 0 8 1 1 8 29 0 31 1 0 0 8 1 2 7 13 - 0 0 1 2 0 13 100 0 1 2 5 13 0 0 1 2 5 - 13 0 0 1 2 7 13 0 0 17 2 5 13 0 0 1 2 - 5 13 0 0 18 1 0 7 0 16))))) + 64 2 8 13 0 0 68 0 69 0 70 1 13 0 0 + 71 2 69 0 2 0 72 1 69 0 0 73 1 53 0 0 + 79 2 7 0 0 0 82 2 11 0 0 0 85 1 11 13 + 0 86 1 11 13 0 87 1 8 7 0 88 2 11 0 + 11 0 89 2 11 0 0 0 90 2 11 13 0 0 93 + 2 0 13 0 0 94 2 7 13 0 0 1 1 0 0 0 38 + 1 0 0 0 1 2 0 0 0 33 1 2 0 0 0 8 1 3 + 0 103 0 11 11 1 2 0 13 0 0 66 3 0 13 + 0 0 11 60 2 0 74 0 8 75 2 0 74 0 33 + 76 1 5 13 0 1 2 0 13 102 0 1 1 5 0 0 + 1 2 0 0 102 0 1 1 5 0 0 1 2 0 0 102 0 + 1 2 0 13 0 7 1 3 0 8 0 23 8 1 3 0 8 0 + 11 8 57 2 0 0 101 0 1 0 0 0 1 2 0 0 0 + 33 81 2 0 0 0 8 80 1 0 0 0 1 1 0 0 0 + 1 3 0 0 0 23 0 56 1 7 0 0 1 2 7 0 8 0 + 1 2 0 0 101 0 1 4 7 8 99 0 8 8 1 2 0 + 8 99 0 1 3 0 8 99 0 8 1 3 0 8 0 11 8 + 1 2 0 8 0 11 1 2 0 13 0 0 94 2 7 11 8 + 0 1 3 7 11 8 0 11 63 3 0 11 0 0 11 61 + 3 0 11 33 0 11 65 2 0 11 101 0 1 1 0 + 96 0 1 2 0 0 7 8 9 2 0 13 0 7 1 1 6 + 11 0 32 2 5 0 0 0 1 2 5 0 0 0 1 3 0 0 + 102 0 0 1 1 0 96 0 1 2 7 13 8 0 1 1 6 + 11 0 47 2 5 0 0 0 1 3 0 13 0 0 8 95 3 + 0 7 0 0 8 92 2 0 0 36 0 37 3 0 0 99 0 + 0 1 2 0 0 36 0 1 1 0 0 0 41 1 0 0 0 1 + 2 0 13 0 7 1 2 0 0 0 33 78 2 0 0 0 8 + 77 1 7 28 0 43 3 0 0 0 0 11 27 3 0 0 + 8 0 11 1 1 0 105 0 1 2 0 13 11 0 1 1 + 7 53 0 1 1 0 11 0 91 1 6 8 0 1 2 0 + 104 101 0 1 2 0 0 0 8 1 2 0 13 101 0 + 1 3 9 0 0 96 96 1 3 9 0 0 8 8 1 2 9 0 + 0 98 1 2 9 0 0 97 1 2 0 13 0 0 1 2 7 + 13 8 0 1 1 0 96 0 1 1 0 13 0 15 0 0 0 + 10 2 0 0 0 0 1 2 0 0 0 23 25 2 0 8 0 + 11 67 3 0 8 0 11 8 1 2 0 0 0 23 1 2 0 + 0 0 11 1 2 7 7 8 0 1 2 0 7 101 0 1 3 + 0 0 0 0 11 83 1 0 0 0 20 1 3 100 0 1 + 1 0 0 96 1 1 0 0 74 84 2 0 0 8 0 1 2 + 0 0 0 0 19 2 0 0 0 8 1 1 8 29 0 31 1 + 0 0 8 1 2 7 13 0 0 1 2 0 13 101 0 1 2 + 5 13 0 0 1 2 5 13 0 0 1 2 7 13 0 0 17 + 2 5 13 0 0 1 2 5 13 0 0 18 1 0 7 0 + 16))))) '|lookupComplete|)) diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp index e4a2353e..26eaf30c 100644 --- a/src/algebra/strap/LIST.lsp +++ b/src/algebra/strap/LIST.lsp @@ -65,10 +65,10 @@ (SPADCALL |dev| "list1" "list" (|getShellEntry| $ 18)) (SEQ G190 (COND ((NULL (NOT (NULL |x|))) (GO G191))) (SEQ (SPADCALL |dev| (|SPADfirst| |x|) 'NIL - (|getShellEntry| $ 21)) + (|getShellEntry| $ 22)) (EXIT (LETT |x| (CDR |x|) |LIST;writeOMList|))) NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 23))))) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 24))))) (DEFUN |LIST;OMwrite;$S;6| (|x| $) (PROG (|sp| |dev| |s|) @@ -76,13 +76,13 @@ (SEQ (LETT |s| "" |LIST;OMwrite;$S;6|) (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |LIST;OMwrite;$S;6|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 25)) - (|getShellEntry| $ 26)) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) |LIST;OMwrite;$S;6|) - (SPADCALL |dev| (|getShellEntry| $ 27)) - (|LIST;writeOMList| |dev| |x| $) (SPADCALL |dev| (|getShellEntry| $ 28)) + (|LIST;writeOMList| |dev| |x| $) (SPADCALL |dev| (|getShellEntry| $ 29)) + (SPADCALL |dev| (|getShellEntry| $ 30)) (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |LIST;OMwrite;$S;6|) (EXIT |s|))))) @@ -92,41 +92,41 @@ (SEQ (LETT |s| "" |LIST;OMwrite;$BS;7|) (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |LIST;OMwrite;$BS;7|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 25)) - (|getShellEntry| $ 26)) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) |LIST;OMwrite;$BS;7|) - (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 27)))) - (|LIST;writeOMList| |dev| |x| $) (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 28)))) - (SPADCALL |dev| (|getShellEntry| $ 29)) + (|LIST;writeOMList| |dev| |x| $) + (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 29)))) + (SPADCALL |dev| (|getShellEntry| $ 30)) (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |LIST;OMwrite;$BS;7|) (EXIT |s|))))) (DEFUN |LIST;OMwrite;Omd$V;8| (|dev| |x| $) - (SEQ (SPADCALL |dev| (|getShellEntry| $ 27)) + (SEQ (SPADCALL |dev| (|getShellEntry| $ 28)) (|LIST;writeOMList| |dev| |x| $) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 28))))) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 29))))) (DEFUN |LIST;OMwrite;Omd$BV;9| (|dev| |x| |wholeObj| $) - (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 27)))) + (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 28)))) (|LIST;writeOMList| |dev| |x| $) (EXIT (COND - (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 28))))))) + (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 29))))))) (DEFUN |LIST;setUnion;3$;10| (|l1| |l2| $) - (SPADCALL (SPADCALL |l1| |l2| (|getShellEntry| $ 34)) - (|getShellEntry| $ 35))) + (SPADCALL (SPADCALL |l1| |l2| (|getShellEntry| $ 35)) + (|getShellEntry| $ 36))) (DEFUN |LIST;setIntersection;3$;11| (|l1| |l2| $) (PROG (|u|) (RETURN (SEQ (LETT |u| NIL |LIST;setIntersection;3$;11|) - (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 35)) + (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 36)) |LIST;setIntersection;3$;11|) (SEQ G190 (COND ((NULL (NOT (NULL |l1|))) (GO G191))) (SEQ (COND ((SPADCALL (|SPADfirst| |l1|) |l2| - (|getShellEntry| $ 39)) + (|getShellEntry| $ 40)) (LETT |u| (CONS (|SPADfirst| |l1|) |u|) |LIST;setIntersection;3$;11|))) (EXIT (LETT |l1| (CDR |l1|) @@ -137,16 +137,16 @@ (DEFUN |LIST;setDifference;3$;12| (|l1| |l2| $) (PROG (|l11| |lu|) (RETURN - (SEQ (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 35)) + (SEQ (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 36)) |LIST;setDifference;3$;12|) (LETT |lu| NIL |LIST;setDifference;3$;12|) (SEQ G190 (COND ((NULL (NOT (NULL |l1|))) (GO G191))) (SEQ (LETT |l11| - (SPADCALL |l1| 1 (|getShellEntry| $ 41)) + (SPADCALL |l1| 1 (|getShellEntry| $ 42)) |LIST;setDifference;3$;12|) (COND ((NOT (SPADCALL |l11| |l2| - (|getShellEntry| $ 39))) + (|getShellEntry| $ 40))) (LETT |lu| (CONS |l11| |lu|) |LIST;setDifference;3$;12|))) (EXIT (LETT |l1| (CDR |l1|) @@ -158,7 +158,7 @@ (PROG (#0=#:G1444 |a| #1=#:G1445) (RETURN (SEQ (SPADCALL - (CONS (SPADCALL '|construct| (|getShellEntry| $ 46)) + (CONS (SPADCALL '|construct| (|getShellEntry| $ 47)) (PROGN (LETT #0# NIL |LIST;convert;$If;13|) (SEQ (LETT |a| NIL |LIST;convert;$If;13|) @@ -173,12 +173,12 @@ (SEQ (EXIT (LETT #0# (CONS (SPADCALL |a| - (|getShellEntry| $ 47)) + (|getShellEntry| $ 48)) #0#) |LIST;convert;$If;13|))) (LETT #1# (CDR #1#) |LIST;convert;$If;13|) (GO G190) G191 (EXIT (NREVERSE0 #0#))))) - (|getShellEntry| $ 51)))))) + (|getShellEntry| $ 52)))))) (DEFUN |List| (#0=#:G1446) (PROG () @@ -203,7 +203,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|List|)) (LETT |dv$| (LIST '|List| |dv$1|) . #0#) - (LETT $ (|newShell| 69) . #0#) + (LETT $ (|newShell| 70) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| @@ -246,29 +246,29 @@ (COND ((|testBitVector| |pv$| 6) (PROGN - (|setShellEntry| $ 30 - (CONS (|dispatchFunction| |LIST;OMwrite;$S;6|) $)) (|setShellEntry| $ 31 - (CONS (|dispatchFunction| |LIST;OMwrite;$BS;7|) $)) + (CONS (|dispatchFunction| |LIST;OMwrite;$S;6|) $)) (|setShellEntry| $ 32 - (CONS (|dispatchFunction| |LIST;OMwrite;Omd$V;8|) $)) + (CONS (|dispatchFunction| |LIST;OMwrite;$BS;7|) $)) (|setShellEntry| $ 33 + (CONS (|dispatchFunction| |LIST;OMwrite;Omd$V;8|) $)) + (|setShellEntry| $ 34 (CONS (|dispatchFunction| |LIST;OMwrite;Omd$BV;9|) $))))) (COND ((|testBitVector| |pv$| 8) (PROGN - (|setShellEntry| $ 36 + (|setShellEntry| $ 37 (CONS (|dispatchFunction| |LIST;setUnion;3$;10|) $)) - (|setShellEntry| $ 40 + (|setShellEntry| $ 41 (CONS (|dispatchFunction| |LIST;setIntersection;3$;11|) $)) - (|setShellEntry| $ 43 + (|setShellEntry| $ 44 (CONS (|dispatchFunction| |LIST;setDifference;3$;12|) $))))) (COND ((|testBitVector| |pv$| 3) - (|setShellEntry| $ 52 + (|setShellEntry| $ 53 (CONS (|dispatchFunction| |LIST;convert;$If;13|) $)))) $)))) @@ -278,28 +278,28 @@ (|Boolean|) |LIST;null;$B;2| |LIST;cons;S2$;3| |LIST;append;3$;4| (|Void|) (|OpenMathDevice|) (4 . |OMputApp|) (|String|) (9 . |OMputSymbol|) - (16 . |first|) (21 . |false|) (25 . |OMwrite|) - (32 . |rest|) (37 . |OMputEndApp|) (|OpenMathEncoding|) - (42 . |OMencodingXML|) (46 . |OMopenString|) - (52 . |OMputObject|) (57 . |OMputEndObject|) - (62 . |OMclose|) (67 . |OMwrite|) (72 . |OMwrite|) - (78 . |OMwrite|) (84 . |OMwrite|) (91 . |concat|) - (97 . |removeDuplicates|) (102 . |setUnion|) - (108 . |empty|) (112 . |empty?|) (117 . |member?|) - (123 . |setIntersection|) (129 . |elt|) (135 . |concat|) - (141 . |setDifference|) (|OutputForm|) (|InputForm|) - (147 . |convert|) (152 . |convert|) (|List| 45) - (157 . |concat|) (|List| $) (163 . |convert|) - (168 . |convert|) (|Mapping| 6 6 6) (|NonNegativeInteger|) - (|List| 6) (|Equation| 6) (|List| 56) (|Mapping| 10 6) + (16 . |not|) (21 . |first|) (26 . |false|) + (30 . |OMwrite|) (37 . |rest|) (42 . |OMputEndApp|) + (|OpenMathEncoding|) (47 . |OMencodingXML|) + (51 . |OMopenString|) (57 . |OMputObject|) + (62 . |OMputEndObject|) (67 . |OMclose|) (72 . |OMwrite|) + (77 . |OMwrite|) (83 . |OMwrite|) (89 . |OMwrite|) + (96 . |concat|) (102 . |removeDuplicates|) + (107 . |setUnion|) (113 . |empty|) (117 . |empty?|) + (122 . |member?|) (128 . |setIntersection|) (134 . |elt|) + (140 . |concat|) (146 . |setDifference|) (|OutputForm|) + (|InputForm|) (152 . |convert|) (157 . |convert|) + (|List| 46) (162 . |concat|) (|List| $) (168 . |convert|) + (173 . |convert|) (|Mapping| 6 6 6) (|NonNegativeInteger|) + (|List| 6) (|Equation| 6) (|List| 57) (|Mapping| 10 6) (|Mapping| 10 6 6) (|UniversalSegment| 7) '"last" '"rest" '"first" '"value" (|Mapping| 6 6) (|SingleInteger|) (|List| 7) (|Union| 6 '"failed")) - '#(|setUnion| 173 |setIntersection| 179 |setDifference| 185 - |rest| 191 |removeDuplicates| 196 |null| 201 |nil| 206 - |member?| 210 |first| 216 |empty?| 221 |empty| 226 |elt| - 230 |convert| 236 |cons| 241 |concat| 247 |append| 259 - |OMwrite| 265) + '#(|setUnion| 178 |setIntersection| 184 |setDifference| 190 + |rest| 196 |removeDuplicates| 201 |null| 206 |nil| 211 + |member?| 215 |first| 221 |empty?| 226 |empty| 231 |elt| + 235 |convert| 241 |cons| 246 |concat| 252 |append| 264 + |OMwrite| 270) '((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) (CONS (|makeByteWordVec2| 6 '(0 0 0 0 0 0 0 0 0 0 5 0 0 1 4 0 0 1 2 3 4 6)) @@ -325,27 +325,27 @@ (|OrderedSet|) (|Aggregate|) (|EltableAggregate| 7 6) (|Evalable| 6) (|SetCategory|) (|Type|) (|Eltable| 7 6) - (|InnerEvalable| 6 6) (|CoercibleTo| 44) - (|ConvertibleTo| 45) (|BasicType|) + (|InnerEvalable| 6 6) (|CoercibleTo| 45) + (|ConvertibleTo| 46) (|BasicType|) (|OpenMath|)) - (|makeByteWordVec2| 52 + (|makeByteWordVec2| 53 '(0 7 0 8 1 15 14 0 16 3 15 14 0 17 17 - 18 1 0 6 0 19 0 10 0 20 3 6 14 15 0 - 10 21 1 0 0 0 22 1 15 14 0 23 0 24 0 - 25 2 15 0 17 24 26 1 15 14 0 27 1 15 - 14 0 28 1 15 14 0 29 1 0 17 0 30 2 0 - 17 0 10 31 2 0 14 15 0 32 3 0 14 15 0 - 10 33 2 0 0 0 0 34 1 0 0 0 35 2 0 0 0 - 0 36 0 0 0 37 1 0 10 0 38 2 0 10 6 0 - 39 2 0 0 0 0 40 2 0 6 0 7 41 2 0 0 6 - 0 42 2 0 0 0 0 43 1 45 0 44 46 1 6 45 - 0 47 2 48 0 45 0 49 1 45 0 50 51 1 0 - 45 0 52 2 8 0 0 0 36 2 8 0 0 0 40 2 8 - 0 0 0 43 1 0 0 0 22 1 8 0 0 35 1 0 10 - 0 11 0 0 0 9 2 8 10 6 0 39 1 0 6 0 19 - 1 0 10 0 38 0 0 0 37 2 0 6 0 7 41 1 3 - 45 0 52 2 0 0 6 0 12 2 0 0 0 0 34 2 0 - 0 6 0 42 2 0 0 0 0 13 3 6 14 15 0 10 - 33 2 6 17 0 10 31 2 6 14 15 0 32 1 6 - 17 0 30))))) + 18 1 10 0 0 19 1 0 6 0 20 0 10 0 21 3 + 6 14 15 0 10 22 1 0 0 0 23 1 15 14 0 + 24 0 25 0 26 2 15 0 17 25 27 1 15 14 + 0 28 1 15 14 0 29 1 15 14 0 30 1 0 17 + 0 31 2 0 17 0 10 32 2 0 14 15 0 33 3 + 0 14 15 0 10 34 2 0 0 0 0 35 1 0 0 0 + 36 2 0 0 0 0 37 0 0 0 38 1 0 10 0 39 + 2 0 10 6 0 40 2 0 0 0 0 41 2 0 6 0 7 + 42 2 0 0 6 0 43 2 0 0 0 0 44 1 46 0 + 45 47 1 6 46 0 48 2 49 0 46 0 50 1 46 + 0 51 52 1 0 46 0 53 2 8 0 0 0 37 2 8 + 0 0 0 41 2 8 0 0 0 44 1 0 0 0 23 1 8 + 0 0 36 1 0 10 0 11 0 0 0 9 2 8 10 6 0 + 40 1 0 6 0 20 1 0 10 0 39 0 0 0 38 2 + 0 6 0 7 42 1 3 46 0 53 2 0 0 6 0 12 2 + 0 0 0 0 35 2 0 0 6 0 43 2 0 0 0 0 13 + 3 6 14 15 0 10 34 2 6 17 0 10 32 2 6 + 14 15 0 33 1 6 17 0 31))))) '|lookupIncomplete|)) diff --git a/src/algebra/strap/LNAGG-.lsp b/src/algebra/strap/LNAGG-.lsp index d140a5dc..912a1dcb 100644 --- a/src/algebra/strap/LNAGG-.lsp +++ b/src/algebra/strap/LNAGG-.lsp @@ -41,19 +41,19 @@ ('T (NOT (< (SPADCALL |a| (|getShellEntry| $ 10)) |i|))))) (DEFUN |LNAGG-;concat;ASA;3| (|a| |x| $) - (SPADCALL |a| (SPADCALL 1 |x| (|getShellEntry| $ 20)) - (|getShellEntry| $ 21))) + (SPADCALL |a| (SPADCALL 1 |x| (|getShellEntry| $ 21)) + (|getShellEntry| $ 22))) (DEFUN |LNAGG-;concat;S2A;4| (|x| |y| $) - (SPADCALL (SPADCALL 1 |x| (|getShellEntry| $ 20)) |y| - (|getShellEntry| $ 21))) + (SPADCALL (SPADCALL 1 |x| (|getShellEntry| $ 21)) |y| + (|getShellEntry| $ 22))) (DEFUN |LNAGG-;insert;SAIA;5| (|x| |a| |i| $) - (SPADCALL (SPADCALL 1 |x| (|getShellEntry| $ 20)) |a| |i| - (|getShellEntry| $ 24))) + (SPADCALL (SPADCALL 1 |x| (|getShellEntry| $ 21)) |a| |i| + (|getShellEntry| $ 25))) (DEFUN |LNAGG-;maxIndex;AI;6| (|l| $) - (+ (- (SPADCALL |l| (|getShellEntry| $ 26)) 1) + (+ (- (SPADCALL |l| (|getShellEntry| $ 27)) 1) (SPADCALL |l| (|getShellEntry| $ 9)))) (DEFUN |LinearAggregate&| (|#1| |#2|) @@ -63,7 +63,7 @@ (LETT |dv$1| (|devaluate| |#1|) . #0=(|LinearAggregate&|)) (LETT |dv$2| (|devaluate| |#2|) . #0#) (LETT |dv$| (LIST '|LinearAggregate&| |dv$1| |dv$2|) . #0#) - (LETT $ (|newShell| 31) . #0#) + (LETT $ (|newShell| 32) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| @@ -74,7 +74,7 @@ (|setShellEntry| $ 7 |#2|) (COND ((|HasAttribute| |#1| '|finiteAggregate|) - (|setShellEntry| $ 29 + (|setShellEntry| $ 30 (CONS (|dispatchFunction| |LNAGG-;maxIndex;AI;6|) $)))) $)))) @@ -82,23 +82,23 @@ (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|Integer|) (0 . |minIndex|) (5 . |maxIndex|) (|List| 8) |LNAGG-;indices;AL;1| (|Boolean|) (10 . <) (16 . |false|) - |LNAGG-;index?;IAB;2| (|NonNegativeInteger|) (20 . |One|) - (24 . |One|) (28 . |new|) (34 . |concat|) + (20 . |not|) |LNAGG-;index?;IAB;2| (|NonNegativeInteger|) + (25 . |One|) (29 . |One|) (33 . |new|) (39 . |concat|) |LNAGG-;concat;ASA;3| |LNAGG-;concat;S2A;4| - (40 . |insert|) |LNAGG-;insert;SAIA;5| (47 . |#|) (52 . -) - (58 . +) (64 . |maxIndex|) (|List| $)) - '#(|maxIndex| 69 |insert| 74 |indices| 81 |index?| 86 - |concat| 92) + (45 . |insert|) |LNAGG-;insert;SAIA;5| (52 . |#|) (57 . -) + (63 . +) (69 . |maxIndex|) (|List| $)) + '#(|maxIndex| 74 |insert| 79 |indices| 86 |index?| 91 + |concat| 97) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 29 + (|makeByteWordVec2| 30 '(1 6 8 0 9 1 6 8 0 10 2 8 13 0 0 14 0 - 13 0 15 0 17 0 18 0 8 0 19 2 6 0 17 7 - 20 2 6 0 0 0 21 3 6 0 0 0 8 24 1 6 17 - 0 26 2 8 0 0 0 27 2 8 0 0 0 28 1 0 8 - 0 29 1 0 8 0 29 3 0 0 7 0 8 25 1 0 11 - 0 12 2 0 13 8 0 16 2 0 0 0 7 22 2 0 0 - 7 0 23))))) + 13 0 15 1 13 0 0 16 0 18 0 19 0 8 0 + 20 2 6 0 18 7 21 2 6 0 0 0 22 3 6 0 0 + 0 8 25 1 6 18 0 27 2 8 0 0 0 28 2 8 0 + 0 0 29 1 0 8 0 30 1 0 8 0 30 3 0 0 7 + 0 8 26 1 0 11 0 12 2 0 13 8 0 17 2 0 + 0 0 7 23 2 0 0 7 0 24))))) '|lookupComplete|)) diff --git a/src/algebra/strap/LSAGG-.lsp b/src/algebra/strap/LSAGG-.lsp index c5006e53..09fe53fb 100644 --- a/src/algebra/strap/LSAGG-.lsp +++ b/src/algebra/strap/LSAGG-.lsp @@ -159,7 +159,7 @@ |LSAGG-;select!;M2A;5|) (EXIT (SPADCALL |y| |z| - (|getShellEntry| $ 26)))))))) + (|getShellEntry| $ 27)))))))) NIL (GO G190) G191 (EXIT NIL)) (EXIT |x|))))))))) @@ -169,7 +169,7 @@ (SEQ (COND ((SPADCALL |p| (|getShellEntry| $ 16)) |q|) ((SPADCALL |q| (|getShellEntry| $ 16)) |p|) - ((SPADCALL |p| |q| (|getShellEntry| $ 29)) + ((SPADCALL |p| |q| (|getShellEntry| $ 30)) (|error| "cannot merge a list into itself")) ('T (SEQ (COND @@ -210,7 +210,7 @@ |f|) (SEQ (SPADCALL |t| |p| - (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) (LETT |t| |p| |LSAGG-;merge!;M3A;6|) (EXIT @@ -221,7 +221,7 @@ ('T (SEQ (SPADCALL |t| |q| - (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) (LETT |t| |q| |LSAGG-;merge!;M3A;6|) (EXIT @@ -234,13 +234,13 @@ (COND ((SPADCALL |p| (|getShellEntry| $ 16)) |q|) ('T |p|)) - (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) (EXIT |r|)))))))) (DEFUN |LSAGG-;insert!;SAIA;7| (|s| |x| |i| $) (PROG (|m| #0=#:G1465 |y| |z|) (RETURN - (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 32)) + (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;insert!;SAIA;7|) (EXIT (COND ((< |i| |m|) (|error| "index out of range")) @@ -255,25 +255,25 @@ (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 38)) + (|getShellEntry| $ 39)) |LSAGG-;insert!;SAIA;7|) (LETT |z| (SPADCALL |y| (|getShellEntry| $ 17)) |LSAGG-;insert!;SAIA;7|) (SPADCALL |y| (SPADCALL |s| |z| (|getShellEntry| $ 14)) - (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) (EXIT |x|))))))))) (DEFUN |LSAGG-;insert!;2AIA;8| (|w| |x| |i| $) (PROG (|m| #0=#:G1469 |y| |z|) (RETURN - (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 32)) + (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;insert!;2AIA;8|) (EXIT (COND ((< |i| |m|) (|error| "index out of range")) ((EQL |i| |m|) - (SPADCALL |w| |x| (|getShellEntry| $ 40))) + (SPADCALL |w| |x| (|getShellEntry| $ 41))) ('T (SEQ (LETT |y| (SPADCALL |x| @@ -283,13 +283,13 @@ (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 38)) + (|getShellEntry| $ 39)) |LSAGG-;insert!;2AIA;8|) (LETT |z| (SPADCALL |y| (|getShellEntry| $ 17)) |LSAGG-;insert!;2AIA;8|) - (SPADCALL |y| |w| (|getShellEntry| $ 26)) - (SPADCALL |y| |z| (|getShellEntry| $ 40)) + (SPADCALL |y| |w| (|getShellEntry| $ 27)) + (SPADCALL |y| |z| (|getShellEntry| $ 41)) (EXIT |x|))))))))) (DEFUN |LSAGG-;remove!;M2A;9| (|f| |x| $) @@ -331,7 +331,7 @@ (SPADCALL |p| (SPADCALL |q| (|getShellEntry| $ 17)) - (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) |LSAGG-;remove!;M2A;9|)) ('T (SEQ @@ -348,7 +348,7 @@ (DEFUN |LSAGG-;delete!;AIA;10| (|x| |i| $) (PROG (|m| #0=#:G1481 |y|) (RETURN - (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 32)) + (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;delete!;AIA;10|) (EXIT (COND ((< |i| |m|) (|error| "index out of range")) @@ -363,29 +363,29 @@ (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 38)) + (|getShellEntry| $ 39)) |LSAGG-;delete!;AIA;10|) (SPADCALL |y| - (SPADCALL |y| 2 (|getShellEntry| $ 38)) - (|getShellEntry| $ 26)) + (SPADCALL |y| 2 (|getShellEntry| $ 39)) + (|getShellEntry| $ 27)) (EXIT |x|))))))))) (DEFUN |LSAGG-;delete!;AUsA;11| (|x| |i| $) (PROG (|l| |m| |h| #0=#:G1486 #1=#:G1487 |t| #2=#:G1488) (RETURN - (SEQ (LETT |l| (SPADCALL |i| (|getShellEntry| $ 45)) + (SEQ (LETT |l| (SPADCALL |i| (|getShellEntry| $ 46)) |LSAGG-;delete!;AUsA;11|) - (LETT |m| (SPADCALL |x| (|getShellEntry| $ 32)) + (LETT |m| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;delete!;AUsA;11|) (EXIT (COND ((< |l| |m|) (|error| "index out of range")) ('T (SEQ (LETT |h| (COND - ((SPADCALL |i| (|getShellEntry| $ 46)) - (SPADCALL |i| (|getShellEntry| $ 47))) + ((SPADCALL |i| (|getShellEntry| $ 47)) + (SPADCALL |i| (|getShellEntry| $ 48))) ('T - (SPADCALL |x| (|getShellEntry| $ 48)))) + (SPADCALL |x| (|getShellEntry| $ 49)))) |LSAGG-;delete!;AUsA;11|) (EXIT (COND ((< |h| |l|) |x|) @@ -399,7 +399,7 @@ ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 38))) + (|getShellEntry| $ 39))) ('T (SEQ (LETT |t| (SPADCALL |x| @@ -412,7 +412,7 @@ ('T 'T)) '(|NonNegativeInteger|) #1#)) - (|getShellEntry| $ 38)) + (|getShellEntry| $ 39)) |LSAGG-;delete!;AUsA;11|) (SPADCALL |t| (SPADCALL |t| @@ -425,8 +425,8 @@ ('T 'T)) '(|NonNegativeInteger|) #2#)) - (|getShellEntry| $ 38)) - (|getShellEntry| $ 26)) + (|getShellEntry| $ 39)) + (|getShellEntry| $ 27)) (EXIT |x|))))))))))))) (DEFUN |LSAGG-;find;MAU;12| (|f| |x| $) @@ -450,7 +450,7 @@ (DEFUN |LSAGG-;position;MAI;13| (|f| |x| $) (PROG (|k|) (RETURN - (SEQ (SEQ (LETT |k| (SPADCALL |x| (|getShellEntry| $ 32)) + (SEQ (SEQ (LETT |k| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;position;MAI;13|) G190 (COND @@ -469,7 +469,7 @@ G191 (EXIT NIL)) (EXIT (COND ((SPADCALL |x| (|getShellEntry| $ 16)) - (- (SPADCALL |x| (|getShellEntry| $ 32)) 1)) + (- (SPADCALL |x| (|getShellEntry| $ 33)) 1)) ('T |k|))))))) (DEFUN |LSAGG-;mergeSort| (|f| |p| |n| $) @@ -482,7 +482,7 @@ (SPADCALL (SPADCALL |p| (|getShellEntry| $ 17)) (|getShellEntry| $ 18)) (SPADCALL |p| (|getShellEntry| $ 18)) |f|) - (LETT |p| (SPADCALL |p| (|getShellEntry| $ 56)) + (LETT |p| (SPADCALL |p| (|getShellEntry| $ 57)) |LSAGG-;mergeSort|))))) (EXIT (COND ((< |n| 3) |p|) @@ -496,7 +496,7 @@ |LSAGG-;mergeSort|) (LETT |q| (SPADCALL |p| |l| - (|getShellEntry| $ 58)) + (|getShellEntry| $ 59)) |LSAGG-;mergeSort|) (LETT |p| (|LSAGG-;mergeSort| |f| |p| |l| $) |LSAGG-;mergeSort|) @@ -574,7 +574,7 @@ ((NULL (COND ((SPADCALL |x| (|getShellEntry| $ 16)) 'NIL) ('T - (SPADCALL |r| |a| (|getShellEntry| $ 62))))) + (SPADCALL |r| |a| (|getShellEntry| $ 63))))) (GO G191))) (SEQ (LETT |r| (SPADCALL |r| @@ -630,7 +630,7 @@ (SPADCALL |y| (|getShellEntry| $ 17)) |LSAGG-;map;M3A;19|))) NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |z| (|getShellEntry| $ 56))))))) + (EXIT (SPADCALL |z| (|getShellEntry| $ 57))))))) (DEFUN |LSAGG-;reverse!;2A;20| (|x| $) (PROG (|z| |y|) @@ -644,7 +644,7 @@ |x|) ('T (SEQ (SPADCALL |x| (SPADCALL (|getShellEntry| $ 13)) - (|getShellEntry| $ 26)) + (|getShellEntry| $ 27)) (SEQ G190 (COND ((NULL (NOT (SPADCALL |y| @@ -654,7 +654,7 @@ (SPADCALL |y| (|getShellEntry| $ 17)) |LSAGG-;reverse!;2A;20|) - (SPADCALL |y| |x| (|getShellEntry| $ 26)) + (SPADCALL |y| |x| (|getShellEntry| $ 27)) (LETT |x| |y| |LSAGG-;reverse!;2A;20|) (EXIT (LETT |y| |z| |LSAGG-;reverse!;2A;20|))) @@ -673,7 +673,7 @@ (SEQ (COND ((EQL |k| 1000) (COND - ((SPADCALL |x| (|getShellEntry| $ 70)) + ((SPADCALL |x| (|getShellEntry| $ 71)) (EXIT (|error| "cyclic list")))))) (LETT |y| (SPADCALL @@ -685,12 +685,12 @@ |LSAGG-;copy;2A;21|))) (LETT |k| (QSADD1 |k|) |LSAGG-;copy;2A;21|) (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |y| (|getShellEntry| $ 56))))))) + (EXIT (SPADCALL |y| (|getShellEntry| $ 57))))))) (DEFUN |LSAGG-;copyInto!;2AIA;22| (|y| |x| |s| $) (PROG (|m| #0=#:G1546 |z|) (RETURN - (SEQ (LETT |m| (SPADCALL |y| (|getShellEntry| $ 32)) + (SEQ (LETT |m| (SPADCALL |y| (|getShellEntry| $ 33)) |LSAGG-;copyInto!;2AIA;22|) (EXIT (COND ((< |s| |m|) (|error| "index out of range")) @@ -703,7 +703,7 @@ (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 38)) + (|getShellEntry| $ 39)) |LSAGG-;copyInto!;2AIA;22|) (SEQ G190 (COND @@ -719,7 +719,7 @@ (SEQ (SPADCALL |z| (SPADCALL |x| (|getShellEntry| $ 18)) - (|getShellEntry| $ 72)) + (|getShellEntry| $ 73)) (LETT |x| (SPADCALL |x| (|getShellEntry| $ 17)) @@ -735,7 +735,7 @@ (DEFUN |LSAGG-;position;SA2I;23| (|w| |x| |s| $) (PROG (|m| #0=#:G1553 |k|) (RETURN - (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 32)) + (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;position;SA2I;23|) (EXIT (COND ((< |s| |m|) (|error| "index out of range")) @@ -748,7 +748,7 @@ (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 38)) + (|getShellEntry| $ 39)) |LSAGG-;position;SA2I;23|) (SEQ (LETT |k| |s| |LSAGG-;position;SA2I;23|) G190 @@ -761,7 +761,7 @@ (SPADCALL |w| (SPADCALL |x| (|getShellEntry| $ 18)) - (|getShellEntry| $ 62))))) + (|getShellEntry| $ 63))))) (GO G191))) (SEQ (EXIT (LETT |x| @@ -774,7 +774,7 @@ (EXIT (COND ((SPADCALL |x| (|getShellEntry| $ 16)) (- (SPADCALL |x| - (|getShellEntry| $ 32)) + (|getShellEntry| $ 33)) 1)) ('T |k|))))))))))) @@ -794,8 +794,8 @@ (VECTOR $ |p|)) (SPADCALL |p| (|getShellEntry| $ 17)) - (|getShellEntry| $ 76)) - (|getShellEntry| $ 26)) + (|getShellEntry| $ 77)) + (|getShellEntry| $ 27)) |LSAGG-;removeDuplicates!;2A;24|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT |l|))))) @@ -807,7 +807,7 @@ (PROGN (SPADCALL |#1| (SPADCALL (|getShellEntry| $$ 1) (|getShellEntry| $ 18)) - (|getShellEntry| $ 75)))))) + (|getShellEntry| $ 76)))))) (DEFUN |LSAGG-;<;2AB;25| (|x| |y| $) (PROG (#0=#:G1567) @@ -829,7 +829,7 @@ (|getShellEntry| $ 18)) (SPADCALL |y| (|getShellEntry| $ 18)) - (|getShellEntry| $ 62)) + (|getShellEntry| $ 63)) (PROGN (LETT #0# (SPADCALL @@ -837,7 +837,7 @@ (|getShellEntry| $ 18)) (SPADCALL |y| (|getShellEntry| $ 18)) - (|getShellEntry| $ 78)) + (|getShellEntry| $ 79)) |LSAGG-;<;2AB;25|) (GO #0#))) ('T @@ -866,7 +866,7 @@ (LETT |dv$1| (|devaluate| |#1|) . #0=(|ListAggregate&|)) (LETT |dv$2| (|devaluate| |#2|) . #0#) (LETT |dv$| (LIST '|ListAggregate&| |dv$1| |dv$2|) . #0#) - (LETT $ (|newShell| 81) . #0#) + (LETT $ (|newShell| 82) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -875,21 +875,21 @@ (|setShellEntry| $ 7 |#2|) (COND ((|HasCategory| |#2| '(|SetCategory|)) - (|setShellEntry| $ 63 + (|setShellEntry| $ 64 (CONS (|dispatchFunction| |LSAGG-;reduce;MA3S;17|) $)))) (COND ((|HasCategory| |#2| '(|SetCategory|)) (PROGN - (|setShellEntry| $ 74 + (|setShellEntry| $ 75 (CONS (|dispatchFunction| |LSAGG-;position;SA2I;23|) $)) - (|setShellEntry| $ 77 + (|setShellEntry| $ 78 (CONS (|dispatchFunction| |LSAGG-;removeDuplicates!;2A;24|) $))))) (COND ((|HasCategory| |#2| '(|OrderedSet|)) - (|setShellEntry| $ 79 + (|setShellEntry| $ 80 (CONS (|dispatchFunction| |LSAGG-;<;2AB;25|) $)))) $)))) @@ -901,59 +901,60 @@ (20 . |rest|) (25 . |first|) (|Mapping| 7 7 7) (30 . |reduce|) |LSAGG-;reduce;MAS;3| (37 . |copy|) (42 . |merge!|) |LSAGG-;merge;M3A;4| (49 . |false|) - (53 . |setrest!|) (|Mapping| 10 7) |LSAGG-;select!;M2A;5| - (59 . |eq?|) |LSAGG-;merge!;M3A;6| (|Integer|) - (65 . |minIndex|) (70 . <) (76 . =) (82 . |One|) - (86 . |One|) (90 . -) (96 . |rest|) - |LSAGG-;insert!;SAIA;7| (102 . |concat!|) + (53 . |not|) (58 . |setrest!|) (|Mapping| 10 7) + |LSAGG-;select!;M2A;5| (64 . |eq?|) |LSAGG-;merge!;M3A;6| + (|Integer|) (70 . |minIndex|) (75 . <) (81 . =) + (87 . |One|) (91 . |One|) (95 . -) (101 . |rest|) + |LSAGG-;insert!;SAIA;7| (107 . |concat!|) |LSAGG-;insert!;2AIA;8| |LSAGG-;remove!;M2A;9| - |LSAGG-;delete!;AIA;10| (|UniversalSegment| 31) - (108 . |lo|) (113 . |hasHi|) (118 . |hi|) - (123 . |maxIndex|) (128 . +) |LSAGG-;delete!;AUsA;11| + |LSAGG-;delete!;AIA;10| (|UniversalSegment| 32) + (113 . |lo|) (118 . |hasHi|) (123 . |hi|) + (128 . |maxIndex|) (133 . +) |LSAGG-;delete!;AUsA;11| (|Union| 7 '"failed") |LSAGG-;find;MAU;12| - (|SingleInteger|) (134 . |One|) |LSAGG-;position;MAI;13| - (138 . |reverse!|) (143 . |quo|) (149 . |split!|) - (155 . |true|) |LSAGG-;sorted?;MAB;15| - |LSAGG-;reduce;MA2S;16| (159 . ~=) (165 . |reduce|) + (|SingleInteger|) (139 . |One|) |LSAGG-;position;MAI;13| + (143 . |reverse!|) (148 . |quo|) (154 . |split!|) + (160 . |true|) |LSAGG-;sorted?;MAB;15| + |LSAGG-;reduce;MA2S;16| (164 . ~=) (170 . |reduce|) |LSAGG-;new;NniSA;18| |LSAGG-;map;M3A;19| - |LSAGG-;reverse!;2A;20| (173 . |Zero|) (177 . |Zero|) - (181 . =) (187 . |cyclic?|) |LSAGG-;copy;2A;21| - (192 . |setfirst!|) |LSAGG-;copyInto!;2AIA;22| - (198 . |position|) (205 . =) (211 . |remove!|) - (217 . |removeDuplicates!|) (222 . <) (228 . <) + |LSAGG-;reverse!;2A;20| (178 . |Zero|) (182 . |Zero|) + (186 . =) (192 . |cyclic?|) |LSAGG-;copy;2A;21| + (197 . |setfirst!|) |LSAGG-;copyInto!;2AIA;22| + (203 . |position|) (210 . =) (216 . |remove!|) + (222 . |removeDuplicates!|) (227 . <) (233 . <) (|Mapping| 7 7)) - '#(|sorted?| 234 |sort!| 240 |select!| 246 |reverse!| 252 - |removeDuplicates!| 257 |remove!| 262 |reduce| 268 - |position| 289 |new| 302 |merge!| 308 |merge| 315 |map| - 322 |list| 329 |insert!| 334 |find| 348 |delete!| 354 - |copyInto!| 366 |copy| 373 < 378) + '#(|sorted?| 239 |sort!| 245 |select!| 251 |reverse!| 257 + |removeDuplicates!| 262 |remove!| 267 |reduce| 273 + |position| 294 |new| 307 |merge!| 313 |merge| 320 |map| + 327 |list| 334 |insert!| 339 |find| 353 |delete!| 359 + |copyInto!| 371 |copy| 378 < 383) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 79 + (|makeByteWordVec2| 80 '(1 6 8 0 9 0 6 0 13 2 6 0 7 0 14 1 6 10 0 16 1 6 0 0 17 1 6 7 0 18 3 6 7 19 0 7 20 1 6 0 0 22 3 6 0 11 0 0 23 - 0 10 0 25 2 6 0 0 0 26 2 6 10 0 0 29 - 1 6 31 0 32 2 31 10 0 0 33 2 31 10 0 - 0 34 0 8 0 35 0 31 0 36 2 31 0 0 0 37 - 2 6 0 0 8 38 2 6 0 0 0 40 1 44 31 0 - 45 1 44 10 0 46 1 44 31 0 47 1 6 31 0 - 48 2 31 0 0 0 49 0 53 0 54 1 6 0 0 56 - 2 31 0 0 0 57 2 6 0 0 31 58 0 10 0 59 - 2 7 10 0 0 62 4 0 7 19 0 7 7 63 0 53 - 0 67 0 8 0 68 2 8 10 0 0 69 1 6 10 0 - 70 2 6 7 0 7 72 3 0 31 7 0 31 74 2 7 - 10 0 0 75 2 6 0 27 0 76 1 0 0 0 77 2 - 7 10 0 0 78 2 0 10 0 0 79 2 0 10 11 0 - 60 2 0 0 11 0 12 2 0 0 27 0 28 1 0 0 - 0 66 1 0 0 0 77 2 0 0 27 0 42 3 0 7 - 19 0 7 61 4 0 7 19 0 7 7 63 2 0 7 19 - 0 21 2 0 31 27 0 55 3 0 31 7 0 31 74 - 2 0 0 8 7 64 3 0 0 11 0 0 30 3 0 0 11 - 0 0 24 3 0 0 19 0 0 65 1 0 0 7 15 3 0 - 0 7 0 31 39 3 0 0 0 0 31 41 2 0 51 27 - 0 52 2 0 0 0 44 50 2 0 0 0 31 43 3 0 - 0 0 0 31 73 1 0 0 0 71 2 0 10 0 0 79))))) + 0 10 0 25 1 10 0 0 26 2 6 0 0 0 27 2 + 6 10 0 0 30 1 6 32 0 33 2 32 10 0 0 + 34 2 32 10 0 0 35 0 8 0 36 0 32 0 37 + 2 32 0 0 0 38 2 6 0 0 8 39 2 6 0 0 0 + 41 1 45 32 0 46 1 45 10 0 47 1 45 32 + 0 48 1 6 32 0 49 2 32 0 0 0 50 0 54 0 + 55 1 6 0 0 57 2 32 0 0 0 58 2 6 0 0 + 32 59 0 10 0 60 2 7 10 0 0 63 4 0 7 + 19 0 7 7 64 0 54 0 68 0 8 0 69 2 8 10 + 0 0 70 1 6 10 0 71 2 6 7 0 7 73 3 0 + 32 7 0 32 75 2 7 10 0 0 76 2 6 0 28 0 + 77 1 0 0 0 78 2 7 10 0 0 79 2 0 10 0 + 0 80 2 0 10 11 0 61 2 0 0 11 0 12 2 0 + 0 28 0 29 1 0 0 0 67 1 0 0 0 78 2 0 0 + 28 0 43 3 0 7 19 0 7 62 4 0 7 19 0 7 + 7 64 2 0 7 19 0 21 2 0 32 28 0 56 3 0 + 32 7 0 32 75 2 0 0 8 7 65 3 0 0 11 0 + 0 31 3 0 0 11 0 0 24 3 0 0 19 0 0 66 + 1 0 0 7 15 3 0 0 7 0 32 40 3 0 0 0 0 + 32 42 2 0 52 28 0 53 2 0 0 0 45 51 2 + 0 0 0 32 44 3 0 0 0 0 32 74 1 0 0 0 + 72 2 0 10 0 0 80))))) '|lookupComplete|)) diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp index 1e1305b4..1c9a7a9c 100644 --- a/src/algebra/strap/NNI.lsp +++ b/src/algebra/strap/NNI.lsp @@ -2,7 +2,7 @@ (/VERSIONCHECK 2) (|noteSubDomainInfo| '|NonNegativeInteger| '(|Integer|) - '(COND ((< |#1| 0) 'NIL) ('T 'T))) + '(NOT (< |#1| 0))) (DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 0) (|%IntegerSection| 0) @@ -39,8 +39,7 @@ ('T (CONS 0 (PROG1 |c| - (|check-subtype| - (COND ((< |c| 0) 'NIL) ('T 'T)) + (|check-subtype| (NOT (< |c| 0)) '(|NonNegativeInteger|) |c|)))))))))) (DEFUN |NonNegativeInteger| () @@ -70,7 +69,7 @@ (PROGN (LETT |dv$| '(|NonNegativeInteger|) . #0=(|NonNegativeInteger|)) - (LETT $ (|newShell| 23) . #0#) + (LETT $ (|newShell| 21) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -81,18 +80,17 @@ (MAKEPROP '|NonNegativeInteger| '|infovec| (LIST '#(NIL NIL NIL NIL NIL (|Integer|) (0 . |Zero|) (4 . |Zero|) - (|Boolean|) (8 . <) (14 . |false|) (18 . |true|) - |NNI;sup;3$;1| |NNI;shift;$I$;2| (22 . -) - (|Union| $ '"failed") |NNI;subtractIfCan;2$U;3| + (|Boolean|) (8 . <) |NNI;sup;3$;1| |NNI;shift;$I$;2| + (14 . -) (|Union| $ '"failed") |NNI;subtractIfCan;2$U;3| (|Record| (|:| |quotient| $) (|:| |remainder| $)) (|PositiveInteger|) (|NonNegativeInteger|) (|SingleInteger|) (|String|) (|OutputForm|)) - '#(~= 28 |zero?| 34 |sup| 39 |subtractIfCan| 45 |shift| 51 - |sample| 57 |rem| 61 |recip| 67 |random| 72 |quo| 77 - |one?| 83 |min| 88 |max| 94 |latex| 100 |hash| 105 |gcd| - 110 |exquo| 116 |divide| 122 |coerce| 128 |before?| 133 - |Zero| 139 |One| 143 >= 147 > 153 = 159 <= 165 < 171 + 177 - ** 183 * 195) + '#(~= 20 |zero?| 26 |sup| 31 |subtractIfCan| 37 |shift| 43 + |sample| 49 |rem| 53 |recip| 59 |random| 64 |quo| 69 + |one?| 75 |min| 80 |max| 86 |latex| 92 |hash| 97 |gcd| 102 + |exquo| 108 |divide| 114 |coerce| 120 |before?| 125 |Zero| + 131 |One| 135 >= 139 > 145 = 151 <= 157 < 163 + 169 ** 175 + * 187) '(((|commutative| "*") . 0)) (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0)) (CONS '#(NIL NIL NIL NIL NIL |Monoid&| |AbelianMonoid&| @@ -106,20 +104,20 @@ (|AbelianMonoid|) (|OrderedSet|) (|SemiGroup|) (|AbelianSemiGroup|) (|SetCategory|) (|BasicType|) - (|CoercibleTo| 22)) - (|makeByteWordVec2| 22 - '(0 0 0 6 0 5 0 7 2 5 8 0 0 9 0 8 0 10 - 0 8 0 11 2 5 0 0 0 14 2 0 8 0 0 1 1 0 - 8 0 1 2 0 0 0 0 12 2 0 15 0 0 16 2 0 - 0 0 5 13 0 0 0 1 2 0 0 0 0 1 1 0 15 0 - 1 1 0 0 0 1 2 0 0 0 0 1 1 0 8 0 1 2 0 - 0 0 0 1 2 0 0 0 0 1 1 0 21 0 1 1 0 20 - 0 1 2 0 0 0 0 1 2 0 15 0 0 1 2 0 17 0 - 0 1 1 0 22 0 1 2 0 8 0 0 1 0 0 0 6 0 - 0 0 1 2 0 8 0 0 1 2 0 8 0 0 1 2 0 8 0 - 0 1 2 0 8 0 0 1 2 0 8 0 0 1 2 0 0 0 0 - 1 2 0 0 0 18 1 2 0 0 0 19 1 2 0 0 0 0 - 1 2 0 0 19 0 1 2 0 0 18 0 1))))) + (|CoercibleTo| 20)) + (|makeByteWordVec2| 20 + '(0 0 0 6 0 5 0 7 2 5 8 0 0 9 2 5 0 0 0 + 12 2 0 8 0 0 1 1 0 8 0 1 2 0 0 0 0 10 + 2 0 13 0 0 14 2 0 0 0 5 11 0 0 0 1 2 + 0 0 0 0 1 1 0 13 0 1 1 0 0 0 1 2 0 0 + 0 0 1 1 0 8 0 1 2 0 0 0 0 1 2 0 0 0 0 + 1 1 0 19 0 1 1 0 18 0 1 2 0 0 0 0 1 2 + 0 13 0 0 1 2 0 15 0 0 1 1 0 20 0 1 2 + 0 8 0 0 1 0 0 0 6 0 0 0 1 2 0 8 0 0 1 + 2 0 8 0 0 1 2 0 8 0 0 1 2 0 8 0 0 1 2 + 0 8 0 0 1 2 0 0 0 0 1 2 0 0 0 16 1 2 + 0 0 0 17 1 2 0 0 0 0 1 2 0 0 17 0 1 2 + 0 0 16 0 1))))) '|lookupComplete|)) (MAKEPROP '|NonNegativeInteger| 'NILADIC T) diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp index 902eba73..3c1f11fa 100644 --- a/src/algebra/strap/POLYCAT-.lsp +++ b/src/algebra/strap/POLYCAT-.lsp @@ -697,7 +697,7 @@ (SPADCALL |mm| (|POLYCAT-;eq2R| (|SPADfirst| |l|) |d| $) - (|getShellEntry| $ 118)) + (|getShellEntry| $ 119)) |POLYCAT-;reducedSystem;MM;20|) (EXIT (LETT |l| (CDR |l|) |POLYCAT-;reducedSystem;MM;20|))) @@ -710,7 +710,7 @@ (RETURN (SEQ (LETT |l| (SPADCALL |m| (|getShellEntry| $ 114)) |POLYCAT-;reducedSystem;MVR;21|) - (LETT |r| (SPADCALL |v| (|getShellEntry| $ 122)) + (LETT |r| (SPADCALL |v| (|getShellEntry| $ 123)) |POLYCAT-;reducedSystem;MVR;21|) (LETT |b| (SPADCALL @@ -743,7 +743,7 @@ (GO G190) G191 (EXIT (NREVERSE0 #0#)))) (|getShellEntry| $ 99)) - (|getShellEntry| $ 123)) + (|getShellEntry| $ 124)) (|getShellEntry| $ 100)) |POLYCAT-;reducedSystem;MVR;21|) (LETT |d| @@ -781,13 +781,13 @@ (SPADCALL |mm| (|POLYCAT-;eq2R| (|SPADfirst| |l|) |d| $) - (|getShellEntry| $ 118)) + (|getShellEntry| $ 119)) |POLYCAT-;reducedSystem;MVR;21|) (LETT |w| (SPADCALL |w| (|POLYCAT-;P2R| (|SPADfirst| |r|) |d| |n| $) - (|getShellEntry| $ 127)) + (|getShellEntry| $ 128)) |POLYCAT-;reducedSystem;MVR;21|) (LETT |l| (CDR |l|) |POLYCAT-;reducedSystem;MVR;21|) @@ -797,16 +797,16 @@ (EXIT (CONS |mm| |w|)))))) (DEFUN |POLYCAT-;gcdPolynomial;3Sup;22| (|pp| |qq| $) - (SPADCALL |pp| |qq| (|getShellEntry| $ 132))) + (SPADCALL |pp| |qq| (|getShellEntry| $ 133))) (DEFUN |POLYCAT-;solveLinearPolynomialEquation;LSupU;23| (|lpp| |pp| $) - (SPADCALL |lpp| |pp| (|getShellEntry| $ 137))) + (SPADCALL |lpp| |pp| (|getShellEntry| $ 138))) (DEFUN |POLYCAT-;factorPolynomial;SupF;24| (|pp| $) - (SPADCALL |pp| (|getShellEntry| $ 142))) + (SPADCALL |pp| (|getShellEntry| $ 143))) (DEFUN |POLYCAT-;factorSquareFreePolynomial;SupF;25| (|pp| $) - (SPADCALL |pp| (|getShellEntry| $ 145))) + (SPADCALL |pp| (|getShellEntry| $ 146))) (DEFUN |POLYCAT-;factor;SF;26| (|p| $) (PROG (|v| |ansR| #0=#:G1715 |w| #1=#:G1716 |up| |ansSUP| #2=#:G1717 @@ -820,12 +820,12 @@ (SPADCALL (SPADCALL |p| (|getShellEntry| $ 48)) - (|getShellEntry| $ 148)) + (|getShellEntry| $ 149)) |POLYCAT-;factor;SF;26|) (EXIT (SPADCALL (SPADCALL (SPADCALL |ansR| - (|getShellEntry| $ 150)) + (|getShellEntry| $ 151)) (|getShellEntry| $ 51)) (PROGN (LETT #0# NIL @@ -835,7 +835,7 @@ |POLYCAT-;factor;SF;26|) (LETT #1# (SPADCALL |ansR| - (|getShellEntry| $ 154)) + (|getShellEntry| $ 155)) |POLYCAT-;factor;SF;26|) G190 (COND @@ -859,20 +859,20 @@ |POLYCAT-;factor;SF;26|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) - (|getShellEntry| $ 158))))) + (|getShellEntry| $ 159))))) ('T (SEQ (LETT |up| (SPADCALL |p| (QCDR |v|) (|getShellEntry| $ 59)) |POLYCAT-;factor;SF;26|) (LETT |ansSUP| - (SPADCALL |up| (|getShellEntry| $ 142)) + (SPADCALL |up| (|getShellEntry| $ 143)) |POLYCAT-;factor;SF;26|) (EXIT (SPADCALL (SPADCALL (SPADCALL |ansSUP| - (|getShellEntry| $ 159)) - (QCDR |v|) (|getShellEntry| $ 160)) + (|getShellEntry| $ 160)) + (QCDR |v|) (|getShellEntry| $ 161)) (PROGN (LETT #2# NIL |POLYCAT-;factor;SF;26|) @@ -881,7 +881,7 @@ |POLYCAT-;factor;SF;26|) (LETT #3# (SPADCALL |ansSUP| - (|getShellEntry| $ 163)) + (|getShellEntry| $ 164)) |POLYCAT-;factor;SF;26|) G190 (COND @@ -898,7 +898,7 @@ (VECTOR (QVELT |ww| 0) (SPADCALL (QVELT |ww| 1) (QCDR |v|) - (|getShellEntry| $ 160)) + (|getShellEntry| $ 161)) (QVELT |ww| 2)) #2#) |POLYCAT-;factor;SF;26|))) @@ -906,7 +906,7 @@ |POLYCAT-;factor;SF;26|) (GO G190) G191 (EXIT (NREVERSE0 #2#)))) - (|getShellEntry| $ 158))))))))))) + (|getShellEntry| $ 159))))))))))) (DEFUN |POLYCAT-;conditionP;MU;27| (|mat| $) (PROG (|ll| #0=#:G1719 |z| #1=#:G1720 |ch| |l| #2=#:G1721 #3=#:G1722 @@ -920,7 +920,7 @@ (SEQ (EXIT (SEQ (LETT |ll| (SPADCALL (SPADCALL |mat| - (|getShellEntry| $ 165)) + (|getShellEntry| $ 166)) (|getShellEntry| $ 114)) |POLYCAT-;conditionP;MU;27|) (LETT |llR| @@ -949,7 +949,7 @@ (EXIT (NREVERSE0 #0#)))) |POLYCAT-;conditionP;MU;27|) (LETT |monslist| NIL |POLYCAT-;conditionP;MU;27|) - (LETT |ch| (|spadConstant| $ 168) + (LETT |ch| (|spadConstant| $ 169) |POLYCAT-;conditionP;MU;27|) (SEQ (LETT |l| NIL |POLYCAT-;conditionP;MU;27|) (LETT #2# |ll| |POLYCAT-;conditionP;MU;27|) @@ -990,7 +990,7 @@ (LETT #5# (SPADCALL #5# #4# (|getShellEntry| $ - 169)) + 170)) |POLYCAT-;conditionP;MU;27|)) ('T (PROGN @@ -1028,7 +1028,7 @@ |POLYCAT-;conditionP;MU;27|) (LETT |degs| (SPADCALL |m| |vars| - (|getShellEntry| $ 170)) + (|getShellEntry| $ 171)) |POLYCAT-;conditionP;MU;27|) (LETT |deg1| (PROGN @@ -1055,7 +1055,7 @@ (LETT |nd| (SPADCALL |d| |ch| (|getShellEntry| $ - 172)) + 173)) |POLYCAT-;conditionP;MU;27|) (EXIT (COND @@ -1071,10 +1071,7 @@ (QCDR |nd|) |POLYCAT-;conditionP;MU;27|) (|check-subtype| - (COND - ((< #11# 0) - 'NIL) - ('T 'T)) + (NOT (< #11# 0)) '(|NonNegativeInteger|) #11#)))))) #8#) @@ -1129,7 +1126,7 @@ (|getShellEntry| $ 68)) (|getShellEntry| $ - 174)) + 175)) |v|) #12#) |POLYCAT-;conditionP;MU;27|))) @@ -1155,8 +1152,8 @@ (SPADCALL (SPADCALL |llR| (|getShellEntry| $ 111)) - (|getShellEntry| $ 177)) - (|getShellEntry| $ 179)) + (|getShellEntry| $ 178)) + (|getShellEntry| $ 180)) |POLYCAT-;conditionP;MU;27|) (EXIT (COND ((QEQCAR |ans| 1) (CONS 1 "failed")) @@ -1217,11 +1214,11 @@ (+ |i| 1) |POLYCAT-;conditionP;MU;27|) (|getShellEntry| - $ 180)) + $ 181)) (|getShellEntry| $ 51)) (|getShellEntry| - $ 181)) + $ 182)) |POLYCAT-;conditionP;MU;27|) (COND (#21# @@ -1229,7 +1226,7 @@ (SPADCALL #20# #19# (|getShellEntry| - $ 182)) + $ 183)) |POLYCAT-;conditionP;MU;27|)) ('T (PROGN @@ -1265,8 +1262,8 @@ (SEQ (LETT |ans| (SPADCALL (SPADCALL |p| - (|getShellEntry| $ 174)) - (|getShellEntry| $ 184)) + (|getShellEntry| $ 175)) + (|getShellEntry| $ 185)) |POLYCAT-;charthRoot;SU;28|) (EXIT (COND ((QEQCAR |ans| 1) (CONS 1 "failed")) @@ -1275,7 +1272,7 @@ (SPADCALL (QCDR |ans|) (|getShellEntry| $ 51)))))))) ('T - (SEQ (LETT |ch| (|spadConstant| $ 168) + (SEQ (LETT |ch| (|spadConstant| $ 169) |POLYCAT-;charthRoot;SU;28|) (EXIT (|POLYCAT-;charthRootlv| |p| |vars| |ch| $)))))))))) @@ -1288,8 +1285,8 @@ (SEQ (LETT |ans| (SPADCALL (SPADCALL |p| - (|getShellEntry| $ 174)) - (|getShellEntry| $ 184)) + (|getShellEntry| $ 175)) + (|getShellEntry| $ 185)) |POLYCAT-;charthRootlv|) (EXIT (COND ((QEQCAR |ans| 1) (CONS 1 "failed")) @@ -1311,7 +1308,7 @@ (SEQ G190 (COND ((NULL (< 0 |d|)) (GO G191))) (SEQ (LETT |dd| (SPADCALL |d| |ch| - (|getShellEntry| $ 172)) + (|getShellEntry| $ 173)) |POLYCAT-;charthRootlv|) (EXIT (COND @@ -1324,13 +1321,13 @@ (SEQ (LETT |cp| (SPADCALL |p| |v| |d| - (|getShellEntry| $ 189)) + (|getShellEntry| $ 190)) |POLYCAT-;charthRootlv|) (LETT |p| (SPADCALL |p| (SPADCALL |cp| |v| |d| (|getShellEntry| $ 47)) - (|getShellEntry| $ 190)) + (|getShellEntry| $ 191)) |POLYCAT-;charthRootlv|) (LETT |ansx| (|POLYCAT-;charthRootlv| |cp| @@ -1359,13 +1356,11 @@ (LETT #0# (QCDR |dd|) |POLYCAT-;charthRootlv|) (|check-subtype| - (COND - ((< #0# 0) 'NIL) - ('T 'T)) + (NOT (< #0# 0)) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 47)) - (|getShellEntry| $ 182)) + (|getShellEntry| $ 183)) |POLYCAT-;charthRootlv|))))))))))) NIL (GO G190) G191 (EXIT NIL)) (LETT |ansx| @@ -1383,7 +1378,7 @@ (LETT #1# (CONS 0 (SPADCALL |ans| (QCDR |ansx|) - (|getShellEntry| $ 182))) + (|getShellEntry| $ 183))) |POLYCAT-;charthRootlv|) (GO #1#))))))))) #1# (EXIT #1#))))) @@ -1395,34 +1390,34 @@ (SPADCALL (SPADCALL |p1| |mvar| (|getShellEntry| $ 59)) (SPADCALL |p2| |mvar| (|getShellEntry| $ 59)) - (|getShellEntry| $ 192)) + (|getShellEntry| $ 193)) |POLYCAT-;monicDivide;2SVarSetR;30|) (EXIT (CONS (SPADCALL (QCAR |result|) |mvar| - (|getShellEntry| $ 160)) + (|getShellEntry| $ 161)) (SPADCALL (QCDR |result|) |mvar| - (|getShellEntry| $ 160)))))))) + (|getShellEntry| $ 161)))))))) (DEFUN |POLYCAT-;squareFree;SF;31| (|p| $) - (SPADCALL |p| (|getShellEntry| $ 195))) + (SPADCALL |p| (|getShellEntry| $ 196))) (DEFUN |POLYCAT-;squareFree;SF;32| (|p| $) - (SPADCALL |p| (|getShellEntry| $ 198))) + (SPADCALL |p| (|getShellEntry| $ 199))) (DEFUN |POLYCAT-;squareFree;SF;33| (|p| $) - (SPADCALL |p| (|getShellEntry| $ 198))) + (SPADCALL |p| (|getShellEntry| $ 199))) (DEFUN |POLYCAT-;squareFreePart;2S;34| (|p| $) (PROG (|s| |f| #0=#:G1733 #1=#:G1653 #2=#:G1651 #3=#:G1652) (RETURN (SEQ (SPADCALL (SPADCALL - (LETT |s| (SPADCALL |p| (|getShellEntry| $ 199)) + (LETT |s| (SPADCALL |p| (|getShellEntry| $ 200)) |POLYCAT-;squareFreePart;2S;34|) - (|getShellEntry| $ 200)) + (|getShellEntry| $ 201)) (PROGN (LETT #3# NIL |POLYCAT-;squareFreePart;2S;34|) (SEQ (LETT |f| NIL |POLYCAT-;squareFreePart;2S;34|) - (LETT #0# (SPADCALL |s| (|getShellEntry| $ 203)) + (LETT #0# (SPADCALL |s| (|getShellEntry| $ 204)) |POLYCAT-;squareFreePart;2S;34|) G190 (COND @@ -1439,7 +1434,7 @@ (#3# (LETT #2# (SPADCALL #2# #1# - (|getShellEntry| $ 181)) + (|getShellEntry| $ 182)) |POLYCAT-;squareFreePart;2S;34|)) ('T (PROGN @@ -1451,11 +1446,11 @@ |POLYCAT-;squareFreePart;2S;34|) (GO G190) G191 (EXIT NIL)) (COND (#3# #2#) ('T (|spadConstant| $ 43)))) - (|getShellEntry| $ 181)))))) + (|getShellEntry| $ 182)))))) (DEFUN |POLYCAT-;content;SVarSetS;35| (|p| |v| $) (SPADCALL (SPADCALL |p| |v| (|getShellEntry| $ 59)) - (|getShellEntry| $ 205))) + (|getShellEntry| $ 206))) (DEFUN |POLYCAT-;primitivePart;2S;36| (|p| $) (PROG (#0=#:G1657) @@ -1464,13 +1459,13 @@ (PROG2 (LETT #0# (SPADCALL |p| (SPADCALL |p| - (|getShellEntry| $ 207)) - (|getShellEntry| $ 208)) + (|getShellEntry| $ 208)) + (|getShellEntry| $ 209)) |POLYCAT-;primitivePart;2S;36|) (QCDR #0#) (|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 6) #0#)) - (|getShellEntry| $ 210)) + (|getShellEntry| $ 211)) 1)))) (DEFUN |POLYCAT-;primitivePart;SVarSetS;37| (|p| |v| $) @@ -1480,13 +1475,13 @@ (PROG2 (LETT #0# (SPADCALL |p| (SPADCALL |p| |v| - (|getShellEntry| $ 212)) - (|getShellEntry| $ 213)) + (|getShellEntry| $ 213)) + (|getShellEntry| $ 214)) |POLYCAT-;primitivePart;SVarSetS;37|) (QCDR #0#) (|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 6) #0#)) - (|getShellEntry| $ 210)) + (|getShellEntry| $ 211)) 1)))) (DEFUN |POLYCAT-;before?;2SB;38| (|p| |q| $) @@ -1497,34 +1492,34 @@ (LETT |dq| (SPADCALL |q| (|getShellEntry| $ 75)) |POLYCAT-;before?;2SB;38|) (EXIT (COND - ((SPADCALL |dp| |dq| (|getShellEntry| $ 215)) + ((SPADCALL |dp| |dq| (|getShellEntry| $ 216)) (SPADCALL (|spadConstant| $ 28) (SPADCALL |q| (|getShellEntry| $ 48)) - (|getShellEntry| $ 216))) - ((SPADCALL |dq| |dp| (|getShellEntry| $ 215)) + (|getShellEntry| $ 217))) + ((SPADCALL |dq| |dp| (|getShellEntry| $ 216)) (SPADCALL (SPADCALL |p| (|getShellEntry| $ 48)) - (|spadConstant| $ 28) (|getShellEntry| $ 216))) + (|spadConstant| $ 28) (|getShellEntry| $ 217))) ('T (SPADCALL (SPADCALL (SPADCALL |p| |q| - (|getShellEntry| $ 190)) + (|getShellEntry| $ 191)) (|getShellEntry| $ 48)) - (|spadConstant| $ 28) (|getShellEntry| $ 216))))))))) + (|spadConstant| $ 28) (|getShellEntry| $ 217))))))))) (DEFUN |POLYCAT-;patternMatch;SP2Pmr;39| (|p| |pat| |l| $) - (SPADCALL |p| |pat| |l| (|getShellEntry| $ 221))) + (SPADCALL |p| |pat| |l| (|getShellEntry| $ 222))) (DEFUN |POLYCAT-;patternMatch;SP2Pmr;40| (|p| |pat| |l| $) - (SPADCALL |p| |pat| |l| (|getShellEntry| $ 228))) + (SPADCALL |p| |pat| |l| (|getShellEntry| $ 229))) (DEFUN |POLYCAT-;convert;SP;41| (|x| $) - (SPADCALL (ELT $ 231) (ELT $ 232) |x| (|getShellEntry| $ 236))) + (SPADCALL (ELT $ 232) (ELT $ 233) |x| (|getShellEntry| $ 237))) (DEFUN |POLYCAT-;convert;SP;42| (|x| $) - (SPADCALL (ELT $ 238) (ELT $ 239) |x| (|getShellEntry| $ 243))) + (SPADCALL (ELT $ 239) (ELT $ 240) |x| (|getShellEntry| $ 244))) (DEFUN |POLYCAT-;convert;SIf;43| (|p| $) - (SPADCALL (ELT $ 246) (ELT $ 247) |p| (|getShellEntry| $ 251))) + (SPADCALL (ELT $ 247) (ELT $ 248) |p| (|getShellEntry| $ 252))) (DEFUN |PolynomialCategory&| (|#1| |#2| |#3| |#4|) (PROG (|dv$1| |dv$2| |dv$3| |dv$4| |dv$| $ |pv$|) @@ -1536,7 +1531,7 @@ (LETT |dv$4| (|devaluate| |#4|) . #0#) (LETT |dv$| (LIST '|PolynomialCategory&| |dv$1| |dv$2| |dv$3| |dv$4|) . #0#) - (LETT $ (|newShell| 260) . #0#) + (LETT $ (|newShell| 261) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| @@ -1590,46 +1585,46 @@ (COND ((|HasCategory| |#2| '(|IntegralDomain|)) (PROGN - (|setShellEntry| $ 120 + (|setShellEntry| $ 121 (CONS (|dispatchFunction| |POLYCAT-;reducedSystem;MM;20|) $)) - (|setShellEntry| $ 130 + (|setShellEntry| $ 131 (CONS (|dispatchFunction| |POLYCAT-;reducedSystem;MVR;21|) $))))) (COND ((|testBitVector| |pv$| 1) (PROGN - (|setShellEntry| $ 133 + (|setShellEntry| $ 134 (CONS (|dispatchFunction| |POLYCAT-;gcdPolynomial;3Sup;22|) $)) - (|setShellEntry| $ 140 + (|setShellEntry| $ 141 (CONS (|dispatchFunction| |POLYCAT-;solveLinearPolynomialEquation;LSupU;23|) $)) - (|setShellEntry| $ 144 + (|setShellEntry| $ 145 (CONS (|dispatchFunction| |POLYCAT-;factorPolynomial;SupF;24|) $)) - (|setShellEntry| $ 146 + (|setShellEntry| $ 147 (CONS (|dispatchFunction| |POLYCAT-;factorSquareFreePolynomial;SupF;25|) $)) - (|setShellEntry| $ 164 + (|setShellEntry| $ 165 (CONS (|dispatchFunction| |POLYCAT-;factor;SF;26|) $)) (COND ((|HasCategory| |#2| '(|CharacteristicNonZero|)) (PROGN - (|setShellEntry| $ 183 + (|setShellEntry| $ 184 (CONS (|dispatchFunction| |POLYCAT-;conditionP;MU;27|) $)))))))) (COND ((|HasCategory| |#2| '(|CharacteristicNonZero|)) (PROGN - (|setShellEntry| $ 185 + (|setShellEntry| $ 186 (CONS (|dispatchFunction| |POLYCAT-;charthRoot;SU;28|) $))))) (COND @@ -1639,33 +1634,33 @@ ((|HasCategory| |#2| '(|EuclideanDomain|)) (COND ((|HasCategory| |#2| '(|CharacteristicZero|)) - (|setShellEntry| $ 196 + (|setShellEntry| $ 197 (CONS (|dispatchFunction| |POLYCAT-;squareFree;SF;31|) $))) ('T - (|setShellEntry| $ 196 + (|setShellEntry| $ 197 (CONS (|dispatchFunction| |POLYCAT-;squareFree;SF;32|) $))))) ('T - (|setShellEntry| $ 196 + (|setShellEntry| $ 197 (CONS (|dispatchFunction| |POLYCAT-;squareFree;SF;33|) $)))) - (|setShellEntry| $ 204 + (|setShellEntry| $ 205 (CONS (|dispatchFunction| |POLYCAT-;squareFreePart;2S;34|) $)) - (|setShellEntry| $ 206 + (|setShellEntry| $ 207 (CONS (|dispatchFunction| |POLYCAT-;content;SVarSetS;35|) $)) - (|setShellEntry| $ 211 + (|setShellEntry| $ 212 (CONS (|dispatchFunction| |POLYCAT-;primitivePart;2S;36|) $)) - (|setShellEntry| $ 214 + (|setShellEntry| $ 215 (CONS (|dispatchFunction| |POLYCAT-;primitivePart;SVarSetS;37|) $))))) @@ -1673,7 +1668,7 @@ ((|testBitVector| |pv$| 8) (COND ((|testBitVector| |pv$| 7) - (|setShellEntry| $ 223 + (|setShellEntry| $ 224 (CONS (|dispatchFunction| |POLYCAT-;patternMatch;SP2Pmr;39|) $)))))) @@ -1681,7 +1676,7 @@ ((|testBitVector| |pv$| 6) (COND ((|testBitVector| |pv$| 5) - (|setShellEntry| $ 230 + (|setShellEntry| $ 231 (CONS (|dispatchFunction| |POLYCAT-;patternMatch;SP2Pmr;40|) $)))))) @@ -1689,21 +1684,21 @@ ((|testBitVector| |pv$| 12) (COND ((|testBitVector| |pv$| 11) - (|setShellEntry| $ 237 + (|setShellEntry| $ 238 (CONS (|dispatchFunction| |POLYCAT-;convert;SP;41|) $)))))) (COND ((|testBitVector| |pv$| 10) (COND ((|testBitVector| |pv$| 9) - (|setShellEntry| $ 244 + (|setShellEntry| $ 245 (CONS (|dispatchFunction| |POLYCAT-;convert;SP;42|) $)))))) (COND ((|testBitVector| |pv$| 14) (COND ((|testBitVector| |pv$| 13) - (|setShellEntry| $ 252 + (|setShellEntry| $ 253 (CONS (|dispatchFunction| |POLYCAT-;convert;SIf;43|) $)))))) $)))) @@ -1753,92 +1748,92 @@ (349 . |qsetelt!|) (|List| 7) (|List| 108) (|Matrix| 7) (356 . |matrix|) (|List| 25) (|Matrix| 6) (361 . |listOfLists|) (366 . |first|) (371 . |rest|) - (376 . |empty?|) (381 . |vertConcat|) (|Matrix| $) - (387 . |reducedSystem|) (|Vector| 6) (392 . |entries|) - (397 . |concat|) (|List| 8) (403 . |#|) (408 . |first|) - (413 . |concat|) + (376 . |empty?|) (381 . |not|) (386 . |vertConcat|) + (|Matrix| $) (392 . |reducedSystem|) (|Vector| 6) + (397 . |entries|) (402 . |concat|) (|List| 8) (408 . |#|) + (413 . |first|) (418 . |concat|) (|Record| (|:| |mat| 110) (|:| |vec| 101)) (|Vector| $) - (419 . |reducedSystem|) + (424 . |reducedSystem|) (|GeneralPolynomialGcdPackage| 8 9 7 6) - (425 . |gcdPolynomial|) (431 . |gcdPolynomial|) - (|List| 60) (|Union| 134 '"failed") + (430 . |gcdPolynomial|) (436 . |gcdPolynomial|) + (|List| 60) (|Union| 135 '"failed") (|PolynomialFactorizationByRecursion| 7 8 9 6) - (437 . |solveLinearPolynomialEquationByRecursion|) - (|List| 58) (|Union| 138 '"failed") - (443 . |solveLinearPolynomialEquation|) (|Factored| 60) - (449 . |factorByRecursion|) (|Factored| 58) - (454 . |factorPolynomial|) - (459 . |factorSquareFreeByRecursion|) - (464 . |factorSquareFreePolynomial|) (|Factored| $) - (469 . |factor|) (|Factored| 7) (474 . |unit|) + (442 . |solveLinearPolynomialEquationByRecursion|) + (|List| 58) (|Union| 139 '"failed") + (448 . |solveLinearPolynomialEquation|) (|Factored| 60) + (454 . |factorByRecursion|) (|Factored| 58) + (459 . |factorPolynomial|) + (464 . |factorSquareFreeByRecursion|) + (469 . |factorSquareFreePolynomial|) (|Factored| $) + (474 . |factor|) (|Factored| 7) (479 . |unit|) (|Union| '"nil" '"sqfr" '"irred" '"prime") - (|Record| (|:| |flg| 151) (|:| |fctr| 7) (|:| |xpnt| 103)) - (|List| 152) (479 . |factorList|) - (|Record| (|:| |flg| 151) (|:| |fctr| 6) (|:| |xpnt| 103)) - (|List| 155) (|Factored| 6) (484 . |makeFR|) - (490 . |unit|) (495 . |multivariate|) - (|Record| (|:| |flg| 151) (|:| |fctr| 60) + (|Record| (|:| |flg| 152) (|:| |fctr| 7) (|:| |xpnt| 103)) + (|List| 153) (484 . |factorList|) + (|Record| (|:| |flg| 152) (|:| |fctr| 6) (|:| |xpnt| 103)) + (|List| 156) (|Factored| 6) (489 . |makeFR|) + (495 . |unit|) (500 . |multivariate|) + (|Record| (|:| |flg| 152) (|:| |fctr| 60) (|:| |xpnt| 103)) - (|List| 161) (501 . |factorList|) (506 . |factor|) - (511 . |transpose|) (516 . |empty|) (520 . |empty|) - (524 . |characteristic|) (528 . |setUnion|) - (534 . |degree|) (|Union| $ '"failed") (540 . |exquo|) - (546 . |cons|) (552 . |ground|) (557 . |cons|) - (563 . |cons|) (569 . |transpose|) (|Union| 129 '"failed") - (574 . |conditionP|) (579 . |elt|) (585 . *) (591 . +) - (597 . |conditionP|) (602 . |charthRoot|) - (607 . |charthRoot|) (612 . |Zero|) (616 . |Zero|) - (620 . <) (626 . |coefficient|) (633 . -) + (|List| 162) (506 . |factorList|) (511 . |factor|) + (516 . |transpose|) (521 . |empty|) (525 . |empty|) + (529 . |characteristic|) (533 . |setUnion|) + (539 . |degree|) (|Union| $ '"failed") (545 . |exquo|) + (551 . |cons|) (557 . |ground|) (562 . |cons|) + (568 . |cons|) (574 . |transpose|) (|Union| 130 '"failed") + (579 . |conditionP|) (584 . |elt|) (590 . *) (596 . +) + (602 . |conditionP|) (607 . |charthRoot|) + (612 . |charthRoot|) (617 . |Zero|) (621 . |Zero|) + (625 . <) (631 . |coefficient|) (638 . -) (|Record| (|:| |quotient| $) (|:| |remainder| $)) - (639 . |monicDivide|) |POLYCAT-;monicDivide;2SVarSetR;30| - (|MultivariateSquareFree| 8 9 7 6) (645 . |squareFree|) - (650 . |squareFree|) (|PolynomialSquareFree| 9 8 7 6) - (655 . |squareFree|) (660 . |squareFree|) (665 . |unit|) + (644 . |monicDivide|) |POLYCAT-;monicDivide;2SVarSetR;30| + (|MultivariateSquareFree| 8 9 7 6) (650 . |squareFree|) + (655 . |squareFree|) (|PolynomialSquareFree| 9 8 7 6) + (660 . |squareFree|) (665 . |squareFree|) (670 . |unit|) (|Record| (|:| |factor| 6) (|:| |exponent| 103)) - (|List| 201) (670 . |factors|) (675 . |squareFreePart|) - (680 . |content|) (685 . |content|) (691 . |content|) - (696 . |exquo|) + (|List| 202) (675 . |factors|) (680 . |squareFreePart|) + (685 . |content|) (690 . |content|) (696 . |content|) + (701 . |exquo|) (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $)) - (702 . |unitNormal|) (707 . |primitivePart|) - (712 . |content|) (718 . |exquo|) (724 . |primitivePart|) - (730 . <) (736 . |before?|) |POLYCAT-;before?;2SB;38| + (707 . |unitNormal|) (712 . |primitivePart|) + (717 . |content|) (723 . |exquo|) (729 . |primitivePart|) + (735 . <) (741 . |before?|) |POLYCAT-;before?;2SB;38| (|PatternMatchResult| 103 6) (|Pattern| 103) (|PatternMatchPolynomialCategory| 103 8 9 7 6) - (742 . |patternMatch|) (|PatternMatchResult| 103 $) - (749 . |patternMatch|) (|Float|) - (|PatternMatchResult| 224 6) (|Pattern| 224) - (|PatternMatchPolynomialCategory| 224 8 9 7 6) - (756 . |patternMatch|) (|PatternMatchResult| 224 $) - (763 . |patternMatch|) (770 . |convert|) (775 . |convert|) - (|Mapping| 219 9) (|Mapping| 219 7) - (|PolynomialCategoryLifting| 8 9 7 6 219) (780 . |map|) - (787 . |convert|) (792 . |convert|) (797 . |convert|) - (|Mapping| 226 9) (|Mapping| 226 7) - (|PolynomialCategoryLifting| 8 9 7 6 226) (802 . |map|) - (809 . |convert|) (|InputForm|) (814 . |convert|) - (819 . |convert|) (|Mapping| 245 9) (|Mapping| 245 7) - (|PolynomialCategoryLifting| 8 9 7 6 245) (824 . |map|) - (831 . |convert|) (|Matrix| 103) (|Vector| 103) - (|Record| (|:| |mat| 253) (|:| |vec| 254)) + (747 . |patternMatch|) (|PatternMatchResult| 103 $) + (754 . |patternMatch|) (|Float|) + (|PatternMatchResult| 225 6) (|Pattern| 225) + (|PatternMatchPolynomialCategory| 225 8 9 7 6) + (761 . |patternMatch|) (|PatternMatchResult| 225 $) + (768 . |patternMatch|) (775 . |convert|) (780 . |convert|) + (|Mapping| 220 9) (|Mapping| 220 7) + (|PolynomialCategoryLifting| 8 9 7 6 220) (785 . |map|) + (792 . |convert|) (797 . |convert|) (802 . |convert|) + (|Mapping| 227 9) (|Mapping| 227 7) + (|PolynomialCategoryLifting| 8 9 7 6 227) (807 . |map|) + (814 . |convert|) (|InputForm|) (819 . |convert|) + (824 . |convert|) (|Mapping| 246 9) (|Mapping| 246 7) + (|PolynomialCategoryLifting| 8 9 7 6 246) (829 . |map|) + (836 . |convert|) (|Matrix| 103) (|Vector| 103) + (|Record| (|:| |mat| 254) (|:| |vec| 255)) (|Union| 103 '"failed") (|Fraction| 103) - (|Union| 257 '"failed") (|Union| 7 '"failed")) - '#(|totalDegree| 836 |squareFreePart| 847 |squareFree| 852 - |solveLinearPolynomialEquation| 857 |retractIfCan| 863 - |retract| 868 |resultant| 873 |reducedSystem| 880 - |primitivePart| 891 |primitiveMonomials| 902 - |patternMatch| 907 |monomials| 921 |monomial| 926 - |monicDivide| 933 |isTimes| 940 |isPlus| 945 |isExpt| 950 - |gcdPolynomial| 955 |factorSquareFreePolynomial| 961 - |factorPolynomial| 966 |factor| 971 |eval| 976 - |discriminant| 982 |convert| 988 |content| 1003 - |conditionP| 1009 |coefficient| 1014 |charthRoot| 1028 - |before?| 1033) + (|Union| 258 '"failed") (|Union| 7 '"failed")) + '#(|totalDegree| 841 |squareFreePart| 852 |squareFree| 857 + |solveLinearPolynomialEquation| 862 |retractIfCan| 868 + |retract| 873 |resultant| 878 |reducedSystem| 885 + |primitivePart| 896 |primitiveMonomials| 907 + |patternMatch| 912 |monomials| 926 |monomial| 931 + |monicDivide| 938 |isTimes| 945 |isPlus| 950 |isExpt| 955 + |gcdPolynomial| 960 |factorSquareFreePolynomial| 966 + |factorPolynomial| 971 |factor| 976 |eval| 981 + |discriminant| 987 |convert| 993 |content| 1008 + |conditionP| 1014 |coefficient| 1019 |charthRoot| 1033 + |before?| 1038) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 252 + (|makeByteWordVec2| 253 '(1 12 10 0 13 1 11 6 0 14 1 6 15 0 16 1 6 9 0 17 1 11 6 0 18 3 6 0 0 19 20 21 0 25 0 26 0 6 0 27 0 7 0 28 2 6 10 @@ -1864,54 +1859,54 @@ 103 0 105 2 6 7 0 8 106 3 101 7 0 103 7 107 1 110 0 109 111 1 113 112 0 114 1 112 25 0 115 1 112 0 0 116 1 112 10 - 0 117 2 110 0 0 0 118 1 0 110 119 120 - 1 121 25 0 122 2 25 0 0 0 123 1 124 - 45 0 125 1 25 6 0 126 2 101 0 0 0 127 - 2 0 128 119 129 130 2 131 60 60 60 - 132 2 0 58 58 58 133 2 136 135 134 60 - 137 2 0 139 138 58 140 1 136 141 60 - 142 1 0 143 58 144 1 136 141 60 145 1 - 0 143 58 146 1 7 147 0 148 1 149 7 0 - 150 1 149 153 0 154 2 157 0 6 156 158 - 1 141 60 0 159 2 6 0 58 9 160 1 141 - 162 0 163 1 0 147 0 164 1 113 0 0 165 - 0 108 0 166 0 112 0 167 0 6 45 168 2 - 25 0 0 0 169 2 6 63 0 19 170 2 103 - 171 0 0 172 2 25 0 6 0 173 1 6 7 0 - 174 2 108 0 7 0 175 2 112 0 25 0 176 - 1 110 0 0 177 1 7 178 119 179 2 101 7 - 0 103 180 2 6 0 0 0 181 2 6 0 0 0 182 - 1 0 178 119 183 1 7 171 0 184 1 0 171 - 0 185 0 8 0 186 0 103 0 187 2 45 10 0 - 0 188 3 6 0 0 9 45 189 2 6 0 0 0 190 - 2 60 191 0 0 192 1 194 157 6 195 1 0 - 147 0 196 1 197 157 6 198 1 6 147 0 - 199 1 157 6 0 200 1 157 202 0 203 1 0 - 0 0 204 1 60 6 0 205 2 0 0 0 9 206 1 - 6 7 0 207 2 6 171 0 7 208 1 6 209 0 - 210 1 0 0 0 211 2 6 0 0 9 212 2 6 171 - 0 0 213 2 0 0 0 9 214 2 8 10 0 0 215 - 2 7 10 0 0 216 3 220 218 6 219 218 - 221 3 0 222 0 219 222 223 3 227 225 6 - 226 225 228 3 0 229 0 226 229 230 1 9 - 219 0 231 1 7 219 0 232 3 235 219 233 - 234 6 236 1 0 219 0 237 1 9 226 0 238 - 1 7 226 0 239 3 242 226 240 241 6 243 - 1 0 226 0 244 1 9 245 0 246 1 7 245 0 - 247 3 250 245 248 249 6 251 1 0 245 0 - 252 2 0 45 0 19 93 1 0 45 0 88 1 0 0 - 0 204 1 0 147 0 196 2 0 139 138 58 - 140 1 0 15 0 74 1 0 9 0 73 3 0 0 0 0 - 9 95 2 0 128 119 129 130 1 0 110 119 - 120 2 0 0 0 9 214 1 0 0 0 211 1 0 20 - 0 77 3 0 229 0 226 229 230 3 0 222 0 - 219 222 223 1 0 20 0 34 3 0 0 0 19 63 - 71 3 0 191 0 0 9 193 1 0 38 0 52 1 0 - 38 0 39 1 0 56 0 57 2 0 58 58 58 133 - 1 0 143 58 146 1 0 143 58 144 1 0 147 - 0 164 2 0 0 0 23 24 2 0 0 0 9 97 1 0 - 219 0 237 1 0 245 0 252 1 0 226 0 244 - 2 0 0 0 9 206 1 0 178 119 183 3 0 0 0 - 9 45 62 3 0 0 0 19 63 69 1 0 171 0 - 185 2 0 10 0 0 217))))) + 0 117 1 10 0 0 118 2 110 0 0 0 119 1 + 0 110 120 121 1 122 25 0 123 2 25 0 0 + 0 124 1 125 45 0 126 1 25 6 0 127 2 + 101 0 0 0 128 2 0 129 120 130 131 2 + 132 60 60 60 133 2 0 58 58 58 134 2 + 137 136 135 60 138 2 0 140 139 58 141 + 1 137 142 60 143 1 0 144 58 145 1 137 + 142 60 146 1 0 144 58 147 1 7 148 0 + 149 1 150 7 0 151 1 150 154 0 155 2 + 158 0 6 157 159 1 142 60 0 160 2 6 0 + 58 9 161 1 142 163 0 164 1 0 148 0 + 165 1 113 0 0 166 0 108 0 167 0 112 0 + 168 0 6 45 169 2 25 0 0 0 170 2 6 63 + 0 19 171 2 103 172 0 0 173 2 25 0 6 0 + 174 1 6 7 0 175 2 108 0 7 0 176 2 112 + 0 25 0 177 1 110 0 0 178 1 7 179 120 + 180 2 101 7 0 103 181 2 6 0 0 0 182 2 + 6 0 0 0 183 1 0 179 120 184 1 7 172 0 + 185 1 0 172 0 186 0 8 0 187 0 103 0 + 188 2 45 10 0 0 189 3 6 0 0 9 45 190 + 2 6 0 0 0 191 2 60 192 0 0 193 1 195 + 158 6 196 1 0 148 0 197 1 198 158 6 + 199 1 6 148 0 200 1 158 6 0 201 1 158 + 203 0 204 1 0 0 0 205 1 60 6 0 206 2 + 0 0 0 9 207 1 6 7 0 208 2 6 172 0 7 + 209 1 6 210 0 211 1 0 0 0 212 2 6 0 0 + 9 213 2 6 172 0 0 214 2 0 0 0 9 215 2 + 8 10 0 0 216 2 7 10 0 0 217 3 221 219 + 6 220 219 222 3 0 223 0 220 223 224 3 + 228 226 6 227 226 229 3 0 230 0 227 + 230 231 1 9 220 0 232 1 7 220 0 233 3 + 236 220 234 235 6 237 1 0 220 0 238 1 + 9 227 0 239 1 7 227 0 240 3 243 227 + 241 242 6 244 1 0 227 0 245 1 9 246 0 + 247 1 7 246 0 248 3 251 246 249 250 6 + 252 1 0 246 0 253 2 0 45 0 19 93 1 0 + 45 0 88 1 0 0 0 205 1 0 148 0 197 2 0 + 140 139 58 141 1 0 15 0 74 1 0 9 0 73 + 3 0 0 0 0 9 95 2 0 129 120 130 131 1 + 0 110 120 121 2 0 0 0 9 215 1 0 0 0 + 212 1 0 20 0 77 3 0 230 0 227 230 231 + 3 0 223 0 220 223 224 1 0 20 0 34 3 0 + 0 0 19 63 71 3 0 192 0 0 9 194 1 0 38 + 0 52 1 0 38 0 39 1 0 56 0 57 2 0 58 + 58 58 134 1 0 144 58 147 1 0 144 58 + 145 1 0 148 0 165 2 0 0 0 23 24 2 0 0 + 0 9 97 1 0 220 0 238 1 0 246 0 253 1 + 0 227 0 245 2 0 0 0 9 207 1 0 179 120 + 184 3 0 0 0 9 45 62 3 0 0 0 19 63 69 + 1 0 172 0 186 2 0 10 0 0 218))))) '|lookupComplete|)) diff --git a/src/algebra/strap/STAGG-.lsp b/src/algebra/strap/STAGG-.lsp index cb3671d0..53a1ca39 100644 --- a/src/algebra/strap/STAGG-.lsp +++ b/src/algebra/strap/STAGG-.lsp @@ -62,23 +62,23 @@ (|STAGG-;c2| |x| (LETT |x| (SPADCALL |x| - (|getShellEntry| $ 16)) + (|getShellEntry| $ 17)) |STAGG-;first;ANniA;3|) $) #0#) |STAGG-;first;ANniA;3|))) (LETT |i| (QSADD1 |i|) |STAGG-;first;ANniA;3|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) - (|getShellEntry| $ 18)))))) + (|getShellEntry| $ 19)))))) (DEFUN |STAGG-;c2| (|x| |r| $) (COND - ((SPADCALL |x| (|getShellEntry| $ 20)) + ((SPADCALL |x| (|getShellEntry| $ 21)) (|error| "Index out of range")) - ('T (SPADCALL |x| (|getShellEntry| $ 21))))) + ('T (SPADCALL |x| (|getShellEntry| $ 22))))) (DEFUN |STAGG-;elt;AIS;5| (|x| |i| $) - (SEQ (LETT |i| (- |i| (SPADCALL |x| (|getShellEntry| $ 23))) + (SEQ (LETT |i| (- |i| (SPADCALL |x| (|getShellEntry| $ 24))) |STAGG-;elt;AIS;5|) (COND ((OR (< |i| 0) @@ -89,38 +89,38 @@ (|check-subtype| (COND ((< |i| 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) |i|)) - (|getShellEntry| $ 27)) + (|getShellEntry| $ 28)) |STAGG-;elt;AIS;5|) - (|getShellEntry| $ 20))) + (|getShellEntry| $ 21))) (EXIT (|error| "index out of range")))) - (EXIT (SPADCALL |x| (|getShellEntry| $ 21))))) + (EXIT (SPADCALL |x| (|getShellEntry| $ 22))))) (DEFUN |STAGG-;elt;AUsA;6| (|x| |i| $) (PROG (|l| |h| #0=#:G1418) (RETURN (SEQ (LETT |l| - (- (SPADCALL |i| (|getShellEntry| $ 30)) - (SPADCALL |x| (|getShellEntry| $ 23))) + (- (SPADCALL |i| (|getShellEntry| $ 31)) + (SPADCALL |x| (|getShellEntry| $ 24))) |STAGG-;elt;AUsA;6|) (EXIT (COND ((< |l| 0) (|error| "index out of range")) - ((NOT (SPADCALL |i| (|getShellEntry| $ 31))) + ((NOT (SPADCALL |i| (|getShellEntry| $ 32))) (SPADCALL (SPADCALL |x| (PROG1 |l| (|check-subtype| (COND ((< |l| 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) |l|)) - (|getShellEntry| $ 27)) - (|getShellEntry| $ 32))) + (|getShellEntry| $ 28)) + (|getShellEntry| $ 33))) ('T (SEQ (LETT |h| - (- (SPADCALL |i| (|getShellEntry| $ 33)) - (SPADCALL |x| (|getShellEntry| $ 23))) + (- (SPADCALL |i| (|getShellEntry| $ 34)) + (SPADCALL |x| (|getShellEntry| $ 24))) |STAGG-;elt;AUsA;6|) (EXIT (COND ((< |h| |l|) - (SPADCALL (|getShellEntry| $ 34))) + (SPADCALL (|getShellEntry| $ 35))) ('T (SPADCALL (SPADCALL |x| @@ -130,7 +130,7 @@ ((< |l| 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) |l|)) - (|getShellEntry| $ 27)) + (|getShellEntry| $ 28)) (PROG1 (LETT #0# (+ (- |h| |l|) 1) |STAGG-;elt;AUsA;6|) @@ -139,19 +139,19 @@ ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 36))))))))))))) + (|getShellEntry| $ 37))))))))))))) (DEFUN |STAGG-;concat;3A;7| (|x| |y| $) - (SPADCALL (SPADCALL |x| (|getShellEntry| $ 32)) |y| - (|getShellEntry| $ 38))) + (SPADCALL (SPADCALL |x| (|getShellEntry| $ 33)) |y| + (|getShellEntry| $ 39))) (DEFUN |STAGG-;concat;LA;8| (|l| $) (COND - ((NULL |l|) (SPADCALL (|getShellEntry| $ 34))) + ((NULL |l|) (SPADCALL (|getShellEntry| $ 35))) ('T - (SPADCALL (SPADCALL (|SPADfirst| |l|) (|getShellEntry| $ 32)) - (SPADCALL (CDR |l|) (|getShellEntry| $ 45)) - (|getShellEntry| $ 38))))) + (SPADCALL (SPADCALL (|SPADfirst| |l|) (|getShellEntry| $ 33)) + (SPADCALL (CDR |l|) (|getShellEntry| $ 46)) + (|getShellEntry| $ 39))))) (DEFUN |STAGG-;map!;M2A;9| (|f| |l| $) (PROG (|y|) @@ -159,14 +159,14 @@ (SEQ (LETT |y| |l| |STAGG-;map!;M2A;9|) (SEQ G190 (COND - ((NULL (NOT (SPADCALL |l| (|getShellEntry| $ 20)))) + ((NULL (NOT (SPADCALL |l| (|getShellEntry| $ 21)))) (GO G191))) (SEQ (SPADCALL |l| (SPADCALL - (SPADCALL |l| (|getShellEntry| $ 21)) |f|) - (|getShellEntry| $ 47)) + (SPADCALL |l| (|getShellEntry| $ 22)) |f|) + (|getShellEntry| $ 48)) (EXIT (LETT |l| - (SPADCALL |l| (|getShellEntry| $ 16)) + (SPADCALL |l| (|getShellEntry| $ 17)) |STAGG-;map!;M2A;9|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT |y|))))) @@ -177,17 +177,17 @@ (SEQ (LETT |y| |x| |STAGG-;fill!;ASA;10|) (SEQ G190 (COND - ((NULL (NOT (SPADCALL |y| (|getShellEntry| $ 20)))) + ((NULL (NOT (SPADCALL |y| (|getShellEntry| $ 21)))) (GO G191))) - (SEQ (SPADCALL |y| |s| (|getShellEntry| $ 47)) + (SEQ (SPADCALL |y| |s| (|getShellEntry| $ 48)) (EXIT (LETT |y| - (SPADCALL |y| (|getShellEntry| $ 16)) + (SPADCALL |y| (|getShellEntry| $ 17)) |STAGG-;fill!;ASA;10|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT |x|))))) (DEFUN |STAGG-;setelt;AI2S;11| (|x| |i| |s| $) - (SEQ (LETT |i| (- |i| (SPADCALL |x| (|getShellEntry| $ 23))) + (SEQ (LETT |i| (- |i| (SPADCALL |x| (|getShellEntry| $ 24))) |STAGG-;setelt;AI2S;11|) (COND ((OR (< |i| 0) @@ -198,31 +198,31 @@ (|check-subtype| (COND ((< |i| 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) |i|)) - (|getShellEntry| $ 27)) + (|getShellEntry| $ 28)) |STAGG-;setelt;AI2S;11|) - (|getShellEntry| $ 20))) + (|getShellEntry| $ 21))) (EXIT (|error| "index out of range")))) - (EXIT (SPADCALL |x| |s| (|getShellEntry| $ 47))))) + (EXIT (SPADCALL |x| |s| (|getShellEntry| $ 48))))) (DEFUN |STAGG-;setelt;AUs2S;12| (|x| |i| |s| $) (PROG (|l| |h| #0=#:G1438 |z| |y|) (RETURN (SEQ (LETT |l| - (- (SPADCALL |i| (|getShellEntry| $ 30)) - (SPADCALL |x| (|getShellEntry| $ 23))) + (- (SPADCALL |i| (|getShellEntry| $ 31)) + (SPADCALL |x| (|getShellEntry| $ 24))) |STAGG-;setelt;AUs2S;12|) (EXIT (COND ((< |l| 0) (|error| "index out of range")) ('T (SEQ (LETT |h| (COND - ((SPADCALL |i| (|getShellEntry| $ 31)) + ((SPADCALL |i| (|getShellEntry| $ 32)) (- (SPADCALL |i| - (|getShellEntry| $ 33)) + (|getShellEntry| $ 34)) (SPADCALL |x| - (|getShellEntry| $ 23)))) + (|getShellEntry| $ 24)))) ('T - (SPADCALL |x| (|getShellEntry| $ 52)))) + (SPADCALL |x| (|getShellEntry| $ 53)))) |STAGG-;setelt;AUs2S;12|) (EXIT (COND ((< |h| |l|) |s|) @@ -236,7 +236,7 @@ ('T 'T)) '(|NonNegativeInteger|) |l|)) - (|getShellEntry| $ 27)) + (|getShellEntry| $ 28)) |STAGG-;setelt;AUs2S;12|) (LETT |z| (SPADCALL |y| @@ -249,32 +249,32 @@ ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 27)) + (|getShellEntry| $ 28)) |STAGG-;setelt;AUs2S;12|) (SEQ G190 (COND ((NULL (NOT (SPADCALL |y| |z| - (|getShellEntry| $ 53)))) + (|getShellEntry| $ 54)))) (GO G191))) (SEQ (SPADCALL |y| |s| - (|getShellEntry| $ 47)) + (|getShellEntry| $ 48)) (EXIT (LETT |y| (SPADCALL |y| - (|getShellEntry| $ 16)) + (|getShellEntry| $ 17)) |STAGG-;setelt;AUs2S;12|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT |s|))))))))))))) (DEFUN |STAGG-;concat!;3A;13| (|x| |y| $) (SEQ (COND - ((SPADCALL |x| (|getShellEntry| $ 20)) |y|) + ((SPADCALL |x| (|getShellEntry| $ 21)) |y|) ('T - (SEQ (SPADCALL (SPADCALL |x| (|getShellEntry| $ 55)) |y| - (|getShellEntry| $ 56)) + (SEQ (SPADCALL (SPADCALL |x| (|getShellEntry| $ 56)) |y| + (|getShellEntry| $ 57)) (EXIT |x|)))))) (DEFUN |StreamAggregate&| (|#1| |#2|) @@ -284,7 +284,7 @@ (LETT |dv$1| (|devaluate| |#1|) . #0=(|StreamAggregate&|)) (LETT |dv$2| (|devaluate| |#2|) . #0#) (LETT |dv$| (LIST '|StreamAggregate&| |dv$1| |dv$2|) . #0#) - (LETT $ (|newShell| 62) . #0#) + (LETT $ (|newShell| 63) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -294,65 +294,65 @@ (COND ((|HasAttribute| |#1| '|shallowlyMutable|) (PROGN - (|setShellEntry| $ 39 + (|setShellEntry| $ 40 (CONS (|dispatchFunction| |STAGG-;concat;3A;7|) $)) - (|setShellEntry| $ 46 + (|setShellEntry| $ 47 (CONS (|dispatchFunction| |STAGG-;concat;LA;8|) $)) - (|setShellEntry| $ 49 - (CONS (|dispatchFunction| |STAGG-;map!;M2A;9|) $)) (|setShellEntry| $ 50 - (CONS (|dispatchFunction| |STAGG-;fill!;ASA;10|) $)) + (CONS (|dispatchFunction| |STAGG-;map!;M2A;9|) $)) (|setShellEntry| $ 51 + (CONS (|dispatchFunction| |STAGG-;fill!;ASA;10|) $)) + (|setShellEntry| $ 52 (CONS (|dispatchFunction| |STAGG-;setelt;AI2S;11|) $)) - (|setShellEntry| $ 54 + (|setShellEntry| $ 55 (CONS (|dispatchFunction| |STAGG-;setelt;AUs2S;12|) $)) - (|setShellEntry| $ 57 + (|setShellEntry| $ 58 (CONS (|dispatchFunction| |STAGG-;concat!;3A;13|) $))))) $)))) (MAKEPROP '|StreamAggregate&| '|infovec| (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) - (|Boolean|) (0 . |cyclic?|) + (|Boolean|) (0 . |cyclic?|) (5 . |not|) |STAGG-;explicitlyFinite?;AB;1| |STAGG-;possiblyInfinite?;AB;2| (|SingleInteger|) - (5 . |One|) (|NonNegativeInteger|) (9 . |One|) - (13 . |rest|) (|List| 7) (18 . |construct|) - |STAGG-;first;ANniA;3| (23 . |empty?|) (28 . |first|) - (|Integer|) (33 . |minIndex|) (38 . -) (44 . |Zero|) - (48 . <) (54 . |rest|) |STAGG-;elt;AIS;5| - (|UniversalSegment| 22) (60 . |lo|) (65 . |hasHi|) - (70 . |copy|) (75 . |hi|) (80 . |empty|) (84 . +) - (90 . |first|) |STAGG-;elt;AUsA;6| (96 . |concat!|) - (102 . |concat|) (|List| 6) (108 . |empty?|) - (113 . |first|) (118 . |rest|) (|List| $) (123 . |concat|) - (128 . |concat|) (133 . |setfirst!|) (|Mapping| 7 7) - (139 . |map!|) (145 . |fill!|) (151 . |setelt|) - (158 . |maxIndex|) (163 . |eq?|) (169 . |setelt|) - (176 . |tail|) (181 . |setrest!|) (187 . |concat!|) + (10 . |One|) (|NonNegativeInteger|) (14 . |One|) + (18 . |rest|) (|List| 7) (23 . |construct|) + |STAGG-;first;ANniA;3| (28 . |empty?|) (33 . |first|) + (|Integer|) (38 . |minIndex|) (43 . -) (49 . |Zero|) + (53 . <) (59 . |rest|) |STAGG-;elt;AIS;5| + (|UniversalSegment| 23) (65 . |lo|) (70 . |hasHi|) + (75 . |copy|) (80 . |hi|) (85 . |empty|) (89 . +) + (95 . |first|) |STAGG-;elt;AUsA;6| (101 . |concat!|) + (107 . |concat|) (|List| 6) (113 . |empty?|) + (118 . |first|) (123 . |rest|) (|List| $) (128 . |concat|) + (133 . |concat|) (138 . |setfirst!|) (|Mapping| 7 7) + (144 . |map!|) (150 . |fill!|) (156 . |setelt|) + (163 . |maxIndex|) (168 . |eq?|) (174 . |setelt|) + (181 . |tail|) (186 . |setrest!|) (192 . |concat!|) '"rest" '"last" '"first" '"value") - '#(|setelt| 193 |possiblyInfinite?| 207 |map!| 212 |first| - 218 |fill!| 224 |explicitlyFinite?| 230 |elt| 235 - |concat!| 247 |concat| 253) + '#(|setelt| 198 |possiblyInfinite?| 212 |map!| 217 |first| + 223 |fill!| 229 |explicitlyFinite?| 235 |elt| 240 + |concat!| 252 |concat| 258) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 57 - '(1 6 8 0 9 0 12 0 13 0 14 0 15 1 6 0 0 - 16 1 6 0 17 18 1 6 8 0 20 1 6 7 0 21 - 1 6 22 0 23 2 22 0 0 0 24 0 22 0 25 2 - 22 8 0 0 26 2 6 0 0 14 27 1 29 22 0 - 30 1 29 8 0 31 1 6 0 0 32 1 29 22 0 - 33 0 6 0 34 2 22 0 0 0 35 2 6 0 0 14 - 36 2 6 0 0 0 38 2 0 0 0 0 39 1 40 8 0 - 41 1 40 6 0 42 1 40 0 0 43 1 6 0 44 - 45 1 0 0 44 46 2 6 7 0 7 47 2 0 0 48 - 0 49 2 0 0 0 7 50 3 0 7 0 22 7 51 1 6 - 22 0 52 2 6 8 0 0 53 3 0 7 0 29 7 54 - 1 6 0 0 55 2 6 0 0 0 56 2 0 0 0 0 57 - 3 0 7 0 22 7 51 3 0 7 0 29 7 54 1 0 8 - 0 11 2 0 0 48 0 49 2 0 0 0 14 19 2 0 - 0 0 7 50 1 0 8 0 10 2 0 7 0 22 28 2 0 - 0 0 29 37 2 0 0 0 0 57 1 0 0 44 46 2 - 0 0 0 0 39))))) + (|makeByteWordVec2| 58 + '(1 6 8 0 9 1 8 0 0 10 0 13 0 14 0 15 0 + 16 1 6 0 0 17 1 6 0 18 19 1 6 8 0 21 + 1 6 7 0 22 1 6 23 0 24 2 23 0 0 0 25 + 0 23 0 26 2 23 8 0 0 27 2 6 0 0 15 28 + 1 30 23 0 31 1 30 8 0 32 1 6 0 0 33 1 + 30 23 0 34 0 6 0 35 2 23 0 0 0 36 2 6 + 0 0 15 37 2 6 0 0 0 39 2 0 0 0 0 40 1 + 41 8 0 42 1 41 6 0 43 1 41 0 0 44 1 6 + 0 45 46 1 0 0 45 47 2 6 7 0 7 48 2 0 + 0 49 0 50 2 0 0 0 7 51 3 0 7 0 23 7 + 52 1 6 23 0 53 2 6 8 0 0 54 3 0 7 0 + 30 7 55 1 6 0 0 56 2 6 0 0 0 57 2 0 0 + 0 0 58 3 0 7 0 23 7 52 3 0 7 0 30 7 + 55 1 0 8 0 12 2 0 0 49 0 50 2 0 0 0 + 15 20 2 0 0 0 7 51 1 0 8 0 11 2 0 7 0 + 23 29 2 0 0 0 30 38 2 0 0 0 0 58 1 0 + 0 45 47 2 0 0 0 0 40))))) '|lookupComplete|)) diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp index 14835f6d..6ac82a00 100644 --- a/src/algebra/strap/SYMBOL.lsp +++ b/src/algebra/strap/SYMBOL.lsp @@ -337,7 +337,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 112))) + (|getShellEntry| $ 113))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -358,7 +358,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 112))) + (|getShellEntry| $ 113))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -379,7 +379,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 112))) + (|getShellEntry| $ 113))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -400,7 +400,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 112))) + (|getShellEntry| $ 113))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -421,7 +421,7 @@ (SEQ (LETT |sc| (STRCONC |sc| (SPADCALL (|SPADfirst| |lo|) - (|getShellEntry| $ 112))) + (|getShellEntry| $ 113))) |SYMBOL;latex;$S;25|) (LETT |lo| (CDR |lo|) |SYMBOL;latex;$S;25|) @@ -451,9 +451,9 @@ (SPADCALL |s| (+ (QCDR |qr|) (SPADCALL |s| - (|getShellEntry| $ 117))) + (|getShellEntry| $ 118))) (|getShellEntry| $ 107)) - |ns| (|getShellEntry| $ 119)) + |ns| (|getShellEntry| $ 120)) |SYMBOL;anyRadix|) (EXIT (COND @@ -471,14 +471,14 @@ (SEQ (LETT |sym| (|SYMBOL;anyRadix| (SPADCALL (|getShellEntry| $ 10) - (|getShellEntry| $ 120)) + (|getShellEntry| $ 121)) (|getShellEntry| $ 20) $) |SYMBOL;new;$;27|) (SPADCALL (|getShellEntry| $ 10) (+ (SPADCALL (|getShellEntry| $ 10) - (|getShellEntry| $ 120)) + (|getShellEntry| $ 121)) 1) - (|getShellEntry| $ 121)) + (|getShellEntry| $ 122)) (EXIT (|SYMBOL;coerce;S$;8| (STRCONC "%" |sym|) $)))))) (DEFUN |SYMBOL;new;2$;28| (|x| $) @@ -487,14 +487,14 @@ (SEQ (LETT |n| (SEQ (LETT |u| (SPADCALL |x| (|getShellEntry| $ 13) - (|getShellEntry| $ 124)) + (|getShellEntry| $ 125)) |SYMBOL;new;2$;28|) (EXIT (COND ((QEQCAR |u| 1) 0) ('T (+ (QCDR |u|) 1))))) |SYMBOL;new;2$;28|) (SPADCALL (|getShellEntry| $ 13) |x| |n| - (|getShellEntry| $ 127)) + (|getShellEntry| $ 128)) (LETT |xx| (COND ((NOT (|SYMBOL;scripted?;$B;30| |x| $)) @@ -509,12 +509,12 @@ ((NOT (< (SPADCALL (SPADCALL |xx| (SPADCALL |xx| - (|getShellEntry| $ 128)) + (|getShellEntry| $ 129)) (|getShellEntry| $ 107)) (|getShellEntry| $ 19) - (|getShellEntry| $ 129)) + (|getShellEntry| $ 130)) (SPADCALL (|getShellEntry| $ 19) - (|getShellEntry| $ 117)))) + (|getShellEntry| $ 118)))) (STRCONC |xx| (|SYMBOL;anyRadix| |n| (|getShellEntry| $ 21) $))) @@ -532,11 +532,11 @@ (DEFUN |SYMBOL;resetNew;V;29| ($) (PROG (|k| #0=#:G1552) (RETURN - (SEQ (SPADCALL (|getShellEntry| $ 10) 0 (|getShellEntry| $ 121)) + (SEQ (SPADCALL (|getShellEntry| $ 10) 0 (|getShellEntry| $ 122)) (SEQ (LETT |k| NIL |SYMBOL;resetNew;V;29|) (LETT #0# (SPADCALL (|getShellEntry| $ 13) - (|getShellEntry| $ 133)) + (|getShellEntry| $ 134)) |SYMBOL;resetNew;V;29|) G190 (COND @@ -546,10 +546,10 @@ NIL)) (GO G191))) (SEQ (EXIT (SPADCALL |k| (|getShellEntry| $ 13) - (|getShellEntry| $ 134)))) + (|getShellEntry| $ 135)))) (LETT #0# (CDR #0#) |SYMBOL;resetNew;V;29|) (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL (|getShellEntry| $ 135))))))) + (EXIT (SPADCALL (|getShellEntry| $ 136))))))) (DEFUN |SYMBOL;scripted?;$B;30| (|sy| $) (NOT (ATOM |sy|))) @@ -648,8 +648,7 @@ (|getShellEntry| $ 44)) (|getShellEntry| $ 45)) |SYMBOL;scripts;$R;32|) - (|check-subtype| - (COND ((< #0# 0) 'NIL) ('T 'T)) + (|check-subtype| (NOT (< #0# 0)) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 150)))) (LETT |i| @@ -840,18 +839,19 @@ |SYMBOL;script;$R$;23| |SYMBOL;name;2$;31| |SYMBOL;string;$S;24| (188 . |concat|) (194 . |One|) (198 . |One|) (202 . |elt|) (208 . ~=) - |SYMBOL;scripts;$R;32| (214 . |empty?|) (219 . |first|) - (224 . |latex|) (229 . |rest|) |SYMBOL;latex;$S;25| + |SYMBOL;scripts;$R;32| (214 . |empty?|) (219 . |not|) + (224 . |first|) (229 . |latex|) (234 . |rest|) + |SYMBOL;latex;$S;25| (|Record| (|:| |quotient| $) (|:| |remainder| $)) - (234 . |divide|) (240 . |minIndex|) (245 . +) - (251 . |concat|) (257 . |elt|) (262 . |setelt|) - |SYMBOL;new;$;27| (|Union| 6 '"failed") (268 . |search|) - (274 . |Zero|) (278 . |inc|) (283 . |setelt|) - (290 . |maxIndex|) (295 . |position|) (301 . <) - |SYMBOL;new;2$;28| (|List| $$) (307 . |keys|) - (312 . |remove!|) (318 . |void|) |SYMBOL;resetNew;V;29| - (322 . |not|) |SYMBOL;list;$L;34| (327 . |first|) - (|SingleInteger|) (332 . |One|) (336 . +) (342 . |digit?|) + (239 . |divide|) (245 . |minIndex|) (250 . +) + (256 . |concat|) (262 . |elt|) (267 . |setelt|) + |SYMBOL;new;$;27| (|Union| 6 '"failed") (273 . |search|) + (279 . |Zero|) (283 . |inc|) (288 . |setelt|) + (295 . |maxIndex|) (300 . |position|) (306 . <) + |SYMBOL;new;2$;28| (|List| $$) (312 . |keys|) + (317 . |remove!|) (323 . |void|) |SYMBOL;resetNew;V;29| + |SYMBOL;list;$L;34| (327 . |first|) (|SingleInteger|) + (332 . |One|) (336 . +) (342 . |digit?|) (|UniversalSegment| 6) (347 . SEGMENT) (353 . |elt|) (|List| 39) (359 . |minIndex|) (364 . -) (370 . |setelt|) (377 . |rest|) (382 . |first|) (387 . |concat|) @@ -895,29 +895,29 @@ 0 97 1 59 57 0 98 1 59 0 0 99 2 57 0 53 0 104 0 39 0 105 0 6 0 106 2 14 42 0 6 107 2 42 22 0 0 108 1 57 22 0 110 - 1 57 53 0 111 1 53 14 0 112 1 57 0 0 - 113 2 6 115 0 0 116 1 14 6 0 117 2 6 - 0 0 0 118 2 14 0 42 0 119 1 8 6 0 120 - 2 8 6 0 6 121 2 11 123 2 0 124 0 39 0 - 125 1 6 0 0 126 3 11 6 0 2 6 127 1 14 - 6 0 128 2 14 6 42 0 129 2 6 22 0 0 - 130 1 11 132 0 133 2 11 123 2 0 134 0 - 24 0 135 1 22 0 0 137 1 132 2 0 139 0 - 140 0 141 2 39 0 0 0 142 1 42 22 0 + 1 22 0 0 111 1 57 53 0 112 1 53 14 0 + 113 1 57 0 0 114 2 6 116 0 0 117 1 14 + 6 0 118 2 6 0 0 0 119 2 14 0 42 0 120 + 1 8 6 0 121 2 8 6 0 6 122 2 11 124 2 + 0 125 0 39 0 126 1 6 0 0 127 3 11 6 0 + 2 6 128 1 14 6 0 129 2 14 6 42 0 130 + 2 6 22 0 0 131 1 11 133 0 134 2 11 + 124 2 0 135 0 24 0 136 1 133 2 0 139 + 0 140 0 141 2 39 0 0 0 142 1 42 22 0 143 2 144 0 6 6 145 2 14 0 0 144 146 1 147 6 0 148 2 6 0 0 0 149 3 147 39 0 6 39 150 1 147 0 0 151 1 147 39 0 - 152 2 147 0 0 39 153 1 132 0 0 154 1 - 59 6 0 155 1 132 39 0 156 2 132 0 0 - 39 157 3 59 57 0 6 57 158 2 132 0 0 + 152 2 147 0 0 39 153 1 133 0 0 154 1 + 59 6 0 155 1 133 39 0 156 2 133 0 0 + 39 157 3 59 57 0 6 57 158 2 133 0 0 39 159 2 59 57 0 6 160 1 16 6 0 161 2 16 14 0 6 162 2 0 22 0 0 1 2 0 0 0 57 64 2 0 0 0 57 62 1 0 14 0 103 1 0 100 0 109 1 0 22 0 23 2 0 0 0 59 61 2 0 0 - 0 100 101 0 0 0 163 0 0 24 136 3 0 77 + 0 100 101 0 0 0 163 0 0 24 137 3 0 77 0 74 77 78 3 0 70 0 67 70 71 1 0 0 0 - 131 0 0 0 122 1 0 0 0 102 2 0 0 0 0 1 - 2 0 0 0 0 1 1 0 94 0 138 1 0 14 0 114 + 132 0 0 0 123 1 0 0 0 102 2 0 0 0 0 1 + 2 0 0 0 0 1 1 0 94 0 138 1 0 14 0 115 1 0 140 0 1 2 0 0 0 57 63 1 0 67 0 82 1 0 74 0 80 1 0 25 0 49 1 0 46 0 48 1 0 0 14 50 1 0 53 0 55 2 0 22 0 0 1 2 diff --git a/src/algebra/strap/URAGG-.lsp b/src/algebra/strap/URAGG-.lsp index 50039169..6679030e 100644 --- a/src/algebra/strap/URAGG-.lsp +++ b/src/algebra/strap/URAGG-.lsp @@ -134,7 +134,7 @@ (NOT (SPADCALL (|URAGG-;findCycle| |x| $) (|getShellEntry| $ 20)))))) (DEFUN |URAGG-;last;AS;7| (|x| $) - (SPADCALL (SPADCALL |x| (|getShellEntry| $ 23)) + (SPADCALL (SPADCALL |x| (|getShellEntry| $ 24)) (|getShellEntry| $ 8))) (DEFUN |URAGG-;nodes;AL;8| (|x| $) @@ -235,7 +235,7 @@ (SEQ (COND ((EQL |k| 1000) (COND - ((SPADCALL |x| (|getShellEntry| $ 49)) + ((SPADCALL |x| (|getShellEntry| $ 50)) (EXIT (|error| "cyclic list")))))) (EXIT (LETT |x| (SPADCALL |x| (|getShellEntry| $ 14)) @@ -262,7 +262,7 @@ ((EQL |k| 1000) (COND ((SPADCALL |x| - (|getShellEntry| $ 49)) + (|getShellEntry| $ 50)) (EXIT (|error| "cyclic list")))))) (EXIT (LETT |y| (SPADCALL @@ -286,7 +286,7 @@ (GO G191))) (SEQ (COND ((SPADCALL |x| |y| - (|getShellEntry| $ 52)) + (|getShellEntry| $ 53)) (PROGN (LETT #0# |x| |URAGG-;findCycle|) (GO #0#)))) @@ -306,7 +306,7 @@ (GO #0#)))) (COND ((SPADCALL |x| |y| - (|getShellEntry| $ 52)) + (|getShellEntry| $ 53)) (PROGN (LETT #0# |y| |URAGG-;findCycle|) (GO #0#)))) @@ -324,7 +324,7 @@ (SEQ (COND ((SPADCALL (LETT |y| - (LETT |x| (SPADCALL |x| (|getShellEntry| $ 53)) + (LETT |x| (SPADCALL |x| (|getShellEntry| $ 54)) |URAGG-;cycleTail;2A;18|) |URAGG-;cycleTail;2A;18|) (|getShellEntry| $ 20)) @@ -335,7 +335,7 @@ (SEQ G190 (COND ((NULL (NOT (SPADCALL |x| |z| - (|getShellEntry| $ 52)))) + (|getShellEntry| $ 53)))) (GO G191))) (SEQ (LETT |y| |z| |URAGG-;cycleTail;2A;18|) (EXIT (LETT |z| @@ -361,7 +361,7 @@ (SEQ (LETT |l| 1 |URAGG-;cycleEntry;2A;19|) G190 (COND ((NULL (NOT (SPADCALL |y| |z| - (|getShellEntry| $ 52)))) + (|getShellEntry| $ 53)))) (GO G191))) (SEQ (EXIT (LETT |z| (SPADCALL |z| @@ -383,7 +383,7 @@ (SEQ G190 (COND ((NULL (NOT (SPADCALL |x| |y| - (|getShellEntry| $ 52)))) + (|getShellEntry| $ 53)))) (GO G191))) (SEQ (LETT |x| (SPADCALL |x| @@ -412,7 +412,7 @@ (SEQ (LETT |k| 1 |URAGG-;cycleLength;ANni;20|) G190 (COND ((NULL (NOT (SPADCALL |x| |y| - (|getShellEntry| $ 52)))) + (|getShellEntry| $ 53)))) (GO G191))) (SEQ (EXIT (LETT |y| (SPADCALL |y| @@ -443,7 +443,7 @@ (DEFUN |URAGG-;last;ANniA;22| (|x| |n| $) (PROG (|m| #0=#:G1499) (RETURN - (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 59)) + (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 60)) |URAGG-;last;ANniA;22|) (EXIT (COND ((< |m| |n|) (|error| "index out of range")) @@ -455,14 +455,14 @@ (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 61)) - (|getShellEntry| $ 62))))))))) + (|getShellEntry| $ 62)) + (|getShellEntry| $ 63))))))))) (DEFUN |URAGG-;=;2AB;23| (|x| |y| $) (PROG (|k| #0=#:G1509) (RETURN (SEQ (EXIT (COND - ((SPADCALL |x| |y| (|getShellEntry| $ 52)) 'T) + ((SPADCALL |x| |y| (|getShellEntry| $ 53)) 'T) ('T (SEQ (SEQ (LETT |k| 0 |URAGG-;=;2AB;23|) G190 (COND @@ -479,7 +479,7 @@ ((EQL |k| 1000) (COND ((SPADCALL |x| - (|getShellEntry| $ 49)) + (|getShellEntry| $ 50)) (EXIT (|error| "cyclic list")))))) (EXIT (COND @@ -488,7 +488,7 @@ (|getShellEntry| $ 8)) (SPADCALL |y| (|getShellEntry| $ 8)) - (|getShellEntry| $ 65)) + (|getShellEntry| $ 66)) (PROGN (LETT #0# 'NIL |URAGG-;=;2AB;23|) @@ -523,7 +523,7 @@ (GO G191))) (SEQ (EXIT (COND ((SPADCALL |u| |v| - (|getShellEntry| $ 67)) + (|getShellEntry| $ 68)) (PROGN (LETT #0# 'T |URAGG-;node?;2AB;24|) @@ -534,7 +534,7 @@ ((EQL |k| 1000) (COND ((SPADCALL |v| - (|getShellEntry| $ 49)) + (|getShellEntry| $ 50)) (EXIT (|error| "cyclic list")))))) @@ -546,39 +546,39 @@ (LETT |k| (QSADD1 |k|) |URAGG-;node?;2AB;24|) (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |u| |v| (|getShellEntry| $ 67))))) + (EXIT (SPADCALL |u| |v| (|getShellEntry| $ 68))))) #0# (EXIT #0#))))) (DEFUN |URAGG-;setelt;Afirst2S;25| (|x| T3 |a| $) - (SPADCALL |x| |a| (|getShellEntry| $ 69))) + (SPADCALL |x| |a| (|getShellEntry| $ 70))) (DEFUN |URAGG-;setelt;Alast2S;26| (|x| T4 |a| $) - (SPADCALL |x| |a| (|getShellEntry| $ 71))) + (SPADCALL |x| |a| (|getShellEntry| $ 72))) (DEFUN |URAGG-;setelt;Arest2A;27| (|x| T5 |a| $) - (SPADCALL |x| |a| (|getShellEntry| $ 73))) + (SPADCALL |x| |a| (|getShellEntry| $ 74))) (DEFUN |URAGG-;concat;3A;28| (|x| |y| $) - (SPADCALL (SPADCALL |x| (|getShellEntry| $ 62)) |y| - (|getShellEntry| $ 75))) + (SPADCALL (SPADCALL |x| (|getShellEntry| $ 63)) |y| + (|getShellEntry| $ 76))) (DEFUN |URAGG-;setlast!;A2S;29| (|x| |s| $) (SEQ (COND ((SPADCALL |x| (|getShellEntry| $ 20)) (|error| "setlast: empty list")) ('T - (SEQ (SPADCALL (SPADCALL |x| (|getShellEntry| $ 23)) |s| - (|getShellEntry| $ 69)) + (SEQ (SPADCALL (SPADCALL |x| (|getShellEntry| $ 24)) |s| + (|getShellEntry| $ 70)) (EXIT |s|)))))) (DEFUN |URAGG-;setchildren!;ALA;30| (|u| |lv| $) (COND ((EQL (LENGTH |lv|) 1) - (SPADCALL |u| (|SPADfirst| |lv|) (|getShellEntry| $ 73))) + (SPADCALL |u| (|SPADfirst| |lv|) (|getShellEntry| $ 74))) ('T (|error| "wrong number of children specified")))) (DEFUN |URAGG-;setvalue!;A2S;31| (|u| |s| $) - (SPADCALL |u| |s| (|getShellEntry| $ 69))) + (SPADCALL |u| |s| (|getShellEntry| $ 70))) (DEFUN |URAGG-;split!;AIA;32| (|p| |n| $) (PROG (#0=#:G1525 |q|) @@ -593,12 +593,12 @@ (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) '(|NonNegativeInteger|) #0#)) - (|getShellEntry| $ 61)) + (|getShellEntry| $ 62)) |URAGG-;split!;AIA;32|) (LETT |q| (SPADCALL |p| (|getShellEntry| $ 14)) |URAGG-;split!;AIA;32|) - (SPADCALL |p| (SPADCALL (|getShellEntry| $ 82)) - (|getShellEntry| $ 73)) + (SPADCALL |p| (SPADCALL (|getShellEntry| $ 83)) + (|getShellEntry| $ 74)) (EXIT |q|)))))))) (DEFUN |URAGG-;cycleSplit!;2A;33| (|x| $) @@ -606,10 +606,10 @@ (RETURN (SEQ (COND ((OR (SPADCALL - (LETT |y| (SPADCALL |x| (|getShellEntry| $ 53)) + (LETT |y| (SPADCALL |x| (|getShellEntry| $ 54)) |URAGG-;cycleSplit!;2A;33|) (|getShellEntry| $ 20)) - (SPADCALL |x| |y| (|getShellEntry| $ 52))) + (SPADCALL |x| |y| (|getShellEntry| $ 53))) |y|) ('T (SEQ (LETT |z| (SPADCALL |x| (|getShellEntry| $ 14)) @@ -617,7 +617,7 @@ (SEQ G190 (COND ((NULL (NOT (SPADCALL |z| |y| - (|getShellEntry| $ 52)))) + (|getShellEntry| $ 53)))) (GO G191))) (SEQ (LETT |x| |z| |URAGG-;cycleSplit!;2A;33|) (EXIT (LETT |z| @@ -625,8 +625,8 @@ (|getShellEntry| $ 14)) |URAGG-;cycleSplit!;2A;33|))) NIL (GO G190) G191 (EXIT NIL)) - (SPADCALL |x| (SPADCALL (|getShellEntry| $ 82)) - (|getShellEntry| $ 73)) + (SPADCALL |x| (SPADCALL (|getShellEntry| $ 83)) + (|getShellEntry| $ 74)) (EXIT |y|)))))))) (DEFUN |UnaryRecursiveAggregate&| (|#1| |#2|) @@ -638,7 +638,7 @@ (LETT |dv$2| (|devaluate| |#2|) . #0#) (LETT |dv$| (LIST '|UnaryRecursiveAggregate&| |dv$1| |dv$2|) . #0#) - (LETT $ (|newShell| 86) . #0#) + (LETT $ (|newShell| 87) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| @@ -649,41 +649,41 @@ (|setShellEntry| $ 7 |#2|) (COND ((|HasAttribute| |#1| '|finiteAggregate|) - (|setShellEntry| $ 63 + (|setShellEntry| $ 64 (CONS (|dispatchFunction| |URAGG-;last;ANniA;22|) $)))) (COND ((|HasCategory| |#2| '(|SetCategory|)) (PROGN - (|setShellEntry| $ 66 + (|setShellEntry| $ 67 (CONS (|dispatchFunction| |URAGG-;=;2AB;23|) $)) - (|setShellEntry| $ 68 + (|setShellEntry| $ 69 (CONS (|dispatchFunction| |URAGG-;node?;2AB;24|) $))))) (COND ((|testBitVector| |pv$| 1) (PROGN - (|setShellEntry| $ 70 + (|setShellEntry| $ 71 (CONS (|dispatchFunction| |URAGG-;setelt;Afirst2S;25|) $)) - (|setShellEntry| $ 72 + (|setShellEntry| $ 73 (CONS (|dispatchFunction| |URAGG-;setelt;Alast2S;26|) $)) - (|setShellEntry| $ 74 + (|setShellEntry| $ 75 (CONS (|dispatchFunction| |URAGG-;setelt;Arest2A;27|) $)) - (|setShellEntry| $ 76 - (CONS (|dispatchFunction| |URAGG-;concat;3A;28|) $)) (|setShellEntry| $ 77 + (CONS (|dispatchFunction| |URAGG-;concat;3A;28|) $)) + (|setShellEntry| $ 78 (CONS (|dispatchFunction| |URAGG-;setlast!;A2S;29|) $)) - (|setShellEntry| $ 80 + (|setShellEntry| $ 81 (CONS (|dispatchFunction| |URAGG-;setchildren!;ALA;30|) $)) - (|setShellEntry| $ 81 + (|setShellEntry| $ 82 (CONS (|dispatchFunction| |URAGG-;setvalue!;A2S;31|) $)) - (|setShellEntry| $ 83 - (CONS (|dispatchFunction| |URAGG-;split!;AIA;32|) $)) (|setShellEntry| $ 84 + (CONS (|dispatchFunction| |URAGG-;split!;AIA;32|) $)) + (|setShellEntry| $ 85 (CONS (|dispatchFunction| |URAGG-;cycleSplit!;2A;33|) $))))) $)))) @@ -694,66 +694,67 @@ '"last" |URAGG-;elt;AlastS;2| (10 . |rest|) '"rest" |URAGG-;elt;ArestA;3| |URAGG-;second;AS;4| |URAGG-;third;AS;5| (|Boolean|) (15 . |empty?|) - (20 . |false|) |URAGG-;cyclic?;AB;6| (24 . |tail|) - |URAGG-;last;AS;7| (|List| 6) (29 . |empty|) - (33 . |concat|) (39 . |reverse!|) (|List| $) + (20 . |false|) (24 . |not|) |URAGG-;cyclic?;AB;6| + (29 . |tail|) |URAGG-;last;AS;7| (|List| 6) (34 . |empty|) + (38 . |concat|) (44 . |reverse!|) (|List| $) |URAGG-;nodes;AL;8| |URAGG-;children;AL;9| |URAGG-;leaf?;AB;10| |URAGG-;value;AS;11| - (|NonNegativeInteger|) (44 . |Zero|) (|Integer|) - (48 . |Zero|) (52 . <) (58 . |One|) (62 . |One|) (66 . -) - |URAGG-;less?;ANniB;12| (72 . |zero?|) + (|NonNegativeInteger|) (49 . |Zero|) (|Integer|) + (53 . |Zero|) (57 . <) (63 . |One|) (67 . |One|) (71 . -) + |URAGG-;less?;ANniB;12| (77 . |zero?|) |URAGG-;more?;ANniB;13| |URAGG-;size?;ANniB;14| - (|SingleInteger|) (77 . |Zero|) (81 . =) (87 . |cyclic?|) - |URAGG-;#;ANni;15| |URAGG-;tail;2A;16| (92 . |eq?|) - (98 . |cycleEntry|) |URAGG-;cycleTail;2A;18| (103 . |One|) - |URAGG-;cycleEntry;2A;19| |URAGG-;cycleLength;ANni;20| - |URAGG-;rest;ANniA;21| (107 . |#|) (112 . <) - (118 . |rest|) (124 . |copy|) (129 . |last|) - (135 . |true|) (139 . ~=) (145 . =) (151 . =) - (157 . |node?|) (163 . |setfirst!|) (169 . |setelt|) - (176 . |setlast!|) (182 . |setelt|) (189 . |setrest!|) - (195 . |setelt|) (202 . |concat!|) (208 . |concat|) - (214 . |setlast!|) (220 . |#|) (225 . |first|) - (230 . |setchildren!|) (236 . |setvalue!|) (242 . |empty|) - (246 . |split!|) (252 . |cycleSplit!|) '"value") - '#(|value| 257 |third| 262 |tail| 267 |split!| 272 |size?| - 278 |setvalue!| 284 |setlast!| 290 |setelt| 296 - |setchildren!| 317 |second| 323 |rest| 328 |nodes| 334 - |node?| 339 |more?| 345 |less?| 351 |leaf?| 357 |last| 362 - |elt| 373 |cyclic?| 391 |cycleTail| 396 |cycleSplit!| 401 - |cycleLength| 406 |cycleEntry| 411 |concat| 416 |children| - 422 = 427 |#| 433) + (|SingleInteger|) (82 . |Zero|) (86 . =) (92 . |cyclic?|) + |URAGG-;#;ANni;15| |URAGG-;tail;2A;16| (97 . |eq?|) + (103 . |cycleEntry|) |URAGG-;cycleTail;2A;18| + (108 . |One|) |URAGG-;cycleEntry;2A;19| + |URAGG-;cycleLength;ANni;20| |URAGG-;rest;ANniA;21| + (112 . |#|) (117 . <) (123 . |rest|) (129 . |copy|) + (134 . |last|) (140 . |true|) (144 . ~=) (150 . =) + (156 . =) (162 . |node?|) (168 . |setfirst!|) + (174 . |setelt|) (181 . |setlast!|) (187 . |setelt|) + (194 . |setrest!|) (200 . |setelt|) (207 . |concat!|) + (213 . |concat|) (219 . |setlast!|) (225 . |#|) + (230 . |first|) (235 . |setchildren!|) (241 . |setvalue!|) + (247 . |empty|) (251 . |split!|) (257 . |cycleSplit!|) + '"value") + '#(|value| 262 |third| 267 |tail| 272 |split!| 277 |size?| + 283 |setvalue!| 289 |setlast!| 295 |setelt| 301 + |setchildren!| 322 |second| 328 |rest| 333 |nodes| 339 + |node?| 344 |more?| 350 |less?| 356 |leaf?| 362 |last| 367 + |elt| 378 |cyclic?| 396 |cycleTail| 401 |cycleSplit!| 406 + |cycleLength| 411 |cycleEntry| 416 |concat| 421 |children| + 427 = 432 |#| 438) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 84 + (|makeByteWordVec2| 85 '(1 6 7 0 8 1 6 7 0 11 1 6 0 0 14 1 6 - 19 0 20 0 19 0 21 1 6 0 0 23 0 25 0 - 26 2 25 0 6 0 27 1 25 0 0 28 0 34 0 - 35 0 36 0 37 2 36 19 0 0 38 0 34 0 39 - 0 36 0 40 2 36 0 0 0 41 1 36 19 0 43 - 0 46 0 47 2 34 19 0 0 48 1 6 19 0 49 - 2 6 19 0 0 52 1 6 0 0 53 0 46 0 55 1 - 6 34 0 59 2 34 19 0 0 60 2 6 0 0 34 - 61 1 6 0 0 62 2 0 0 0 34 63 0 19 0 64 - 2 7 19 0 0 65 2 0 19 0 0 66 2 6 19 0 - 0 67 2 0 19 0 0 68 2 6 7 0 7 69 3 0 7 - 0 9 7 70 2 6 7 0 7 71 3 0 7 0 12 7 72 - 2 6 0 0 0 73 3 0 0 0 15 0 74 2 6 0 0 - 0 75 2 0 0 0 0 76 2 0 7 0 7 77 1 25 - 34 0 78 1 25 6 0 79 2 0 0 0 29 80 2 0 - 7 0 7 81 0 6 0 82 2 0 0 0 36 83 1 0 0 - 0 84 1 0 7 0 33 1 0 7 0 18 1 0 0 0 51 - 2 0 0 0 36 83 2 0 19 0 34 45 2 0 7 0 - 7 81 2 0 7 0 7 77 3 0 7 0 12 7 72 3 0 - 0 0 15 0 74 3 0 7 0 9 7 70 2 0 0 0 29 - 80 1 0 7 0 17 2 0 0 0 34 58 1 0 29 0 - 30 2 0 19 0 0 68 2 0 19 0 34 44 2 0 - 19 0 34 42 1 0 19 0 32 2 0 0 0 34 63 - 1 0 7 0 24 2 0 7 0 12 13 2 0 0 0 15 - 16 2 0 7 0 9 10 1 0 19 0 22 1 0 0 0 - 54 1 0 0 0 84 1 0 34 0 57 1 0 0 0 56 - 2 0 0 0 0 76 1 0 29 0 31 2 0 19 0 0 - 66 1 0 34 0 50))))) + 19 0 20 0 19 0 21 1 19 0 0 22 1 6 0 0 + 24 0 26 0 27 2 26 0 6 0 28 1 26 0 0 + 29 0 35 0 36 0 37 0 38 2 37 19 0 0 39 + 0 35 0 40 0 37 0 41 2 37 0 0 0 42 1 + 37 19 0 44 0 47 0 48 2 35 19 0 0 49 1 + 6 19 0 50 2 6 19 0 0 53 1 6 0 0 54 0 + 47 0 56 1 6 35 0 60 2 35 19 0 0 61 2 + 6 0 0 35 62 1 6 0 0 63 2 0 0 0 35 64 + 0 19 0 65 2 7 19 0 0 66 2 0 19 0 0 67 + 2 6 19 0 0 68 2 0 19 0 0 69 2 6 7 0 7 + 70 3 0 7 0 9 7 71 2 6 7 0 7 72 3 0 7 + 0 12 7 73 2 6 0 0 0 74 3 0 0 0 15 0 + 75 2 6 0 0 0 76 2 0 0 0 0 77 2 0 7 0 + 7 78 1 26 35 0 79 1 26 6 0 80 2 0 0 0 + 30 81 2 0 7 0 7 82 0 6 0 83 2 0 0 0 + 37 84 1 0 0 0 85 1 0 7 0 34 1 0 7 0 + 18 1 0 0 0 52 2 0 0 0 37 84 2 0 19 0 + 35 46 2 0 7 0 7 82 2 0 7 0 7 78 3 0 7 + 0 12 7 73 3 0 0 0 15 0 75 3 0 7 0 9 7 + 71 2 0 0 0 30 81 1 0 7 0 17 2 0 0 0 + 35 59 1 0 30 0 31 2 0 19 0 0 69 2 0 + 19 0 35 45 2 0 19 0 35 43 1 0 19 0 33 + 2 0 0 0 35 64 1 0 7 0 25 2 0 7 0 12 + 13 2 0 0 0 15 16 2 0 7 0 9 10 1 0 19 + 0 23 1 0 0 0 55 1 0 0 0 85 1 0 35 0 + 58 1 0 0 0 57 2 0 0 0 0 77 1 0 30 0 + 32 2 0 19 0 0 67 1 0 35 0 51))))) '|lookupComplete|)) |