From 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 17 Aug 2008 08:59:26 +0000 Subject: * algebra/Makefile.pamphlet (all-algstrap): New. * algebra/strap: Update cached Lisp translation. --- src/algebra/strap/SINT.lsp | 216 +++++++++++++++++++++++++++++++++++++++++++-- 1 file changed, 208 insertions(+), 8 deletions(-) (limited to 'src/algebra/strap/SINT.lsp') diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 2ad4d6de..f1b5503b 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -262,7 +262,7 @@ (DEFUN |SingleInteger| () (PROG () (RETURN - (PROG (#0=#:G1486) + (PROG (#0=#:G1488) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|SingleInteger|) @@ -377,8 +377,8 @@ |UniqueFactorizationDomain&| NIL NIL |GcdDomain&| |IntegralDomain&| |Algebra&| NIL NIL |DifferentialRing&| |OrderedRing&| NIL NIL - |Module&| NIL NIL |Ring&| NIL NIL NIL NIL NIL - |AbelianGroup&| NIL NIL |AbelianMonoid&| + |Module&| NIL |Ring&| NIL NIL NIL NIL NIL + |AbelianGroup&| NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| |Logic&| NIL |SetCategory&| NIL NIL NIL NIL NIL NIL @@ -393,15 +393,15 @@ (|LinearlyExplicitRingOver| 12) (|DifferentialRing|) (|OrderedRing|) (|CommutativeRing|) (|EntireRing|) - (|Module| $$) (|OrderedAbelianGroup|) - (|BiModule| $$ $$) (|Ring|) - (|OrderedCancellationAbelianMonoid|) + (|Module| $$) (|BiModule| $$ $$) + (|Ring|) (|OrderedAbelianGroup|) (|LeftModule| $$) (|Rng|) (|RightModule| $$) - (|OrderedAbelianMonoid|) + (|OrderedCancellationAbelianMonoid|) (|AbelianGroup|) - (|OrderedAbelianSemiGroup|) + (|OrderedAbelianMonoid|) (|CancellationAbelianMonoid|) + (|OrderedAbelianSemiGroup|) (|AbelianMonoid|) (|Monoid|) (|StepThrough|) (|PatternMatchable| 12) (|OrderedSet|) (|AbelianSemiGroup|) @@ -460,4 +460,204 @@ 1 2 0 0 103 0 1))))) '|lookupComplete|)) +(SETQ |$CategoryFrame| + (|put| '|SingleInteger| '|isFunctor| + '(((|Or| ($ $ $)) T (ELT $ 47)) + ((|And| ($ $ $)) T (ELT $ 46)) + ((|Not| ($ $)) T (ELT $ 45)) + ((|xor| ($ $ $)) T (ELT $ 48)) + ((|not| ($ $)) T (ELT $ 42)) ((|min| ($)) T (ELT $ 39)) + ((|max| ($)) T (ELT $ 38)) + ((|OMwrite| ((|Void|) (|OpenMathDevice|) $ (|Boolean|))) + T (ELT $ 25)) + ((|OMwrite| ((|Void|) (|OpenMathDevice|) $)) T + (ELT $ 24)) + ((|OMwrite| ((|String|) $ (|Boolean|))) T (ELT $ 23)) + ((|OMwrite| ((|String|) $)) T (ELT $ 21)) + ((~ ($ $)) T (ELT $ 41)) ((|/\\| ($ $ $)) T (ELT $ 43)) + ((|\\/| ($ $ $)) T (ELT $ 44)) + ((|invmod| ($ $ $)) T (ELT $ NIL)) + ((|powmod| ($ $ $ $)) T (ELT $ NIL)) + ((|mulmod| ($ $ $ $)) T (ELT $ 72)) + ((|submod| ($ $ $ $)) T (ELT $ 74)) + ((|addmod| ($ $ $ $)) T (ELT $ 73)) + ((|mask| ($ $)) T (ELT $ NIL)) + ((|dec| ($ $)) T (ELT $ 51)) + ((|inc| ($ $)) T (ELT $ 50)) + ((|copy| ($ $)) T (ELT $ NIL)) + ((|hash| ($ $)) T (ELT $ 69)) + ((|random| ($ $)) T (ELT $ 83)) + ((|random| ($)) T (ELT $ 82)) + ((|rationalIfCan| + ((|Union| (|Fraction| (|Integer|)) "failed") $)) + T (ELT $ NIL)) + ((|rational| ((|Fraction| (|Integer|)) $)) T + (ELT $ NIL)) + ((|rational?| ((|Boolean|) $)) T (ELT $ NIL)) + ((|symmetricRemainder| ($ $ $)) T (ELT $ NIL)) + ((|positiveRemainder| ($ $ $)) T (ELT $ 80)) + ((|bit?| ((|Boolean|) $ $)) T (ELT $ NIL)) + ((|shift| ($ $ $)) T (ELT $ 71)) + ((|length| ($ $)) T (ELT $ 70)) + ((|base| ($)) T (ELT $ 37)) + ((|even?| ((|Boolean|) $)) T (ELT $ NIL)) + ((|odd?| ((|Boolean|) $)) T (ELT $ 64)) + ((|init| ($)) T (CONST $ NIL)) + ((|nextItem| ((|Union| $ "failed") $)) T (ELT $ NIL)) + ((|convert| ((|DoubleFloat|) $)) T (ELT $ NIL)) + ((|convert| ((|Float|) $)) T (ELT $ NIL)) + ((|permutation| ($ $ $)) T (ELT $ NIL)) + ((|factorial| ($ $)) T (ELT $ NIL)) + ((|binomial| ($ $ $)) T (ELT $ NIL)) + ((|patternMatch| + ((|PatternMatchResult| (|Integer|) $) $ + (|Pattern| (|Integer|)) + (|PatternMatchResult| (|Integer|) $))) + T (ELT $ NIL)) + ((|convert| ((|Pattern| (|Integer|)) $)) T (ELT $ NIL)) + ((|convert| ((|InputForm|) $)) T (ELT $ NIL)) + ((|reducedSystem| ((|Matrix| (|Integer|)) (|Matrix| $))) + T (ELT $ 28)) + ((|reducedSystem| + ((|Record| (|:| |mat| (|Matrix| (|Integer|))) + (|:| |vec| (|Vector| (|Integer|)))) + (|Matrix| $) (|Vector| $))) + T (ELT $ 79)) + ((|retract| ((|Integer|) $)) T (ELT $ NIL)) + ((|retractIfCan| ((|Union| (|Integer|) "failed") $)) T + (ELT $ NIL)) + ((|coerce| ($ (|Integer|))) T (ELT $ 81)) + ((|convert| ((|Integer|) $)) T (ELT $ 32)) + ((|differentiate| ($ $)) T (ELT $ NIL)) + ((D ($ $)) T (ELT $ NIL)) + ((|differentiate| ($ $ (|NonNegativeInteger|))) T + (ELT $ NIL)) + ((D ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) + ((|abs| ($ $)) T (ELT $ 63)) + ((|sign| ((|Integer|) $)) T (ELT $ NIL)) + ((|negative?| ((|Boolean|) $)) T (ELT $ 75)) + ((|positive?| ((|Boolean|) $)) T (ELT $ NIL)) + ((|min| ($ $ $)) T (ELT $ 68)) + ((|max| ($ $ $)) T (ELT $ 67)) + ((<= ((|Boolean|) $ $)) T (ELT $ NIL)) + ((>= ((|Boolean|) $ $)) T (ELT $ NIL)) + ((> ((|Boolean|) $ $)) T (ELT $ NIL)) + ((< ((|Boolean|) $ $)) T (ELT $ 49)) + ((|principalIdeal| + ((|Record| (|:| |coef| (|List| $)) + (|:| |generator| $)) + (|List| $))) + T (ELT $ NIL)) + ((|expressIdealMember| + ((|Union| (|List| $) "failed") (|List| $) $)) + T (ELT $ NIL)) + ((|sizeLess?| ((|Boolean|) $ $)) T (ELT $ NIL)) + ((|euclideanSize| ((|NonNegativeInteger|) $)) T + (ELT $ NIL)) + ((|divide| + ((|Record| (|:| |quotient| $) (|:| |remainder| $)) + $ $)) + T (ELT $ 61)) + ((|quo| ($ $ $)) T (ELT $ 58)) + ((|rem| ($ $ $)) T (ELT $ 59)) + ((|extendedEuclidean| + ((|Record| (|:| |coef1| $) (|:| |coef2| $) + (|:| |generator| $)) + $ $)) + T (ELT $ NIL)) + ((|extendedEuclidean| + ((|Union| (|Record| (|:| |coef1| $) + (|:| |coef2| $)) + "failed") + $ $ $)) + T (ELT $ NIL)) + ((|multiEuclidean| + ((|Union| (|List| $) "failed") (|List| $) $)) + T (ELT $ NIL)) + ((|factor| ((|Factored| $) $)) T (ELT $ NIL)) + ((|squareFreePart| ($ $)) T (ELT $ NIL)) + ((|squareFree| ((|Factored| $) $)) T (ELT $ NIL)) + ((|prime?| ((|Boolean|) $)) T (ELT $ NIL)) + ((|gcdPolynomial| + ((|SparseUnivariatePolynomial| $) + (|SparseUnivariatePolynomial| $) + (|SparseUnivariatePolynomial| $))) + T (ELT $ NIL)) + ((|lcm| ($ (|List| $))) T (ELT $ NIL)) + ((|lcm| ($ $ $)) T (ELT $ NIL)) + ((|gcd| ($ (|List| $))) T (ELT $ NIL)) + ((|gcd| ($ $ $)) T (ELT $ 62)) + ((|unit?| ((|Boolean|) $)) T (ELT $ NIL)) + ((|associates?| ((|Boolean|) $ $)) T (ELT $ NIL)) + ((|unitCanonical| ($ $)) T (ELT $ NIL)) + ((|unitNormal| + ((|Record| (|:| |unit| $) (|:| |canonical| $) + (|:| |associate| $)) + $)) + T (ELT $ 85)) + ((|exquo| ((|Union| $ "failed") $ $)) T (ELT $ NIL)) + ((|coerce| ($ $)) T (ELT $ NIL)) + ((|coerce| ($ (|Integer|))) T (ELT $ 81)) + ((|characteristic| ((|NonNegativeInteger|))) T + (ELT $ NIL)) + ((|One| ($)) T (CONST $ 36)) + ((|one?| ((|Boolean|) $)) T (ELT $ 66)) + ((** ($ $ (|NonNegativeInteger|))) T (ELT $ 57)) + ((^ ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) + ((|recip| ((|Union| $ "failed") $)) T (ELT $ NIL)) + ((* ($ $ $)) T (ELT $ 55)) + ((** ($ $ (|PositiveInteger|))) T (ELT $ NIL)) + ((^ ($ $ (|PositiveInteger|))) T (ELT $ NIL)) + ((* ($ (|Integer|) $)) T (ELT $ 34)) + ((- ($ $ $)) T (ELT $ 54)) ((- ($ $)) T (ELT $ 52)) + ((|subtractIfCan| ((|Union| $ "failed") $ $)) T + (ELT $ NIL)) + ((* ($ (|NonNegativeInteger|) $)) T (ELT $ NIL)) + ((|zero?| ((|Boolean|) $)) T (ELT $ 65)) + ((|sample| ($)) T (CONST $ NIL)) + ((|Zero| ($)) T (CONST $ 35)) + ((* ($ (|PositiveInteger|) $)) T (ELT $ NIL)) + ((+ ($ $ $)) T (ELT $ 53)) + ((|latex| ((|String|) $)) T (ELT $ NIL)) + ((|hash| ((|SingleInteger|) $)) T (ELT $ NIL)) + ((|coerce| ((|OutputForm|) $)) T (ELT $ 31)) + ((= ((|Boolean|) $ $)) T (ELT $ 40)) + ((~= ((|Boolean|) $ $)) T (ELT $ NIL))) + (|addModemap| '|SingleInteger| '(|SingleInteger|) + '((|Join| (|IntegerNumberSystem|) (|Logic|) + (|OpenMath|) + (CATEGORY |domain| (ATTRIBUTE |canonical|) + (ATTRIBUTE |canonicalsClosed|) + (ATTRIBUTE |noetherian|) + (SIGNATURE |max| ($)) + (SIGNATURE |min| ($)) + (SIGNATURE |not| ($ $)) + (SIGNATURE ~ ($ $)) + (SIGNATURE |/\\| ($ $ $)) + (SIGNATURE |\\/| ($ $ $)) + (SIGNATURE |xor| ($ $ $)) + (SIGNATURE |Not| ($ $)) + (SIGNATURE |And| ($ $ $)) + (SIGNATURE |Or| ($ $ $))))) + T '|SingleInteger| + (|put| '|SingleInteger| '|mode| + '(|Mapping| + (|Join| (|IntegerNumberSystem|) (|Logic|) + (|OpenMath|) + (CATEGORY |domain| + (ATTRIBUTE |canonical|) + (ATTRIBUTE |canonicalsClosed|) + (ATTRIBUTE |noetherian|) + (SIGNATURE |max| ($)) + (SIGNATURE |min| ($)) + (SIGNATURE |not| ($ $)) + (SIGNATURE ~ ($ $)) + (SIGNATURE |/\\| ($ $ $)) + (SIGNATURE |\\/| ($ $ $)) + (SIGNATURE |xor| ($ $ $)) + (SIGNATURE |Not| ($ $)) + (SIGNATURE |And| ($ $ $)) + (SIGNATURE |Or| ($ $ $))))) + |$CategoryFrame|)))) + (MAKEPROP '|SingleInteger| 'NILADIC T) -- cgit v1.2.3