From d05164b7bc0d0998e9e220497386ff7d7cc9a445 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 26 Jul 2010 16:33:38 +0000 Subject: * interp/g-opt.boot ($VMsideEffectFreeOperators): Include new opcodes %icst0, %icst1, %when, and %ccst. * interp/g-util.boot: Expand %ccst. * algebra/alql.spad.pamphlet: Clean up. * algebra/array1.spad.pamphlet: Likewise. * algebra/c02.spad.pamphlet: Likewise. * algebra/d03.spad.pamphlet: Likewise. * algebra/e04.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. --- src/algebra/strap/CHAR.lsp | 12 +- src/algebra/strap/INT.lsp | 361 +++++++++++++++++++++--------------------- src/algebra/strap/ISTRING.lsp | 56 +++---- 3 files changed, 214 insertions(+), 215 deletions(-) (limited to 'src/algebra/strap') diff --git a/src/algebra/strap/CHAR.lsp b/src/algebra/strap/CHAR.lsp index c43f36f7..7e15370a 100644 --- a/src/algebra/strap/CHAR.lsp +++ b/src/algebra/strap/CHAR.lsp @@ -51,15 +51,15 @@ (DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Char|) |CHAR;space;$;12|)) -(PUT '|CHAR;space;$;12| '|SPADreplace| '(XLAM NIL (CHAR " " 0))) +(PUT '|CHAR;space;$;12| '|SPADreplace| '(XLAM NIL (|%ccst| " "))) (DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Char|) |CHAR;quote;$;13|)) -(PUT '|CHAR;quote;$;13| '|SPADreplace| '(XLAM NIL (CHAR "\" " 0))) +(PUT '|CHAR;quote;$;13| '|SPADreplace| '(XLAM NIL (|%ccst| "\""))) (DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Char|) |CHAR;escape;$;14|)) -(PUT '|CHAR;escape;$;14| '|SPADreplace| '(XLAM NIL (CHAR "_ " 0))) +(PUT '|CHAR;escape;$;14| '|SPADreplace| '(XLAM NIL (|%ccst| "_"))) (DECLAIM (FTYPE (FUNCTION (|%Char| |%Shell|) |%Thing|) |CHAR;coerce;$Of;15|)) @@ -141,11 +141,11 @@ (DEFUN |CHAR;random;$;11| ($) (CODE-CHAR (RANDOM 256))) -(DEFUN |CHAR;space;$;12| ($) (DECLARE (IGNORE $)) (CHAR " " 0)) +(DEFUN |CHAR;space;$;12| ($) (DECLARE (IGNORE $)) #\Space) -(DEFUN |CHAR;quote;$;13| ($) (DECLARE (IGNORE $)) (CHAR "\" " 0)) +(DEFUN |CHAR;quote;$;13| ($) (DECLARE (IGNORE $)) #\") -(DEFUN |CHAR;escape;$;14| ($) (DECLARE (IGNORE $)) (CHAR "_ " 0)) +(DEFUN |CHAR;escape;$;14| ($) (DECLARE (IGNORE $)) #\_) (DEFUN |CHAR;coerce;$Of;15| (|c| $) (DECLARE (IGNORE $)) |c|) diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index 2da51e0e..2f9194a2 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -20,8 +20,6 @@ (DECLAIM (FTYPE (FUNCTION (|%Integer| |%Shell|) |%Boolean|) |INT;zero?;$B;6|)) -(PUT '|INT;zero?;$B;6| '|SPADreplace| 'ZEROP) - (DECLAIM (FTYPE (FUNCTION (|%Integer| |%Shell|) |%Boolean|) |INT;one?;$B;7|)) @@ -255,6 +253,8 @@ (DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) |INT;gcdPolynomial;3Sup;60|)) +(PUT '|INT;zero?;$B;6| '|SPADreplace| '(XLAM (|x|) (|%ieq| |x| 0))) + (PUT '|INT;one?;$B;7| '|SPADreplace| '(XLAM (|x|) (|%ieq| |x| 1))) (PUT '|INT;inc;2$;12| '|SPADreplace| '(XLAM (|x|) (|%iadd| |x| 1))) @@ -269,43 +269,43 @@ (DEFUN |INT;writeOMInt| (|dev| |x| $) (SEQ (COND ((MINUSP |x|) - (SEQ (SPADCALL |dev| (|getShellEntry| $ 13)) + (SEQ (SPADCALL |dev| (|getShellEntry| $ 10)) (SPADCALL |dev| "arith1" "unary_minus" - (|getShellEntry| $ 15)) - (SPADCALL |dev| (- |x|) (|getShellEntry| $ 18)) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 19))))) - (T (SPADCALL |dev| |x| (|getShellEntry| $ 18)))))) + (|getShellEntry| $ 12)) + (SPADCALL |dev| (- |x|) (|getShellEntry| $ 15)) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 16))))) + (T (SPADCALL |dev| |x| (|getShellEntry| $ 15)))))) (DEFUN |INT;OMwrite;$S;2| (|x| $) (LET* ((|s| "") (|sp| (OM-STRINGTOSTRINGPTR |s|)) - (|dev| (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 21)) - (|getShellEntry| $ 22)))) - (SEQ (SPADCALL |dev| (|getShellEntry| $ 23)) + (|dev| (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 18)) + (|getShellEntry| $ 19)))) + (SEQ (SPADCALL |dev| (|getShellEntry| $ 20)) (|INT;writeOMInt| |dev| |x| $) - (SPADCALL |dev| (|getShellEntry| $ 24)) - (SPADCALL |dev| (|getShellEntry| $ 25)) - (SETQ |s| (OM-STRINGPTRTOSTRING |sp|)) (EXIT |s|)))) + (SPADCALL |dev| (|getShellEntry| $ 21)) + (SPADCALL |dev| (|getShellEntry| $ 22)) + (EXIT (OM-STRINGPTRTOSTRING |sp|))))) (DEFUN |INT;OMwrite;$BS;3| (|x| |wholeObj| $) (LET* ((|s| "") (|sp| (OM-STRINGTOSTRINGPTR |s|)) - (|dev| (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 21)) - (|getShellEntry| $ 22)))) - (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 23)))) + (|dev| (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 18)) + (|getShellEntry| $ 19)))) + (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 20)))) (|INT;writeOMInt| |dev| |x| $) - (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 24)))) - (SPADCALL |dev| (|getShellEntry| $ 25)) - (SETQ |s| (OM-STRINGPTRTOSTRING |sp|)) (EXIT |s|)))) + (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 21)))) + (SPADCALL |dev| (|getShellEntry| $ 22)) + (EXIT (OM-STRINGPTRTOSTRING |sp|))))) (DEFUN |INT;OMwrite;Omd$V;4| (|dev| |x| $) - (SEQ (SPADCALL |dev| (|getShellEntry| $ 23)) + (SEQ (SPADCALL |dev| (|getShellEntry| $ 20)) (|INT;writeOMInt| |dev| |x| $) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 24))))) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 21))))) (DEFUN |INT;OMwrite;Omd$BV;5| (|dev| |x| |wholeObj| $) - (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 23)))) + (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 20)))) (|INT;writeOMInt| |dev| |x| $) (EXIT (COND - (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 24))))))) + (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 21))))))) (DEFUN |INT;zero?;$B;6| (|x| $) (DECLARE (IGNORE $)) (ZEROP |x|)) @@ -330,7 +330,7 @@ (MINUSP |x|)) (DEFUN |INT;coerce;$Of;16| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 45))) + (SPADCALL |x| (|getShellEntry| $ 42))) (DEFUN |INT;coerce;2$;17| (|m| $) (DECLARE (IGNORE $)) |m|) @@ -351,14 +351,14 @@ (REMAINDER2 (* |a| |b|) |p|)) (DEFUN |INT;convert;$F;23| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 56))) + (SPADCALL |x| (|getShellEntry| $ 53))) (DEFUN |INT;convert;$Df;24| (|x| $) (DECLARE (IGNORE $)) (FLOAT |x| |$DoubleFloatMaximum|)) (DEFUN |INT;convert;$If;25| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 62))) + (SPADCALL |x| (|getShellEntry| $ 59))) (DEFUN |INT;convert;$S;26| (|x| $) (DECLARE (IGNORE $)) @@ -457,50 +457,50 @@ (ABS |x|)) (DEFUN |INT;solveLinearPolynomialEquation| (|lp| |p| $) - (SPADCALL |lp| |p| (|getShellEntry| $ 102))) + (SPADCALL |lp| |p| (|getShellEntry| $ 101))) (DEFUN |INT;squareFreePolynomial| (|p| $) - (SPADCALL |p| (|getShellEntry| $ 106))) + (SPADCALL |p| (|getShellEntry| $ 105))) (DEFUN |INT;factorPolynomial| (|p| $) - (LET ((|pp| (SPADCALL |p| (|getShellEntry| $ 107)))) + (LET ((|pp| (SPADCALL |p| (|getShellEntry| $ 106)))) (COND - ((EQL (SPADCALL |pp| (|getShellEntry| $ 108)) - (SPADCALL |p| (|getShellEntry| $ 108))) - (SPADCALL |p| (|getShellEntry| $ 110))) - (T (SPADCALL (SPADCALL |pp| (|getShellEntry| $ 110)) + ((EQL (SPADCALL |pp| (|getShellEntry| $ 107)) + (SPADCALL |p| (|getShellEntry| $ 107))) + (SPADCALL |p| (|getShellEntry| $ 109))) + (T (SPADCALL (SPADCALL |pp| (|getShellEntry| $ 109)) (SPADCALL (CONS #'|INT;factorPolynomial!0| $) (SPADCALL - (LET ((#0=#:G1499 + (LET ((#0=#:G1504 (SPADCALL (SPADCALL |p| - (|getShellEntry| $ 108)) + (|getShellEntry| $ 107)) (SPADCALL |pp| - (|getShellEntry| $ 108)) - (|getShellEntry| $ 112)))) + (|getShellEntry| $ 107)) + (|getShellEntry| $ 111)))) (|check-union| (ZEROP (CAR #0#)) $ #0#) (CDR #0#)) - (|getShellEntry| $ 114)) - (|getShellEntry| $ 118)) - (|getShellEntry| $ 120)))))) + (|getShellEntry| $ 113)) + (|getShellEntry| $ 117)) + (|getShellEntry| $ 119)))))) (DEFUN |INT;factorPolynomial!0| (|#1| $) - (SPADCALL |#1| (|getShellEntry| $ 111))) + (SPADCALL |#1| (|getShellEntry| $ 110))) (DEFUN |INT;factorSquareFreePolynomial| (|p| $) - (SPADCALL |p| (|getShellEntry| $ 121))) + (SPADCALL |p| (|getShellEntry| $ 120))) (DEFUN |INT;gcdPolynomial;3Sup;60| (|p| |q| $) (COND - ((SPADCALL |p| (|getShellEntry| $ 122)) - (SPADCALL |q| (|getShellEntry| $ 123))) - ((SPADCALL |q| (|getShellEntry| $ 122)) - (SPADCALL |p| (|getShellEntry| $ 123))) - (T (SPADCALL (LIST |p| |q|) (|getShellEntry| $ 126))))) + ((SPADCALL |p| (|getShellEntry| $ 121)) + (SPADCALL |q| (|getShellEntry| $ 122))) + ((SPADCALL |q| (|getShellEntry| $ 121)) + (SPADCALL |p| (|getShellEntry| $ 122))) + (T (SPADCALL (LIST |p| |q|) (|getShellEntry| $ 125))))) (DEFUN |Integer| () (DECLARE (SPECIAL |$ConstructorCache|)) - (PROG (#0=#:G1528) + (PROG (#0=#:G1536) (RETURN (COND ((SETQ #0# (HGET |$ConstructorCache| '|Integer|)) @@ -512,50 +512,49 @@ (COND ((NOT #0#) (HREM |$ConstructorCache| '|Integer|))))))))) (DEFUN |Integer;| () - (LET ((|dv$| (LIST '|Integer|)) ($ (|newShell| 141)) + (LET ((|dv$| (LIST '|Integer|)) ($ (|newShell| 140)) (|pv$| (|buildPredVector| 0 0 NIL))) (DECLARE (SPECIAL |$ConstructorCache|)) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|Integer| NIL (CONS 1 $)) (|stuffDomainSlots| $) - (|setShellEntry| $ 83 - (|setShellEntry| $ 82 + (|setShellEntry| $ 82 + (|setShellEntry| $ 81 (CONS (|dispatchFunction| |INT;*;3$;43|) $))) $)) (MAKEPROP '|Integer| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL + (LIST '#(NIL NIL NIL NIL NIL NIL (|Boolean|) |INT;negative?;$B;15| + (|Void|) (|OpenMathDevice|) (0 . |OMputApp|) (|String|) + (5 . |OMputSymbol|) |INT;-;2$;39| (|Integer|) + (12 . |OMputInteger|) (18 . |OMputEndApp|) + (|OpenMathEncoding|) (23 . |OMencodingXML|) + (27 . |OMopenString|) (33 . |OMputObject|) + (38 . |OMputEndObject|) (43 . |OMclose|) + |INT;OMwrite;$S;2| |INT;OMwrite;$BS;3| + |INT;OMwrite;Omd$V;4| |INT;OMwrite;Omd$BV;5| (CONS IDENTITY (FUNCALL (|dispatchFunction| |INT;Zero;$;8|) $)) - (|NonNegativeInteger|) (0 . |Zero|) (|Boolean|) - |INT;<;2$B;35| (|Void|) (|OpenMathDevice|) - (4 . |OMputApp|) (|String|) (9 . |OMputSymbol|) - |INT;-;2$;39| (|Integer|) (16 . |OMputInteger|) - (22 . |OMputEndApp|) (|OpenMathEncoding|) - (27 . |OMencodingXML|) (31 . |OMopenString|) - (37 . |OMputObject|) (42 . |OMputEndObject|) - (47 . |OMclose|) |INT;OMwrite;$S;2| |INT;OMwrite;$BS;3| - |INT;OMwrite;Omd$V;4| |INT;OMwrite;Omd$BV;5| - |INT;zero?;$B;6| + |INT;=;2$B;34| |INT;zero?;$B;6| (CONS IDENTITY (FUNCALL (|dispatchFunction| |INT;One;$;9|) $)) - (52 . |One|) |INT;=;2$B;34| |INT;one?;$B;7| - |INT;base;$;10| |INT;copy;2$;11| |INT;+;3$;40| - |INT;inc;2$;12| |INT;-;3$;41| |INT;dec;2$;13| - (|SingleInteger|) |INT;hash;$Si;14| |INT;negative?;$B;15| - (|OutputForm|) (56 . |outputForm|) |INT;coerce;$Of;16| - |INT;coerce;2$;17| |INT;convert;2$;18| |INT;length;2$;19| - |INT;>=;2$B;38| |INT;addmod;4$;20| |INT;submod;4$;21| - |INT;rem;3$;50| |INT;mulmod;4$;22| (|Float|) - (61 . |coerce|) |INT;convert;$F;23| (|DoubleFloat|) - (66 . |coerce|) |INT;convert;$Df;24| (|InputForm|) - (71 . |convert|) |INT;convert;$If;25| (76 . |string|) - |INT;convert;$S;26| (81 . <) (87 . |concat|) - |INT;latex;$S;27| |INT;positiveRemainder;3$;28| - (|Matrix| 17) (|Matrix| $) |INT;reducedSystem;2M;29| - (|Vector| 17) (|Record| (|:| |mat| 70) (|:| |vec| 73)) - (|Vector| $) |INT;reducedSystem;MVR;30| |INT;abs;2$;31| + |INT;one?;$B;7| |INT;base;$;10| |INT;copy;2$;11| + |INT;+;3$;40| |INT;inc;2$;12| |INT;-;3$;41| + |INT;dec;2$;13| (|SingleInteger|) |INT;hash;$Si;14| + |INT;<;2$B;35| (|OutputForm|) (48 . |outputForm|) + |INT;coerce;$Of;16| |INT;coerce;2$;17| |INT;convert;2$;18| + |INT;length;2$;19| |INT;>=;2$B;38| |INT;addmod;4$;20| + |INT;submod;4$;21| |INT;rem;3$;50| |INT;mulmod;4$;22| + (|Float|) (53 . |coerce|) |INT;convert;$F;23| + (|DoubleFloat|) (58 . |coerce|) |INT;convert;$Df;24| + (|InputForm|) (63 . |convert|) |INT;convert;$If;25| + (68 . |string|) |INT;convert;$S;26| (|NonNegativeInteger|) + (73 . |One|) (77 . <) (83 . |concat|) |INT;latex;$S;27| + |INT;positiveRemainder;3$;28| (|Matrix| 14) (|Matrix| $) + |INT;reducedSystem;2M;29| (|Vector| 14) + (|Record| (|:| |mat| 69) (|:| |vec| 72)) (|Vector| $) + |INT;reducedSystem;MVR;30| |INT;abs;2$;31| |INT;random;$;32| |INT;random;2$;33| |INT;>;2$B;36| |INT;<=;2$B;37| NIL NIL |INT;**;$Nni$;44| |INT;odd?;$B;45| |INT;max;3$;46| |INT;min;3$;47| @@ -565,52 +564,52 @@ (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $)) |INT;unitNormal;$R;54| |INT;unitCanonical;2$;55| - (|SparseUnivariatePolynomial| 17) (|List| 98) - (|Union| 99 '"failed") + (|SparseUnivariatePolynomial| 14) (|List| 97) + (|Union| 98 '"failed") (|IntegerSolveLinearPolynomialEquation|) - (93 . |solveLinearPolynomialEquation|) - (|SparseUnivariatePolynomial| $$) (|Factored| 103) - (|UnivariatePolynomialSquareFree| $$ 103) - (99 . |squareFree|) (104 . |primitivePart|) - (109 . |leadingCoefficient|) (|GaloisGroupFactorizer| 103) - (114 . |factor|) (119 . |coerce|) (124 . |exquo|) - (|Factored| $) (130 . |factor|) (|Mapping| 103 $$) - (|Factored| $$) (|FactoredFunctions2| $$ 103) - (135 . |map|) (|FactoredFunctionUtilities| 103) - (141 . |mergeFactors|) (147 . |factorSquareFree|) - (152 . |zero?|) (157 . |unitCanonical|) (|List| 103) - (|HeuGcd| 103) (162 . |gcd|) + (89 . |solveLinearPolynomialEquation|) + (|SparseUnivariatePolynomial| $$) (|Factored| 102) + (|UnivariatePolynomialSquareFree| $$ 102) + (95 . |squareFree|) (100 . |primitivePart|) + (105 . |leadingCoefficient|) (|GaloisGroupFactorizer| 102) + (110 . |factor|) (115 . |coerce|) (120 . |exquo|) + (|Factored| $) (126 . |factor|) (|Mapping| 102 $$) + (|Factored| $$) (|FactoredFunctions2| $$ 102) + (131 . |map|) (|FactoredFunctionUtilities| 102) + (137 . |mergeFactors|) (143 . |factorSquareFree|) + (148 . |zero?|) (153 . |unitCanonical|) (|List| 102) + (|HeuGcd| 102) (158 . |gcd|) (|SparseUnivariatePolynomial| $) - |INT;gcdPolynomial;3Sup;60| (|Fraction| 17) - (|Union| 129 '"failed") (|Pattern| 17) - (|PatternMatchResult| 17 $) (|Union| 17 '"failed") - (|List| $) (|Record| (|:| |coef| 134) (|:| |generator| $)) - (|Union| 134 '"failed") + |INT;gcdPolynomial;3Sup;60| (|Fraction| 14) + (|Union| 128 '"failed") (|Pattern| 14) + (|PatternMatchResult| 14 $) (|Union| 14 '"failed") + (|List| $) (|Record| (|:| |coef| 133) (|:| |generator| $)) + (|Union| 133 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) (|Record| (|:| |coef1| $) (|:| |coef2| $)) - (|Union| 138 '"failed") (|PositiveInteger|)) - '#(~= 167 |zero?| 173 |unitNormal| 178 |unitCanonical| 183 - |unit?| 188 |symmetricRemainder| 193 |subtractIfCan| 199 - |submod| 205 |squareFreePart| 212 |squareFree| 217 - |sizeLess?| 222 |sign| 228 |shift| 233 |sample| 239 - |retractIfCan| 243 |retract| 248 |rem| 253 |reducedSystem| - 259 |recip| 270 |rationalIfCan| 275 |rational?| 280 - |rational| 285 |random| 290 |quo| 299 |principalIdeal| 305 - |prime?| 310 |powmod| 315 |positiveRemainder| 322 - |positive?| 328 |permutation| 333 |patternMatch| 339 - |one?| 346 |odd?| 351 |nextItem| 356 |negative?| 361 - |multiEuclidean| 366 |mulmod| 372 |min| 379 |max| 385 - |mask| 391 |length| 396 |leftReducedSystem| 401 |lcm| 412 - |latex| 423 |invmod| 428 |init| 434 |inc| 438 |hash| 443 - |gcdPolynomial| 448 |gcd| 454 |factorial| 465 |factor| 470 - |extendedEuclidean| 475 |exquo| 488 |expressIdealMember| - 494 |even?| 500 |euclideanSize| 505 |divide| 510 - |differentiate| 516 |dec| 527 |copy| 532 |convert| 537 - |coerce| 567 |characteristic| 587 |bit?| 591 |binomial| - 597 |before?| 603 |base| 609 |associates?| 613 |addmod| - 619 |abs| 626 |Zero| 631 |One| 635 |OMwrite| 639 D 663 >= - 674 > 680 = 686 <= 692 < 698 - 704 + 715 ** 721 * 733) + (|Union| 137 '"failed") (|PositiveInteger|)) + '#(~= 163 |zero?| 169 |unitNormal| 174 |unitCanonical| 179 + |unit?| 184 |symmetricRemainder| 189 |subtractIfCan| 195 + |submod| 201 |squareFreePart| 208 |squareFree| 213 + |sizeLess?| 218 |sign| 224 |shift| 229 |sample| 235 + |retractIfCan| 239 |retract| 244 |rem| 249 |reducedSystem| + 255 |recip| 266 |rationalIfCan| 271 |rational?| 276 + |rational| 281 |random| 286 |quo| 295 |principalIdeal| 301 + |prime?| 306 |powmod| 311 |positiveRemainder| 318 + |positive?| 324 |permutation| 329 |patternMatch| 335 + |one?| 342 |odd?| 347 |nextItem| 352 |negative?| 357 + |multiEuclidean| 362 |mulmod| 368 |min| 375 |max| 381 + |mask| 387 |length| 392 |leftReducedSystem| 397 |lcm| 408 + |latex| 419 |invmod| 424 |init| 430 |inc| 434 |hash| 439 + |gcdPolynomial| 444 |gcd| 450 |factorial| 461 |factor| 466 + |extendedEuclidean| 471 |exquo| 484 |expressIdealMember| + 490 |even?| 496 |euclideanSize| 501 |divide| 506 + |differentiate| 512 |dec| 523 |copy| 528 |convert| 533 + |coerce| 563 |characteristic| 583 |bit?| 587 |binomial| + 593 |before?| 599 |base| 605 |associates?| 609 |addmod| + 615 |abs| 622 |Zero| 627 |One| 631 |OMwrite| 635 D 659 >= + 670 > 676 = 682 <= 688 < 694 - 700 + 711 ** 717 * 729) '((|infinite| . 0) (|noetherian| . 0) (|canonicalsClosed| . 0) (|canonical| . 0) (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0) @@ -643,9 +642,9 @@ (|DifferentialRing|) (|OrderedRing|) (|CommutativeRing|) (|EntireRing|) (|Module| $$) - (|LinearlyExplicitRingOver| 17) + (|LinearlyExplicitRingOver| 14) (|BiModule| $$ $$) (|Ring|) - (|LeftModule| 17) + (|LeftModule| 14) (|OrderedAbelianGroup|) (|LeftModule| $$) (|Rng|) (|RightModule| $$) @@ -656,75 +655,75 @@ (|OrderedAbelianSemiGroup|) (|LinearSet| $$) (|AbelianMonoid|) (|Monoid|) (|StepThrough|) - (|PatternMatchable| 17) (|OrderedSet|) + (|PatternMatchable| 14) (|OrderedSet|) (|LeftLinearSet| $$) (|RightLinearSet| $$) (|AbelianSemiGroup|) (|SemiGroup|) - (|LeftLinearSet| 17) + (|LeftLinearSet| 14) (|DifferentialSpace|) (|OrderedType|) (|SetCategory|) (|RealConstant|) - (|RetractableTo| 17) + (|RetractableTo| 14) (|DifferentialDomain| $$) (|BasicType|) - (|OpenMath|) (|ConvertibleTo| 14) + (|OpenMath|) (|ConvertibleTo| 11) + (|ConvertibleTo| 52) (|ConvertibleTo| 55) - (|ConvertibleTo| 58) (|CombinatorialFunctionCategory|) - (|ConvertibleTo| 131) - (|ConvertibleTo| 61) - (|ConvertibleTo| 17) + (|ConvertibleTo| 130) + (|ConvertibleTo| 58) + (|ConvertibleTo| 14) (|CoercibleFrom| $$) - (|CoercibleFrom| 17) (|Type|) - (|CoercibleTo| 44)) - (|makeByteWordVec2| 140 - '(0 7 0 8 1 12 11 0 13 3 12 11 0 14 14 - 15 2 12 11 0 17 18 1 12 11 0 19 0 20 - 0 21 2 12 0 14 20 22 1 12 11 0 23 1 - 12 11 0 24 1 12 11 0 25 0 7 0 32 1 44 - 0 17 45 1 55 0 17 56 1 58 0 17 59 1 - 61 0 17 62 1 14 0 17 64 2 17 9 0 0 66 - 2 14 0 0 0 67 2 101 100 99 98 102 1 - 105 104 103 106 1 103 0 0 107 1 103 2 - 0 108 1 109 104 103 110 1 103 0 2 111 - 2 0 92 0 0 112 1 0 113 0 114 2 117 - 104 115 116 118 2 119 104 104 104 120 - 1 109 104 103 121 1 103 9 0 122 1 103 - 0 0 123 1 125 103 124 126 2 0 9 0 0 1 - 1 0 9 0 30 1 0 95 0 96 1 0 0 0 97 1 0 - 9 0 1 2 0 0 0 0 1 2 0 92 0 0 1 3 0 0 - 0 0 0 52 1 0 0 0 1 1 0 113 0 1 2 0 9 - 0 0 1 1 0 17 0 1 2 0 0 0 0 91 0 0 0 1 - 1 0 133 0 1 1 0 17 0 1 2 0 0 0 0 53 1 - 0 70 71 72 2 0 74 71 75 76 1 0 92 0 - 93 1 0 130 0 1 1 0 9 0 1 1 0 129 0 1 - 0 0 0 78 1 0 0 0 79 2 0 0 0 0 90 1 0 - 135 134 1 1 0 9 0 1 3 0 0 0 0 0 1 2 0 - 0 0 0 69 1 0 9 0 1 2 0 0 0 0 1 3 0 - 132 0 131 132 1 1 0 9 0 34 1 0 9 0 85 - 1 0 92 0 1 1 0 9 0 43 2 0 136 134 0 1 - 3 0 0 0 0 0 54 2 0 0 0 0 87 2 0 0 0 0 - 86 1 0 0 0 1 1 0 0 0 49 2 0 74 75 0 1 - 1 0 70 75 1 2 0 0 0 0 1 1 0 0 134 1 1 - 0 14 0 68 2 0 0 0 0 1 0 0 0 1 1 0 0 0 - 38 1 0 41 0 42 2 0 127 127 127 128 2 - 0 0 0 0 94 1 0 0 134 1 1 0 0 0 1 1 0 - 113 0 114 2 0 137 0 0 1 3 0 139 0 0 0 - 1 2 0 92 0 0 112 2 0 136 134 0 1 1 0 - 9 0 1 1 0 7 0 1 2 0 88 0 0 89 2 0 0 0 - 7 1 1 0 0 0 1 1 0 0 0 40 1 0 0 0 36 1 - 0 14 0 65 1 0 58 0 60 1 0 55 0 57 1 0 - 131 0 1 1 0 61 0 63 1 0 17 0 48 1 0 0 - 17 47 1 0 0 0 1 1 0 0 17 47 1 0 44 0 - 46 0 0 7 1 2 0 9 0 0 1 2 0 0 0 0 1 2 - 0 9 0 0 1 0 0 0 35 2 0 9 0 0 1 3 0 0 - 0 0 0 51 1 0 0 0 77 0 0 0 6 0 0 0 31 - 3 0 11 12 0 9 29 2 0 14 0 9 27 2 0 11 - 12 0 28 1 0 14 0 26 2 0 0 0 7 1 1 0 0 - 0 1 2 0 9 0 0 50 2 0 9 0 0 80 2 0 9 0 - 0 33 2 0 9 0 0 81 2 0 9 0 0 10 1 0 0 - 0 16 2 0 0 0 0 39 2 0 0 0 0 37 2 0 0 - 0 7 84 2 0 0 0 140 1 2 0 0 17 0 83 2 - 0 0 0 0 82 2 0 0 17 0 83 2 0 0 7 0 1 - 2 0 0 140 0 1))))) + (|CoercibleFrom| 14) (|Type|) + (|CoercibleTo| 41)) + (|makeByteWordVec2| 139 + '(1 9 8 0 10 3 9 8 0 11 11 12 2 9 8 0 + 14 15 1 9 8 0 16 0 17 0 18 2 9 0 11 + 17 19 1 9 8 0 20 1 9 8 0 21 1 9 8 0 + 22 1 41 0 14 42 1 52 0 14 53 1 55 0 + 14 56 1 58 0 14 59 1 11 0 14 61 0 63 + 0 64 2 14 6 0 0 65 2 11 0 0 0 66 2 + 100 99 98 97 101 1 104 103 102 105 1 + 102 0 0 106 1 102 2 0 107 1 108 103 + 102 109 1 102 0 2 110 2 0 91 0 0 111 + 1 0 112 0 113 2 116 103 114 115 117 2 + 118 103 103 103 119 1 108 103 102 120 + 1 102 6 0 121 1 102 0 0 122 1 124 102 + 123 125 2 0 6 0 0 1 1 0 6 0 29 1 0 94 + 0 95 1 0 0 0 96 1 0 6 0 1 2 0 0 0 0 1 + 2 0 91 0 0 1 3 0 0 0 0 0 49 1 0 0 0 1 + 1 0 112 0 1 2 0 6 0 0 1 1 0 14 0 1 2 + 0 0 0 0 90 0 0 0 1 1 0 132 0 1 1 0 14 + 0 1 2 0 0 0 0 50 1 0 69 70 71 2 0 73 + 70 74 75 1 0 91 0 92 1 0 129 0 1 1 0 + 6 0 1 1 0 128 0 1 0 0 0 77 1 0 0 0 78 + 2 0 0 0 0 89 1 0 134 133 1 1 0 6 0 1 + 3 0 0 0 0 0 1 2 0 0 0 0 68 1 0 6 0 1 + 2 0 0 0 0 1 3 0 131 0 130 131 1 1 0 6 + 0 31 1 0 6 0 84 1 0 91 0 1 1 0 6 0 7 + 2 0 135 133 0 1 3 0 0 0 0 0 51 2 0 0 + 0 0 86 2 0 0 0 0 85 1 0 0 0 1 1 0 0 0 + 46 2 0 73 74 0 1 1 0 69 74 1 2 0 0 0 + 0 1 1 0 0 133 1 1 0 11 0 67 2 0 0 0 0 + 1 0 0 0 1 1 0 0 0 35 1 0 38 0 39 2 0 + 126 126 126 127 2 0 0 0 0 93 1 0 0 + 133 1 1 0 0 0 1 1 0 112 0 113 2 0 136 + 0 0 1 3 0 138 0 0 0 1 2 0 91 0 0 111 + 2 0 135 133 0 1 1 0 6 0 1 1 0 63 0 1 + 2 0 87 0 0 88 2 0 0 0 63 1 1 0 0 0 1 + 1 0 0 0 37 1 0 0 0 33 1 0 11 0 62 1 0 + 55 0 57 1 0 52 0 54 1 0 130 0 1 1 0 + 58 0 60 1 0 14 0 45 1 0 0 14 44 1 0 0 + 0 1 1 0 0 14 44 1 0 41 0 43 0 0 63 1 + 2 0 6 0 0 1 2 0 0 0 0 1 2 0 6 0 0 1 0 + 0 0 32 2 0 6 0 0 1 3 0 0 0 0 0 48 1 0 + 0 0 76 0 0 0 27 0 0 0 30 3 0 8 9 0 6 + 26 2 0 11 0 6 24 2 0 8 9 0 25 1 0 11 + 0 23 2 0 0 0 63 1 1 0 0 0 1 2 0 6 0 0 + 47 2 0 6 0 0 79 2 0 6 0 0 28 2 0 6 0 + 0 80 2 0 6 0 0 40 1 0 0 0 13 2 0 0 0 + 0 36 2 0 0 0 0 34 2 0 0 0 63 83 2 0 0 + 0 139 1 2 0 0 14 0 82 2 0 0 0 0 81 2 + 0 0 14 0 82 2 0 0 63 0 1 2 0 0 139 0 + 1))))) '|lookupComplete|)) (MAKEPROP '|Integer| 'NILADIC T) diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp index 2c120ff9..3aaf5260 100644 --- a/src/algebra/strap/ISTRING.lsp +++ b/src/algebra/strap/ISTRING.lsp @@ -715,11 +715,11 @@ (MAKEPROP '|IndexedString| '|infovec| (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|NonNegativeInteger|) (|Character|) |ISTRING;new;NniC$;1| - |ISTRING;empty;$;2| (|Integer|) (0 . |Zero|) (|Boolean|) + (|Integer|) (0 . |Zero|) |ISTRING;empty;$;2| (|Boolean|) (4 . =) |ISTRING;empty?;$B;3| |ISTRING;#;$Nni;4| |ISTRING;=;2$B;5| |ISTRING;<;2$B;6| |ISTRING;concat;3$;7| |ISTRING;copy;2$;8| (10 . |One|) (14 . -) - (|UniversalSegment| 11) (20 . SEGMENT) + (|UniversalSegment| 10) (20 . SEGMENT) |ISTRING;elt;$Us$;31| (26 . SEGMENT) |ISTRING;insert;2$I$;9| (|String|) (|OutputForm|) (31 . |outputForm|) |ISTRING;coerce;$Of;10| @@ -748,7 +748,7 @@ |ISTRING;match?;2$CB;34| (|List| 8) (|Equation| 8) (|List| 91) (|Mapping| 8 8 8) (|InputForm|) (|Mapping| 13 8) (|Mapping| 13 8 8) (|Void|) - (|Union| 8 '"failed") (|List| 11)) + (|Union| 8 '"failed") (|List| 10)) '#(~= 185 |upperCase!| 191 |upperCase| 196 |trim| 201 |swap!| 213 |suffix?| 220 |substring?| 226 |split| 233 |sorted?| 245 |sort!| 256 |sort| 267 |size?| 278 |setelt| 284 @@ -783,61 +783,61 @@ (|OneDimensionalArrayAggregate| 8) (|FiniteLinearAggregate| 8) (|LinearAggregate| 8) - (|IndexedAggregate| 11 8) + (|IndexedAggregate| 10 8) (|Collection| 8) (|HomogeneousAggregate| 8) - (|OrderedSet|) (|EltableAggregate| 11 8) + (|OrderedSet|) (|EltableAggregate| 10 8) (|SetCategory|) (|OrderedType|) (|Eltable| 23 $$) (|Aggregate|) - (|Eltable| 11 8) (|Evalable| 8) + (|Eltable| 10 8) (|Evalable| 8) (|BasicType|) (|Type|) (|InnerEvalable| 8 8) (|CoercibleTo| 29) (|ConvertibleTo| 94)) (|makeByteWordVec2| 99 - '(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 + '(0 10 0 11 2 10 13 0 0 14 0 10 0 21 2 + 10 0 0 0 22 2 23 0 10 10 24 1 23 0 10 26 1 29 0 28 30 0 33 0 34 1 8 0 0 35 2 0 0 36 0 37 0 33 0 39 1 8 0 0 40 2 - 28 0 0 0 42 1 23 11 0 44 1 23 13 0 45 - 1 23 11 0 46 1 0 11 0 47 0 7 0 48 2 - 11 13 0 0 49 2 11 13 0 0 50 0 7 0 51 - 2 11 0 0 0 52 0 8 0 53 0 54 0 55 2 7 - 0 0 0 56 2 11 13 0 0 58 0 13 0 60 0 + 28 0 0 0 42 1 23 10 0 44 1 23 13 0 45 + 1 23 10 0 46 1 0 10 0 47 0 7 0 48 2 + 10 13 0 0 49 2 10 13 0 0 50 0 7 0 51 + 2 10 0 0 0 52 0 8 0 53 0 54 0 55 2 7 + 0 0 0 56 2 10 13 0 0 58 0 13 0 60 0 13 0 61 2 33 13 8 0 65 2 8 13 0 0 69 0 70 0 71 2 70 0 2 0 72 1 70 0 0 73 2 - 11 0 0 0 83 2 11 13 0 0 87 2 0 13 0 0 + 10 0 0 0 83 2 10 13 0 0 87 2 0 13 0 0 88 2 10 13 0 0 1 1 0 0 0 38 1 0 0 0 1 - 2 0 0 0 8 1 2 0 0 0 33 1 3 0 97 0 11 - 11 1 2 0 13 0 0 67 3 0 13 0 0 11 62 2 + 2 0 0 0 8 1 2 0 0 0 33 1 3 0 97 0 10 + 10 1 2 0 13 0 0 67 3 0 13 0 0 10 62 2 0 74 0 33 76 2 0 74 0 8 75 1 5 13 0 1 2 0 13 96 0 1 1 5 0 0 1 2 0 0 96 0 1 1 5 0 0 1 2 0 0 96 0 1 2 0 13 0 7 1 3 - 0 8 0 23 8 1 3 0 8 0 11 8 59 2 0 0 95 + 0 8 0 23 8 1 3 0 8 0 10 8 59 2 0 0 95 0 1 0 0 0 1 2 0 0 0 8 79 2 0 0 0 33 80 1 0 0 0 1 1 0 0 0 1 3 0 0 0 23 0 57 1 8 0 0 1 2 8 0 8 0 1 2 0 0 95 0 1 4 8 8 93 0 8 8 1 3 0 8 93 0 8 1 2 0 8 - 93 0 1 3 0 8 0 11 8 1 2 0 8 0 11 1 2 - 0 13 0 0 88 3 8 11 8 0 11 64 2 8 11 8 - 0 1 3 0 11 33 0 11 66 3 0 11 0 0 11 - 63 2 0 11 95 0 1 1 0 90 0 1 2 0 0 7 8 - 9 2 0 13 0 7 1 1 7 11 0 32 2 5 0 0 0 + 93 0 1 3 0 8 0 10 8 1 2 0 8 0 10 1 2 + 0 13 0 0 88 3 8 10 8 0 10 64 2 8 10 8 + 0 1 3 0 10 33 0 10 66 3 0 10 0 0 10 + 63 2 0 10 95 0 1 1 0 90 0 1 2 0 0 7 8 + 9 2 0 13 0 7 1 1 7 10 0 32 2 5 0 0 0 1 2 5 0 0 0 1 3 0 0 96 0 0 1 1 0 90 0 - 1 2 8 13 8 0 1 1 7 11 0 47 2 5 0 0 0 + 1 2 8 13 8 0 1 1 7 10 0 47 2 5 0 0 0 1 3 0 13 0 0 8 89 3 0 7 0 0 8 86 2 0 0 36 0 37 3 0 0 93 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 8 77 2 0 0 0 33 78 1 8 28 0 43 3 - 0 0 8 0 11 1 3 0 0 0 0 11 27 1 0 99 0 - 1 2 0 13 11 0 1 1 8 84 0 85 1 7 8 0 1 + 0 0 8 0 10 1 3 0 0 0 0 10 27 1 0 99 0 + 1 2 0 13 10 0 1 1 8 84 0 85 1 7 8 0 1 2 0 98 95 0 1 2 0 0 0 8 1 2 0 13 95 0 1 3 11 0 0 90 90 1 3 11 0 0 8 8 1 2 11 0 0 92 1 2 11 0 0 91 1 2 0 13 0 0 1 2 8 13 8 0 1 1 0 90 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 68 3 0 8 0 11 8 1 2 0 0 0 11 + 0 0 0 12 2 0 0 0 0 1 2 0 0 0 23 25 2 + 0 8 0 10 68 3 0 8 0 10 8 1 2 0 0 0 10 1 2 0 0 0 23 1 2 8 7 8 0 1 2 0 7 95 0 - 1 3 0 0 0 0 11 81 1 0 0 0 20 1 3 94 0 + 1 3 0 0 0 0 10 81 1 0 0 0 20 1 3 94 0 1 1 0 0 90 1 2 0 0 0 0 19 1 0 0 74 82 2 0 0 8 0 1 2 0 0 0 8 1 1 9 29 0 31 1 0 0 8 1 2 10 13 0 0 1 2 0 13 95 0 1 2 -- cgit v1.2.3